User loginNavigation |
De-typechecker: converting from a type to a termThis message presents polymorphic functions that derive a term for a given type -- for a class of fully polymorphic functions: proper and improper combinators. Oleg's converter can let us `visualize' what a function with a particular type may be doing. It can be helpful in understanding functions written in point-free style. And to top it off, we are shown how to do SLD resolution using Haskell typeclasses... |
Browse archives
Active forum topics |
Recent comments
12 weeks 1 day ago
12 weeks 1 day ago
12 weeks 1 day ago
34 weeks 3 days ago
38 weeks 4 days ago
40 weeks 2 days ago
40 weeks 2 days ago
42 weeks 6 days ago
47 weeks 4 days ago
47 weeks 4 days ago