The Typed Racket idea is pretty good. I would point out, however, that it only addresses the type-safety concern Joe brought up; not purity. It's still pretty idiomatic Typed Racket to use side-effects and mutation from otherwise pure code.
On Sun, Feb 1, 2015 at 12:57 AM, Michael Raskin <[email protected]> wrote: >>Chicken or Scheme are not at all what at all what I was suggesting as they >>offer nothing in the way of purity or type-safety, which are the primary >>motivation for suggesting Haskell. > > Typed Racket? (Racket, as it got named when PLT Scheme developers > decided they added too much into Scheme and need to rename) > > > > _______________________________________________ > nix-dev mailing list > [email protected] > http://lists.science.uu.nl/mailman/listinfo/nix-dev _______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
