User loginNavigation |
Dynamic typing in OCamlOn many occasions on this site we've discussed embedding a dynamic type checking scheme in a statically typed language using a Univ type. On many of these occasions, it's been suggested that this is an in-principle solution that would never be usable in practice, Turing tar-pit, etc., etc. Well, someone decided to put their money where our mouths are, and now we have Dynaml. I've only briefly looked at the tutorial, but this definitely goes a long way toward demonstrating a plausible Univ embedding of a dynamic type system. Of course, I'd be curious to hear what everyone else thinks... (from the caml weekly news...) |
Browse archivesActive forum topics
|
Recent comments
6 days 19 hours ago
1 week 4 days ago
1 week 5 days ago
1 week 5 days ago
2 weeks 3 days ago
2 weeks 6 days ago
2 weeks 6 days ago
2 weeks 6 days ago
4 weeks 2 days ago
4 weeks 3 days ago