Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Coinductive semantics
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-01-20 (00:49)
From: William Lovas <wlovas@s...>
Subject: Re: [Caml-list] Coinductive semantics
On Thu, Jan 19, 2006 at 01:22:37AM +1100, skaller wrote:
> On Wed, 2006-01-18 at 13:58 +0100, Hendrik Tews wrote:
> > Looking at an object through a mirror you see precisely what you
> > can see looking at the object itself.
> Perhaps my analysis is naive. But consider a simpler case
> of products and sums. They're dual concepts, are they not?

A thought: products and sums are duals, classically, but not
intuitionistically.  Since O'Caml lacks classical control constructs like
callcc, there's no redundancy having both products and sums: neither is
representable solely using the other.

Also, O'Caml's datatypes are much more than just sums: they also include
recursive types, polymorphism, pattern matching, and a degree of