I don't really use anything in production, I am just a learner right now :)
There are some people using some of extensions for Haskell inspired by "dependently typed" systems in production.
Dependent typing is an active research topic right now, and I doubt any fully fledged dependently typed language is used "in production".
However, I was just pointing out that it is possible for types to express a wide variety of things that we do not normally associate with them. Even without full dependent typing, Haskell types are wonderfully expressive and powerful.
Comments
I agree with most of what you said, but
Dependent types can express a huge number of things, and are often limited only by your ability to describe what exactly you want.
Absolutely right, I was just comparing with the dominant Java or Python.
Dependent typing is some cool stuff, I'd love to see more of it.
I have been following Idris, quite cool.
Do you use a dependently typed language in production?
I don't really use anything in production, I am just a learner right now :)
There are some people using some of extensions for Haskell inspired by "dependently typed" systems in production.
Dependent typing is an active research topic right now, and I doubt any fully fledged dependently typed language is used "in production".
However, I was just pointing out that it is possible for types to express a wide variety of things that we do not normally associate with them. Even without full dependent typing, Haskell types are wonderfully expressive and powerful.