Functional Programming and Programming Languages
Joined March 2017
- Tweets7
- Following1
- Followers15
- Likes0
MaybeVoid retweeted
I am pleased to announce Mononym: a Rust library for creating unique type-level names for each value in Rust. Mononym enables a limited form of dependently-typed programming in Rust, and allows the Ghosts of Departed Proofs pattern to be used.
maybevoid.com/blog/mononym-p…
MaybeVoid retweeted
Vitaly Bragilevsky @VBragilevsky explains the type theory behind the Glasgow Haskell Compiler internals. It's a tutorial, and goes into sufficient depth to make it very interesting. youtube.com/watch?v=2bPRvmoI…
Also, it's a six-hour tutorial, so bring some lunch.
MaybeVoid retweeted
Check out our #Haskell style guide — a collection of best-practices inspired by commercial and free open source Haskell libraries and applications.
kowainik.github.io/posts/201…
MaybeVoid retweeted
I'll be speaking about how to combine asynchronous session types and exceptions this afternoon at #POPL2019 (16:05), presenting "Exceptional Asynchronous Session Types: Session Types without Tiers" (simonjf.com/writing/zap.pdf). JWW @reifyreflect, @GarrettAtKU, and Sara Decova.