learning haskell is easy, all you have to do is read the injective type families paper and pay attention to the messy metatheoretical distinction between data families and type families, ignore fundeps and multiparameter typeclasses, and pretend promotion works
-
Show this thread
-
i feel like haskell as written by someone who actually uses the type system is probably legitimately the most difficult language to learn from both the programming perspective and discrete math perspective, maybe some of the verification languages are a bit harder
1 reply 0 retweets 11 likesShow this thread -
that article suggests using the strict extension to make the runtime performance "simpler to understand" which is fuckin wild, like damn these complex operational semantics are too inscrutable to learn, if only it was an implicitly modal complex operational semantics
2 replies 0 retweets 6 likesShow this thread -
Replying to @sigfig
to be clear youre the person in the article that people complain about
1 reply 0 retweets 0 likes -
Replying to @whitequark
honestly i think it's shitty to bait people into using a language where they can trial and error their way to being able to use the postgres bindings, but the postgres bindings are made of inductive tuple definitions that they'll need four years of study to see the intent behind
1 reply 0 retweets 2 likes -
Replying to @sigfig
clearly my approach of only ever reading papers about haskell and never writing any haskell code is the correct one here
1 reply 0 retweets 10 likes -
Replying to @whitequark @sigfig
Verilog was always way harder for me to understand than Haskell. Though that’s probably because I never studied EE at all
2 replies 0 retweets 2 likes -
without devolving into a rant, let me just say that Verilog is extremely bad from almost every perspective and leave it at that
1 reply 0 retweets 4 likes
Everyone I’ve talked to about Verilog says the same thing :)
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.