I ask because it's the language I'm trying to learn currently and so far it seems to have a core that's something like "Scheme with syntax" (Although I guess it's actually a lisp-2). But I don't know if it has weird edge cases that I haven't gotten to yet.
Erlang, too, has a core language which is pretty concise. I haven't seen a formal specification of its semantics, though.
FWIW, I found that Erlang made quite a bit more sense after I spent some time with Prolog. Erlang started out as a DSL built on SICStus Prolog, and a lot of its design decisions carried over from there.
Comments
Would Erlang fit this catagory?
I ask because it's the language I'm trying to learn currently and so far it seems to have a core that's something like "Scheme with syntax" (Although I guess it's actually a lisp-2). But I don't know if it has weird edge cases that I haven't gotten to yet.
Erlang, too, has a core language which is pretty concise. I haven't seen a formal specification of its semantics, though.
FWIW, I found that Erlang made quite a bit more sense after I spent some time with Prolog. Erlang started out as a DSL built on SICStus Prolog, and a lot of its design decisions carried over from there.