## 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## New forum topics |

## Recent comments

2 weeks 24 min ago

2 weeks 1 day ago

2 weeks 1 day ago

2 weeks 2 days ago

2 weeks 3 days ago

2 weeks 3 days ago

2 weeks 3 days ago

2 weeks 3 days ago

2 weeks 3 days ago

3 weeks 5 days ago