Prev: "Perhaps a design pattern describes an impedance mismatch betweenreality and a particular programming language?"
Next: CFP with Extended Deadline of Mar. 21, 2010: The 2010 International Conference on Software Engineering Research and Practice (SERP'10), USA, July 2010
From: Nilone on 12 Mar 2010 08:17 Can and should scalar data types like integer or real by implemented as recursive types? If so, how? I've look at some papers by William Cook which describes how to implement Point and ISet as recursive types, but he assumes an existing integer type.
From: raould on 16 Mar 2010 17:30 On Mar 12, 6:17 am, Nilone <rea...(a)gmail.com> wrote: > Can and should scalar data types like integer or real by implemented > as recursive types? If so, how? I've look at some papers by William > Cook which describes how to implement Point and ISet as recursive > types, but he assumes an existing integer type. some people say it is not a good approach. http://lambda-the-ultimate.org/node/3668#comment-51954
From: Nilone on 16 Mar 2010 19:04
On Mar 16, 11:30 pm, raould <rao...(a)gmail.com> wrote: > On Mar 12, 6:17 am, Nilone <rea...(a)gmail.com> wrote: > > > Can and should scalar data types like integer or real by implemented > > as recursive types? If so, how? I've look at some papers by William > > Cook which describes how to implement Point and ISet as recursive > > types, but he assumes an existing integer type. > > some people say it is not a good approach. > > http://lambda-the-ultimate.org/node/3668#comment-51954 Thanks, that looks like a good thread with lots of info. I'll work through it. |