We now have Chicken Scheme type declarations, thanks to the work
by Jörg F. Wittenberger.  Chicken Scheme type declarations are defined here:
 http://wiki.call-cc.org/man/4/Types

Racket also includes type declaration language:
  http://docs.racket-lang.org/ts-guide/
Naturally, Racket's system is very similar but
syntactically incompatible, continuing the usual
Scheme hostility towards portability :-(.
For such a beautiful language, ugly Scheme code
is sure a common result :-(.

Maybe we should use a term other than ":" and let macro systems
define them into the local type system.  That assumes that
type systems like Chicken and Racket accept the results of macros.
But *can* we use macros to generate "(: ...)" type declarations?
Should we?

--- David A. Wheeler



------------------------------------------------------------------------------
Shape the Mobile Experience: Free Subscription
Software experts and developers: Be at the forefront of tech innovation.
Intel(R) Software Adrenaline delivers strategic insight and game-changing 
conversations that shape the rapidly evolving mobile landscape. Sign up now. 
http://pubads.g.doubleclick.net/gampad/clk?id=63431311&iu=/4140/ostg.clktrk
_______________________________________________
Readable-discuss mailing list
Readable-discuss@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/readable-discuss

Reply via email to