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
-
-
verilog remains much harder for me to understand than haskell but i hesitate to call verilog a language
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
without devolving into a rant, let me just say that Verilog is extremely bad from almost every perspective and leave it at that
-
Everyone I’ve talked to about Verilog says the same thing :)
End of conversation
New conversation -
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.