3 ms·
Have you looked into type-driven development? This lets you put your domain model into the type system, potentially add logic if you have dependent types (Idris
by exdsq 6y ago
Have you looked into type-driven development? This lets you put your domain model into the type system, potentially add logic if you have dependent types (Idris), and helps a lot with catching issues compared to a dynamic language.
- amw-zero 6y agoYea and I consider dependent types to be a false idol for the reasons I outlined before. Eventually you just need to compute an arbitrary program within a type check, which is equivalent to just executing the program to begin with.