Skip to content
Hallway
0:00 / 0:00

#unikernels#mirageos#ocaml

Haskell 2014: Keynote, Anil Madhavapeddy, UniKernels: Functional Operating System Design

Malcolm Wallace

884 subscribers • 15 videos on Hallway

YouTube
  • Recommended by 2 people: 2 in engineering communities.
  • Presented by Anil Madhavapeddy, MirageOS lead

Advanced. Deep dive for people who know the field.

3.2K views12 years ago2 recommendations

Systems programmingProgramming languagesOperating systemsOCaml and F#

Anil Madhavapeddy explains the design of functional operating systems and unikernels using MirageOS and OCaml.

Haskell Symposium @ ICFP 2014. Gothenburg, Sweden.

Why it's here

2 people recommend this

What people say. Recommended as an excellent presentation on unikernels and modular system design using functional languages.

u/ydewitin r/haskell • Recommends

On “Why does David Turner say type classes were a bad idea?”

…t the Mirage project is doing with the module system provided by OCaml: is the same principle. More specifically, watch Anil's ICFP2014 presentation on this (no link - on my phone). There is no separation between interface and implementation in Haskell. Using type classes for this is a cumbersome hack. EDIT: Here is the link to Anil's keynote: link to this video…
3View on Reddit

u/bss03in r/haskell • Recommends

On “HaLVM / Unikernel talk at the Xen User Summit on Monday, September 15th”

Related from Haskell Symposium 2014, day 2: link to this video It doesn't cover HalVM, but something somewhat similar called MirageOS.
3View on Reddit