On Sun, Oct 17, 2010 at 10:22 AM, john skaller <skal...@users.sourceforge.net> wrote: > > > Well, if we have say Linux and OSX using different types, > we just have to add tags for that too :) > > It is tricky, depending on how we want to handle type stupidity > present in C and Unix .. and Windows .. and .. yeah, all of it. > Sometimes there are two functions, one for each type and > sometimes just one and a typedef, and sometimes we're using > a abstract primitive in Felix to munge over the difference. > > In read(fd ... is fd an int, or is it a typedef for and int or perhaps a > long, or is it instead abstract? If abstract you can't, for example, > print it (without a conversion function). > > Clearly at the higher levels it should be abstract, but in the base > primitives? Dunno.
Are there any good approaches that we could steal? I know fortress was trying to formalize api evolution in their language. Has anyone else tried to solve this problem? Here's their paper. I think they talk about it in the "Components and APIs" section. http://research.sun.com/projects/plrg/fortress.pdf ------------------------------------------------------------------------------ Download new Adobe(R) Flash(R) Builder(TM) 4 The new Adobe(R) Flex(R) 4 and Flash(R) Builder(TM) 4 (formerly Flex(R) Builder(TM)) enable the development of rich applications that run across multiple browsers and platforms. Download your free trials today! http://p.sf.net/sfu/adobe-dev2dev _______________________________________________ Felix-language mailing list Felix-language@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/felix-language
