|
|
|
|
|
|
by karmakaze
2575 days ago
|
|
|
I haven't learned/used them enough to appreciate higher-kinded types and the whole category theory monad thing. Individual usages make sense but each could be done differently without the generality. One language that looks interesting is Clean[0]. It uses uniqueness types for mutations or other impure operations which kind of reminds me of software-transactional-memory or borrow checking. [0] https://clean.cs.ru.nl/Clean https://en.wikipedia.org/wiki/Clean_(programming_language) |
|
|