On Sat, May 24, 2014 at 8:02 AM, Jay McCarthy jay.mccar...@gmail.com wrote:
On May 23, 2014, at 3:59 PM, Greg Hendershott greghendersh...@gmail.com
wrote:
Feedback from a relatively naive Racket user:
1.
+External effects are exemplified by input/output (or I/O). I/O is the
+action of a
On 05/26/2014 09:21 AM, endob...@racket-lang.org wrote:
9efa4af Eric Dobson endob...@racket-lang.org 2014-05-16 08:13
:
| Make initial version of structural type recursion, and use it.
:
A pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/structural.rkt
M
I don't think you would be interested as it is entirely internal to TR.
We have a bunch of functions, (infer, subtype, var-promote,
var-demote, substitute, etc) that need to traverse the type and do
things on it. Currently many of them are hardcoded match loops, and
this is work to make them less
3 matches
Mail list logo
