Re: [stack] Cat Type Inference
"chris glur" <[email protected]>
| Newsgroups | gmane.comp.lang.concatenative |
|---|---|
| Message-ID | <[email protected]> |
A perhaps trivial question [which also serves to test if my - via gmail - posts get through] is: "is it obvious why one would want to 'infer the types' ?" == Chris Glur. On 4/11/07, Christopher Diggins <[email protected]> wrote: > I've written a short article explaining how to infer the types using > the example of a non-trivial higher order function: "[] eval eval" at > http://cdiggins.com/2007/04/11/type-inference-example-in-cat/ for > those interested in a more down to earth explanation of the type > inference algorithm. > > Cheers, > Christopher Diggins > http://www.cdiggins.com >