Panicz Maciej Godek <godek.mac...@gmail.com>: > However, I'd rather say that the lack of any type system in Guile is > an inconvinience, because static type checking allows to avoid a huge > class of software errors, and a good type system (like the one in > Haskell) actually enhances language's expressiveness.
We already have a satisfactory selection of languages with static type annotation. The primary upside of static types is much faster code. The downside is boilerplate and clutter that make it a huge chore to write and maintain the code. In my experience, high-level programming languages allow you to accomplish more challenging feats with better quality and productivity than statically typed languages. I'm saying use low-level programming languages when you have to and high-level programming languages when you can. Marko
