tome

10 ms·

181.
by tome 11mo ago
The article explains what Einstein meant by socialism: "Einstein concludes that these problems can only be corrected with a planned economy where the means of production are owned by society itself"
182.
by tome 11mo ago
So is Haskell not functional? Or an imperative language with some functional features? -- ghci> example -- Triangular number 1 is 0 -- Triangular number 2 is 1 -- Triangular number 3 is 3 -- Triangular number 4 is
183.
by tome 11mo ago
I developed my Haskell library Bluefin to program in this way, not as a security measure but just as a way to help structure programs in a coherent way (which is one of the benefits of many well typed Haskell libraries). In principle the sa
184.
by tome 1y ago
Until I learned about the Bohmian interpretation of QM (though a comment here on HN) I found QM mathematically sound but physically muddled. BM changed all that. Now I think it's physically sound too. It's remarkable how a change
185.
by tome 1y ago
> enums with data + exhaustive pattern matching; the latter is something even Haskell lacks What do you mean? Haskell doesn’t lack any of those things.
186.
by tome 1y ago
> when I see Haskell programmers casually discussing the lengths they’ll go to to avoid side-effects Can you give an example of that happening?
187.
by tome 1y ago
> the haskell people have to realize that code patterns are absolutely a thing in all languages, ever? A lack of syntactic sugar doesn't mean monads don't exist in other languages. Where did you get the impression that Haskell
188.
by tome 1y ago
That's Bluefin Algae, which isn't as such an extension to Bluefin, but a library that wraps delimited continuations in a Bluefin-style API. As far as I know, no one has really used it yet. [1] https://hackage.haskell.or
189.
by tome 1y ago
> So the risk would only be that the lease would be aborted sooner than expected. That is, in fact, the risk.
190.
by tome 1y ago
This is basically what my effect system, Bluefin, achieves with its Stream type. "Stream" is an "output channel" that by itself is completely pure. Then, at the point of handling, you can choose to remove the effect in
191.
by tome 1y ago
> I'm not 100% clear on the entire history, but I think it goes something like: You can see my talk "A History of Effect Systems" for a synopsys of the history. I gave it at Zurihac this year. It's very close to the
192.
by tome 1y ago
That disproves the 80% figure, right?
193.
by tome 1y ago
It's not a straw man, and you are incorrect on a number of factual points. For example, there are circumstances under which targeting hospitals is not a war crime. I think that "not as bad as WWII" is the opposite of despera
194.
by tome 1y ago
How about when it comes to military actions that were not strategic bombing? FWIW the reason that Israeli troops are on the ground and not just razing the Strip from the air is to reduce risk to civilians.
195.
by tome 1y ago
Why's it under blockade?
196.
by tome 1y ago
How about the allies in WWII? Were they on the wrong side of history?
197.
by tome 1y ago
Can you name a war in which members of a group weren't killed, or serious bodily or mental harm wasn't caused to a members of a group?
198.
by tome 1y ago
> there were also a lot of people saying "well, if you just write your whole application in ReaderT IO, you can get 90% of the effects juice for only 10% of the complexity squeeze" I think 90% is an overestimate because you don
199.
by tome 1y ago
I'm not sure exactly what you're asking. Firstly, it's a type error to say "taking equity out of the service via profit". Profit, by definition, does not come from equity. Secondly, the government should spend pub
200.
by tome 1y ago
> Find me a national leader that believing in the flourishing of the country But I can't find one, that's the point.
201.
by tome 1y ago
I'm inclined to agree that privatisation is bad for long term planning, but the history of the Abingdon Reservoir proposal seems to be counter evidence: https://en.wikipedia.org/wiki/Abingdon_Reservoir Looks like
202.
by tome 1y ago
> Nobody able to change national policy within Downing Street or even ministries in Whitehall, at the time - or since - has had the gumption to say it's not working and we need to do something about it. Thatcher's been dead for
203.
by tome 1y ago
> privatised water companies have built no new reservoir capacity and relied on drawing from rivers and other sources Why does privatisation mean that the government can't build infrastructure? I think the answer is more likely nim
204.
by tome 1y ago
Yes, I have the same experience. Most of my features are implemented as double figures of tiny refactoring commits to prepare the code so that the feature can be implemented in a straightforward way.
205.
by tome 1y ago
Thanks, I did find that interesting. I would say Bluefin is another entry in the static/lexical row, whereas its cousin effectful is in the static/dynamic row (although this may be a slightly different interpretation of the terms
206.
by tome 1y ago
Right, though the former is just an exception. So what general effect systems provide above and beyond what we already have in most languages is " multiply -resumable" checked exceptions (also known as multi-shot continuations and
207.
by tome 1y ago
What’s the difference between a resumable checked exception and a function call?
208.
by tome 1y ago
Have you seen my effect system Bluefin? It sounds like exactly what you're describing: https://hackage-content.haskell.org/package/bluefin-0.0.16.0... Happy to answer any questions about it, either here, or if you
209.
by tome 1y ago
> Also, Haskell? You can take your space leaks and shove them. In case any passers by are interested, space leaks are a solved problem: make invalid laziness unrepresentable ( https://h2.jaguarpaw.co.uk/posts/make-inv
210.
by tome 1y ago
> The system isn't broken; it's working exactly as designed. I don't follow this bit. It's worse for employees, it's worse for employers, and it's exactly as designed?

More ›