Languages don't have to look like C or Ada in order to do syntax checking and static analysis on them. In fact, the latter arguably works better on languages like Haskell...