I very much miss using reasonable programming languages with expressive types and ability to describe explicit effects when I get caught up with shell scripting, Javascript, etc.
Conversation
What a shit show most of software development is.
2
2
33
TypeScript is pretty ok.
1
It doesn't meet either of my requirements above. It seems like a good building block to start with. Thankfully I get to migrate our complex data structures to Purescript and describe our operations that way; it is just pain until it describes enough.
1
1
What expressiveness are you missing?
And what kinds of effects are you trying to model?
1
Expressiveness requirements (all):
- algebraic data types (ability to describe /data/ structure)
- parametric polymorphism (type abstraction)
- higher-kinded types (describe extensible effects with multiple interpretation as needed)
Effects: domain specific & general purpose.
3
2
Typescript can do tagged unions with objects + string tags + unions, but it's boilerplatey and you don't get any nice pattern matching. Definitely feel your pain with not having effects and handlers. :(