You MIGHT be writing horrible typed code if you can do any of the following without compiler errors:
Reorder statements
Delete statements
Move statements to another scope
Good typed code is a dependency graph, not a list of commands.
-
-
Replying to @jdegoes
Just last Friday, my intern used an effectful iter instead of a pure fold, had a missing parenthesis around the effects of a conditional statement, and the type system failed to catch an error because it was all unit typed rather than richly typed.
1 reply 0 retweets 4 likes
PS: After using it in anger, I now understand why people complain about the syntax of OCaml.
11:06 AM - 10 Mar 2019
0 replies
0 retweets
1 like
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.
Read my blog!