tome

9 ms·

151.
by tome 11mo ago
I gave a talk on this topic at Zurihac this year, called A History of Effect systems: https://www.youtube.com/watch?v=RsTuy1jXQ6Y It was given to a Haskell audience, but not everyone knew Haskell, so I hope it's genera
152.
by tome 11mo ago
> whoever decides the GHC release numbers should be pulled aside and given a quick talk about how version numbers are supposed to work How is that?
153.
by tome 11mo ago
They're versions of the same thing, and 9.12.1 was chronologically before 9.10.3. It looks like you can find the entire chronology at https://www.haskell.org/ghc/blog.html
154.
by tome 11mo ago
> he went on to propose a solution, which didn't work out What was his proposed solution?
155.
by tome 11mo ago
Yeah, it's another thought-terminating cliche, and it's on my list! https://h2.jaguarpaw.co.uk/posts/thought-terminating-cliches...
156.
by tome 11mo ago
> you're going to discover that the keybinding doesn't work when you go to use it, so how much time are you really saving? It's not about discovering it doesn't work so much as discovering the specific reason it doe
157.
by tome 11mo ago
I don't know, but it seems that rsyring and cluckindan are both assuming it, and at odds about a counterfactual.
158.
by tome 11mo ago
> I remember an interview with some billionaire talking about how people should grow their own food. He underpays his workers. You don't happen to have link do you? I couldn't find any obvious hits on a search engine.
159.
by tome 11mo ago
I'm confused because the comment you're replying to didn't mention free time or Netflix.
160.
by tome 11mo ago
Hmm, possibly, but from my point of view the fact that he might not be speaking from experience, or at the very least from the experience of someone he has been close to, makes me disinclined to put a lot of weight on his opinions.
161.
by tome 11mo ago
Maybe you didn't read the whole comment?
162.
by tome 11mo ago
So is it your belief that the author currently considers himself poor? (FWIW, I don't think he does.)
163.
by tome 11mo ago
Perhaps you could elaborate, because I read the article and the About page too, and I don't understand what you're getting at.
164.
by tome 11mo ago
I'm confused whether the author is poor, has been poor, has never been poor but has deep understanding of what it's like for other reasons (friends, family, etc.). He writes > I have a van that is falling apart. It needs a lot
165.
by tome 11mo ago
That's fine, then the response I was looking for is simply "I didn't mean literally everyone else, I just meant simply 'most people, in most common professions, are underpaid'". That's a perfectly valid
166.
by tome 11mo ago
> You are the one who is implying something. Maybe I am, so let's stick to exactly what noir_lord said > > Train drivers can be paid as much as aircraft pilots > that's as it should be I understand this to mean that it
167.
by tome 11mo ago
Thanks for trying to help me understand. I'm not sure if I do yet. Can I check my understanding? Did you mean, when you said > in reality their pay is fair for the responsibility it's everyone else who is underpaid that train d
168.
by tome 11mo ago
Sorry, what? EDIT: Oh, I think I understand what you mean. If I've got my understanding correct then my response is that noir_lord said that one of the crabs shouldn't be climbing out: > their pay is fair for the responsibilit
169.
by tome 11mo ago
See sibling: https://news.ycombinator.com/item?id=45915649
170.
by tome 11mo ago
> You can simultaneously believe that train drivers and airline pilots deserve to be paid more. But that's not what noir_lord thinks. He/she specifically said > their pay is fair for the responsibility it's everyone el
171.
by tome 11mo ago
Hang on a minute. How do you square your claim that it's as it should be that train drivers can be paid as much as airline pilots, with your claim that everyone else is underpaid, including, presumably, airline pilots?
172.
by tome 11mo ago
Hmm, maybe > most type theories don't enforce full parametricity at runtime means "sometimes types can appear at run time"? If so it's true, but it's not what I understand by "parametricity".
173.
by tome 11mo ago
> Many practical type systems (like Haskell with type classes) break it with ad-hoc polymorphism or runtime types. Haskell does not break parametricity. Any presence of ad-hoc polymorphism (via type classes) or runtime types (via someth
174.
by tome 11mo ago
> there wasn't any functional programming ...This is 100% imperative What distinction are you drawing between functional and imperative programming? This is not a trick question. Simon Peyton Jones has described Haskell as "the
175.
by tome 11mo ago
I think VSCode is written in TypeScript, but yes, I found counterpoint very strange too!
176.
by tome 11mo ago
That is very interesting. I never knew that JS could access native APIs. That's very promising for compilers that can generate JS, like GHC!
177.
by tome 11mo ago
This sounds very interesting. You say “native” but miso generates JavaScript, right? I’m not familiar with mobile development. Can you run JS natively on mobile devices?
178.
by tome 11mo ago
> 1976 ... ~40 years later I think it would have been ok to say 50!
179.
by tome 11mo ago
In a good effect system exceptions as effects are isomorphic to error conditions as data, so the choice comes down to what is more ergonomic for your use case, just like the choice between these three isomorphic functions should is down to
180.
by tome 11mo ago
I found it interesting to read this with my Haskell effect system Bluefin[1] in mind. Bluefin has what this book calls "exception capabilities"[2] (checked ones, as I guess all exception capabilities are), although Bluefin refers

More ›