mrkgnao

24 ms·

121.
by mrkgnao 9y ago
You're welcome! http://haskellbook.com/ is the currently recommended book and is worth looking at when you start learning.
122.
by mrkgnao 9y ago
A lot of the ideas used in everyday Haskell originated in category theory (similarly to how all our programming languages eventually come from Turing machines, the lambda calculus, and so on), but command over the mathematical ideas is abso
123.
by mrkgnao 9y ago
(Python would be harder for this than Java.)
124.
by mrkgnao 9y ago
This link posted a couple days back may be of interest: https://news.ycombinator.com/item?id=14891968
125.
by mrkgnao 9y ago
Shaadi.com owns a number of related websites targeted at particular Indian communities. I live in Kolkata and ads for bengalimatrimony.com are everywhere (in a manner of speaking).
126.
by mrkgnao 9y ago
The use of monads is a side-effect (ha!) of committing to purity throughout a language, and that's what FP is being equated to: pure statically-typed FP. (You can argue about how justified that is, of course. I'm not going into
127.
by mrkgnao 9y ago
It won't satisfy the properties you've come to expect from the implementations you know for lists, optionals (Maybe), and so on. Suppose you're going over some code, where you have something of the form xs >>= some
128.
by mrkgnao 9y ago
What about KaTeX? It doesn't suit my needs (I need to use the unofficial Xy-pic extension for commutative diagrams) but few users have those constraints, and KaTeX is significantly faster.
129.
by mrkgnao 9y ago
Huh, nice.
130.
by mrkgnao 9y ago
> I doubt the average JS user knows how V8 optimizes execution of code, or whatever. That's what your insistent complaints about type theory amounts to: [...] Only a couple of people working on the compiler [use type theory]. > W
131.
by mrkgnao 9y ago
The unpleasantness arises when writing Monad instances that don't follow the laws. Setting your disingenuity aside, try using xs >>= f = concat (reverse (map f xs)) or Array.prototype.chain = function (f) { return
132.
by mrkgnao 9y ago
Ah. That derives both "ToJSON" and "FromJSON", as Aeson calls them. Cool!
133.
by mrkgnao 9y ago
For people interested in Prolog-like DB systems: https://github.com/agentm/project-m36 > Unlike most database management systems (DBMS), Project:M36 is opinionated software which adheres strictly to the mathematics
134.
by mrkgnao 9y ago
I can imagine :) I think over in Rust-land it's something like #[derive(FromJSON)] isn't it?
135.
by mrkgnao 9y ago
> "simplest way to do BasicAuth" The simplest way to do BasicAuth in Haskell isn't Servant. I feel like you're intentionally misinterpreting what I'm saying. As for resources, here's a great intro to type-le
136.
by mrkgnao 9y ago
> Haskell is used by Chase Bank. Also a ton of other financial services companies: Morgan Stanley, Standard Chartered, and so on. Facebook has, in the recent past, hired a lot of well-known Haskellers. Bunch of hedge fund-ish things do t
137.
by mrkgnao 9y ago
Yes, you should care about the laws! They allow you to edit code without the aforementioned released-last-week test runner having to check all your code after a big refactor. I mean, you can't call something with a "flatMap"
138.
by mrkgnao 9y ago
Servant isn't the "simplest" way to get BasicAuth: you get what you pay for. You can just use one of the raw HTTP servers, like wai or something. They expose an interface not unlike the ones you'll find in, say, Go or
139.
by mrkgnao 9y ago
It's code reuse for concepts. Wouldn't you agree that reusing intuition about things is good? It's the same as knowing what big-O is instead of just memorizing "bubble sort is slower than insertion sort, insertion sort i
140.
by mrkgnao 9y ago
Demonstrate a pair of tutorials aimed at the same level of reader, one in JS, and one in Haskell, where you end up with a better understanding of the idea of a monad reading the former (as opposed to the implementation of the Monad instan
141.
by mrkgnao 9y ago
I'm pretty sure you'll be able to follow the Servant docs, which are quite nice: https://haskell-servant.readthedocs.io/en/stable/ There are definite advantages, and if you're willing to put in as m
142.
by mrkgnao 9y ago
Type classes are basically interfaces from Java. I'm guessing from your other comments that you know Java (and have read LYAH), so this is actually trolling. The majority of people writing the goddamned Haskell compiler don't ha
143.
by mrkgnao 9y ago
Well, Servant isn't introductory Haskell material. My point was to show that the advanced type system features of modern Haskell are useful in the real world, for, e.g. building webapps that real people use and ship to production. If y
144.
by mrkgnao 9y ago
Sure! I don't disagree: Haskell learning materials are a far cry from adequate, and we definitely need to learn from, e.g. the Rust/Elixir/Elm communities here. For now, this is worth trying: http://haskellbook.com
145.
by mrkgnao 9y ago
Speaking from experience, zero. > debug But the whole point of a good compiler is that it tells you when you're wrong ! (Instead of having to write hundreds of tests (and thousands of Node test runners).) > :> and :<|>
146.
by mrkgnao 9y ago
I hadn't really finished editing my comment then. (I was eating at the time, haha.) I just saw your reply now.
147.
by mrkgnao 9y ago
> You need a PhD in type theory to get anywhere. That is extremely false. Haskell isn't even a good playground for academic type theory -- you'd want Agda etc. for that. The development of the language over the last few years h
148.
by mrkgnao 9y ago
The solution isn't more "pragmatism", it's an actual "incredibly powerful type system" like Haskell's. In my projects JSON decoding is just instance FromJSON Foo and that's it.
149.
by mrkgnao 9y ago
https://en.wikipedia.org/wiki/Hume_(programming_language)
150.
by mrkgnao 9y ago
I really think the only thing differentiating these static site generators from each other is how pretty the demo site's CSS is. :/ Ivy looks great, though.

More ›