"David Piepgrass" wrote in message
news:jdyhfsxgucfglqgaj...@forum.dlang.org...
Rust has type classes from Haskell (with some simplifications for higher
kinds), uniqueness typing, and typestates.
As nice as kinds, typestates, typeclasses and several pointer types may be,
I was in the Rust mailing list and felt unable to participate because they
kept using terminology that only PhD in type systems understand. And
googling for "kind" doesn't tell me a darn thing ;)
I always find these type of comments strange due to my background.
In most Portuguese universities, functional and logic programming, type
systems,
theory of computation and compiler design are part of the normal curriculum.
You
don't need to do a Phd for them.
--
Paulo
