#type-systems

Answer: Why not be dependently typed? #programming #computers #answer

Why not be dependently typed?

I have seen several sources echo the opinion that “Haskell is gradually becoming a dependently-typed language”. The implication seems to be that with more and more language extensions, Haskell is drifting in that general direction, but isn’t there yet.

There are basically two things I would like to know. The first is, quite simply, what does “being a…

How to: What are some compelling use cases for dependent method types?

What are some compelling use cases for dependent method types?

Dependent method types, which used to be an experimental feature before, has now been enabled by default in the trunk, and apparently this seems to have created some excitement in the Scala community.

After first look, it’s not immediately obvious what this could potentially be useful for. Heiko Seeberger posted a simple example of…

How to: Dynamic type languages versus static type languages

Dynamic type languages versus static type languages

What are the advantages and limitations of dynamic type languages compared to static type languages?

See also: whats with the love of dynamic languages (a far more argumentative thread…)

Answer: Dynamic type languages versus static type languages

Static Typing: The languages such as Java and Scala are static typed.

The variables have to be…