3 ms·
Well, there is Shen. Static typing, I think it can do dependent typing... Doesn't have the affine types of Rust tho. Not sure how it works out to use in prac
by Solarsail 9y ago
Well, there is Shen. Static typing, I think it can do dependent typing... Doesn't have the affine types of Rust tho. Not sure how it works out to use in practice.
Discussed here, for example: https://news.ycombinator.com/item?id=9297665 https://news.ycombinator.com/item?id=9297665