skrishnamurthi

23 ms·

1. 241.▲
   by skrishnamurthi 13y ago

   Some of the Pyret designers are part of the Racket community, and know these ideas well. Where Pyret differs is that Racket has two different languages (for the purposes of this discussion), Racket and Typed Racket, and a program has to liv
2. 242.▲
   by skrishnamurthi 13y ago

   Not even remotely in just about any respect.
3. 243.▲
   by skrishnamurthi 13y ago

   It's actually widely used in Racket already. Yesterday a lead programmer at a major financial institution told me that he liked that style so much, he'd incorporated it into his company's OCaml system, and they use it in thei
4. 244.▲
   by skrishnamurthi 13y ago

   You don't have to put the tests right in the middle of code. The `where` form goes with the definition, but a `check` form can float freely. So if you prefer a <Lang>Unit style of testing, where your tests reside in a separate fi