Hi all, I am a language enthusiast. I found that Rust is an elegant combination of procedure, functional and concurrent paradigm, thus can be a promising practical system programming language. Among all that fantastic features, my favorite one is the ad-hoc polymorphism, aka type class from Haskell.
I have some suggestions about Rust's syntax. - Replace "let" with "val", and "let mut" with "var", like Scala does. - Replace module name separator "::" with "/" as Scheme, which is shorter and and cleaner I think. Regarding to grammar, I think current type kind constraint (a: copy) is not flexible, I think the type constraint (Ord a, F a b => defs...) is more powerful and flexible. In addition, it seems that current Rust relies on crates(.rs) to form module hierarchy. I don't think it's intuitive. When programmers see a module path, they want to have a sense where the module resides. I think the module hierarchy system in Haskell is a good compromise between power and simplicity. -- James Deng Intelligent Systems Laboratory School of Computing and Mathematics University of Western Sydney <[email protected]> http://cnjdeng.appspot.com
_______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
