3 ms·
Something that takes PL theory concepts and puts them into practice: - dependent types - algebraic effects - linear types - algebraic data types - higher k
by cercatrova 4y ago
Something that takes PL theory concepts and puts them into practice:
- dependent types
- algebraic effects
- linear types
- algebraic data types
- higher kinded types
- homoiconicity (so it'd have to be Lisp-like, but typed)
- borrow checking, and beyond, such as region borrow checking
- cross-platform, JITed, as well as ahead of time compilation in release mode
- static metaprogramming
- hyperswine 4y agoA bunch of them already show up in languages like rust. Generics are the more ergnomic impl of HKTs and with ownership after you pass an entity it off to another context, you cant use it again, which I guess isnt exactly linear per se
- cercatrova 4y agoInteresting. Given the comments from some others [0] when I asked about HKTs in Rust, they said something quite the opposite from you. Curious to hear your thoughts on those comments. [0] https://news.ycombinator.com/item?id=32829806#32830146 https://news.ycombinator.com/item?id=32829806#32830146