Category talk:Standard ML
Standard ML typing
Standard ML's types are a mix of explicit and implicit. You can explicitly type things if you want, but the language features (and requires) a strong type inference engine so it can usually work out the exact type of everything for you without much assistance. As a language it's interesting particularly because it's mainly about constructive types and a very high degree of genericity. Not quite sure how that maps onto the Typing/Expression feature classes though; they need some descriptions of what they mean… —Donal Fellows 14:11, 26 June 2009 (UTC)
- Those categories were just made from the Language Comparison Table. I'm not exactly sure what "partially implicit" means either, but someone marked it a couple times on the LCT. If you know about any language's features could you add them to the category page of that language? If you get more than 3 or 4 of them, could you put it on the LCT? I just filled in the SML stuff from what I could (kind of) figure out from the WP article. If you think that a language doesn't fit into the categories that are there, make a new one (it is a wiki, you know). --Mwn3d 14:24, 26 June 2009 (UTC)
- Standard ML has basically the same typing system as OCaml, which is pretty much the same as in Haskell. So I would expect all those languages to be listed under the same categories for typing system. --Spoon! 18:33, 26 June 2009 (UTC)
- You know better than I do. Go ahead and change it. --Mwn3d 18:36, 26 June 2009 (UTC)
- Standard ML has basically the same typing system as OCaml, which is pretty much the same as in Haskell. So I would expect all those languages to be listed under the same categories for typing system. --Spoon! 18:33, 26 June 2009 (UTC)