4 ms·
The blurring of types and values as part of the static checking very much speaks to me. I've been using Typescript a lot recently with union types, guards, and
by rtpg 9y ago
The blurring of types and values as part of the static checking very much speaks to me.
I've been using Typescript a lot recently with union types, guards, and other tools. It's clear to me that the type system is very complex and powerful! But sometimes I would like to make assertions that are hard to express in the limited syntax of types. Haskell has similar issues when trying to do type-level programming.
Having ways to generate types dynamically and hook into typechecking to check properties more deeply would be super useful for a lot of web tools like ORMs.
- charlieflowers 9y agoI believe F# is rich in features like this. I am only an F# outsider who has read about such features, but check out F# type providers.
- mcguire 9y agoCheck Idris (https://www.idris-lang.org/ https://www.idris-lang.org/) and if you have a chance, work through the Idris book, Type Driven Development with Idris (https://www.manning.com/books/type-driven-development-with-idris https://www.manning.com/books/type-driven-development-with-i...).