Rust updates

[Paulo Pinto]

>"David Piepgrass"  wrote in message 
>news:jdyhfsxgucfglqgajezn at 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