SwiftScript is a simple scripting language to enable concise, high level specifications of complex parallel computations, and mappers for accessing diverse data formats in a convenient manner, used in Swift system. This language is statically typed and intended to be strongly typed, but the compiler does not do much of the type checking right now.
Main purpose of this project is to implement better compile-time checking so that more type errors are caught at compile time rather than run-time. Besides that, this project should research possibilities of type inference in SwiftScript, using some variant of Hindley-Milner or Damas-Milner algorithm. Implementing some kind of type inference would make it possible to omit many type annotations from a program completely, thus making language simpler and easier to use.