I enjoy using dynamically typed languages (especially Scheme) from time to time. I feel like I take a type driven approach when I do, but there's some kinds of exploration when it just feels like a nice way to work.https://twitter.com/lexi_lambda/status/1219103128836100098 …
-
-
I've just been doing a largeish refactoring on an Idris program (okay, on Idris 2) and I'm glad I had the type checker to tell me where I was wrong!
-
yeah, this is a serious problem in racket code. I often pass things in the wrong order, etc.. the type failures are pretty obvious and don't often cause subtle bugs, but i agree it's not ideal. I try to use a bunch of contracts to mitigate this at a high-level
End of conversation
New conversation -
-
-
A great IDE and debugger are wonderful things.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I just always have clearer thinking upon returning to an older codebase when there are types, even if they are poorly designed.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.