Answer: Why not be dependently typed? #programming #computers #answer
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…
View On WordPress


















