Hacker News Reader

Full thread

cercatrova

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

View on HN

A 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

Interesting. 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

Reply on news.ycombinator.com