## User login## Navigation |
## 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 archives
## Active forum topics |

## Recent comments

16 weeks 1 day ago

16 weeks 1 day ago

16 weeks 1 day ago

38 weeks 3 days ago

42 weeks 5 days ago

44 weeks 2 days ago

44 weeks 2 days ago

47 weeks 3 hours ago

51 weeks 4 days ago

51 weeks 4 days ago