Believe me, I dont want to accidentally cut my arm off while working in my toolshed. We should be protected from stuff like that. But I'm also not going be like "the best thing about my workshop is how much it protects me from myself!" lol
@pkw everytime I try to get into Haskell I wind up going down the rabbit hole of dependently typed languages. After reading the Idris book a few years ago I got a glimpse of programming with typed holes, and while wingman does a pretty good job in Haskell, its missing the richness that comes from the type-value dependence, which allows you to use synthesis in a more "dependable" way (I know I've found myself stuck trying to get a wingman to synthesize a hole that I thought it should understand, to no avail, where with #idris you can narrow down the search space pretty surgically)
Add comment