7:30 PM
Right, but at it's heart it's pretty much the same outside of the few type system dissimilarties
All ML's have arbitrary depth lexical closures, All MLs have a strict type system (well for the most part; I'm sure some dynamic MLs have been made but I'm sure they're esoteric) All MLs have the HM type system which LISPs don't have (though they can of course use macros to fake them), other then that there's really not a lot of similarity between MLs and LISPs...
MLs take a much more declarative approach "This scenario means that", LISPs take a much more applicative approach, the fact that pattern matching isn't an in-built part of (most) LISPs alone tells you they have different goals
They're both declarative compared to purely imperative languages, but SML (and other MLs) and LISPs are both imperative as well, though LISP has a much more do-this-then-that feel, the tree structured approach is what keeps it declarative at all when MLs put much more focus on the defining of a scenario so you can declare the outcome of that scenario
But yeah, in the ML world, SML is your minimal (So long as you don't count Haskell as an ML)
Haskell is likely the most minimal language I've ever seen without question, the fact that it's so amazing is just an effect of the particular set of features the language allows even though the language itself is as minimal as they get
You've seen the qbasic in Haskell blog I'm sure, creating a Scheme using template-haskell would be stupid easier than even the qbasic one, because Haskell is minimal enough to be a close match in it's own way. You could take a Scheme script, remove the outer parentheses and put parens around each function to force RPN, and it would probably become completely valid haskell
aside from the defun syntax for defining a function
Only thing I don't appreciate about the F# community is there insistence that Haskell is stupid for real world applications, this is a common meme in the F# community which is annoying, Haskellers see F# as a perfectly fine language if you want the .NET framework available but for some reason F# folks are certain Haskellers are just arsehats. But I guess when the monad is strong with you, you get used to people thinking you're off your nut...