#dependent-type

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…