I’ve been using core.typed in a microservice for work, mostly doing data science stuff, and it’s been so helpful. I often forget what functions do (what they take as arguments and what they return) – the type annotations make things so much easier.
I don’t have my entire codebase type checked, so I don’t have to go “full Haskell,” if you will. I just use the annotations when I need them, usually for low-level code.
One more thing: why hasn’t anyone created a repo for type annotations of 3rd party libraries? Kinda like cljsjs but for core.typed annotations of 3rd party libraries that don’t provide the annotations.
This is my reading material for the week.
I’ve been using core.typed in a microservice for work, mostly doing data science stuff, and it’s been so helpful. I often forget what functions do (what they take as arguments and what they return) – the type annotations make things so much easier.
I don’t have my entire codebase type checked, so I don’t have to go “full Haskell,” if you will. I just use the annotations when I need them, usually for low-level code.
One more thing: why hasn’t anyone created a repo for type annotations of 3rd party libraries? Kinda like cljsjs but for core.typed annotations of 3rd party libraries that don’t provide the annotations.
“You went full Haskell. Never go full Haskell..”