3 ms·
Do you use a dependently typed language in production?
by kyllo 12y ago
Do you use a dependently typed language in production?
- wz1000 12y agoI 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.