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 archivesActive forum topics |
Recent comments
7 weeks 1 day ago
7 weeks 3 days ago
7 weeks 4 days ago
14 weeks 4 days ago
20 weeks 2 days ago
20 weeks 3 days ago
21 weeks 2 days ago
24 weeks 17 hours ago
25 weeks 3 days ago
25 weeks 4 days ago