Skip to main content
8 events
when toggle format what by license comment
Aug 22, 2018 at 18:03 comment added Elliot Gorokhovsky Another reason to learn Haskell: the diagrams EDSL, a good alternative to TikZ.
Aug 21, 2018 at 21:45 comment added dvitek Hi @ArasErgus, I've done so. I also apologize for the "not a helpful answer..." language - it sounds harsher than what I intended, which was more "you're not giving Haskell the credit it deserves for being a good general-purpose mathematical programming language."
Aug 21, 2018 at 21:43 history edited dvitek CC BY-SA 4.0
added commented responses to main answer (per request)
Aug 21, 2018 at 13:11 comment added Aras Ergus I agree that that's an important point that is missing in my original answer. I'd like to encourage you to extend the answer with it as you seem to know some nice examples of Haskell code resembling mathematical notation.
Aug 21, 2018 at 12:19 comment added dvitek As an example of what I'm talking about, see katlas.org/wiki/The_Kauffman_Bracket_using_Haskell, specifically the last 8 lines (where four cases of the "kauffman" function) are defined. This is exactly how the Kauffman bracket is defined in talks - just do a recursive computation. Pretty much everything else is syntactic sugar. One nice thing about languages like Haskell is that we don't have to set up a syntax for "iterate over all vertices" or anything like that - we can just say "here's what I want, here's how you do the expansion, here are the base cases, now tell me the answer".
Aug 21, 2018 at 12:17 comment added dvitek I think this is not a helpful answer for motivating why a non-category-theorist/logician should learn Haskell. The advantage of statically-typed functional* languages like Haskell for any mathematical computation is that one can describe to the computer how to do computations in a way that is very similar to how mathematicians describe to one another how to do computations. *(There are a few more features that really make this straightforward but are a bit too technical to enumerate here.)
Aug 21, 2018 at 11:18 history made wiki Post Made Community Wiki by Todd Trimble
Aug 21, 2018 at 8:48 history answered Aras Ergus CC BY-SA 4.0