u/Drupyogin r/ocaml • Recommends
On “1ML - ML core and module united”
Video of the talk in last ML workshop: link to this video
0:00 / 0:00
ML Family 2014: 1ML - core and modules as one (Or: F-ing first-class modules)
Malcolm Wallace
884 subscribers • 15 videos on Hallway
- Recommended by 2 people: 2 in engineering communities.
- Presented by Andreas Rossberg
Advanced. Deep dive for people who know the field.
709 views12 years ago2 recommendations
Programming languagesComputer scienceLanguage design and type systemsOCaml and F#
Andreas Rossberg proposes 1ML, a design that unifies the ML core and module languages into a single first-class language.
ML Family Workshop @ ICFP 2014. Gothenburg, Sweden. Presenter: Andreas RossbergWhy it's here
2 people recommend thisWhat people say. Recommended for understanding the distinction between ML core and module systems and how they can be unified.
u/_lindigin r/ocaml • Recommends
On “A Crash Course on ML Modules”
Andreas Rossberg's talk about the (as he calls them) 2.5 languages (core, module, type) of ML and his proposal 1ML to unify them helps to see the different concepts.
link to this video