tome

33 ms·

271.
by tome 1y ago
It's extremely presumptuous to declare I'm engaging in bad faith (especially "incredibly bad"). I can assure you I'm engaging in good faith, and attempting to seek some clarity on the assumptions underlying the con
272.
by tome 1y ago
[flagged]
273.
by tome 1y ago
I can certainly agree we have a concrete example of defence of purported genocide and a concrete example of an accusation of purported genocide. Beyond that I'd be happy to discuss further (although it's probably off topic).
274.
by tome 1y ago
Are you responding to an argument zaphar didn't make? He/she just said "your first paragraph ... ignores nearly 2-3000 years of history", which is true. Now you seem to be saying "if you look at the first 2-3000 ye
275.
by tome 1y ago
This seems at odds with your earlier claim that "The 2-3000 years of history are entirely and wholly irrelevant". In fact the history of those 2-3000 years seems essential to determining "heritage".
276.
by tome 1y ago
But that's not my question. My question was between defence of genocide and false accusations of genocide. (Of course actual genocide is "shittier" -- in fact that's a breathtaking understatement!)
277.
by tome 1y ago
Is your claim that genetics determines who should live in a particular patch of land?
278.
by tome 1y ago
I'm curious how you assess, relatively speaking, the shittiness of defence of genocide versus false claims of genocide.
279.
by tome 1y ago
Yes, absolutely, I would say for almost every programmer, certainly for me. "Scrap your iteration combinators" goes into more detail. foldl' is a bit too simple to replace with for_, but for almost every other use case, yes
280.
by tome 1y ago
Can I ask which conference? Did people behave towards you in that way at that conference, or are you referring to behaviour online? I will try to use whatever authority I have in the Haskell community to improve the situation. (Still, hop
281.
by tome 1y ago
Regarding catch, yes, I agree types help, but they can help even more! I suggest an IO-wrapper effect system (mine is called Bluefin; effectful is also a good choice). Then there is absolutely no ambiguity about where an exception can be h
282.
by tome 1y ago
I have the definitive answer to this question in my article “foldl traverses with State, foldr traverses with anything” https://h2.jaguarpaw.co.uk/posts/foldl-traverses-state-foldr... In short: use foldl’ when you’re i
283.
by tome 1y ago
See also "too simple to be simple": https://ncatlab.org/nlab/show/too+simple+to+be+simple
284.
by tome 1y ago
But this is exactly why Stallman promoted not just Free Software, but specifically Copyleft software (via the GPL and then the Affero GPL).
285.
by tome 1y ago
The point wasn't that particles can interact that way, but that that is how they interact. But that requires infinite regression. (That needn't necessarily be a problem, but it does need a justification.)
286.
by tome 1y ago
I call this the Peter Principle of Programming: "Code increases in complication to the first level where it is too complicated to understand. It then hovers around this level of complexity as developers fear to touch it, pecking away h
287.
by tome 1y ago
Do you have any specific references? I’ve often wondered if human level intelligence might inevitably be plagued by human level neurosis and psychosis.
288.
by tome 1y ago
> I have borrowed some "wisdom" in how particles interact. They exchange particles back and forth If particles interact by exchanging particles, how do they interact with the particles they exchange?
289.
by tome 1y ago
> I'm a bit confused at the distinction of "algebraic" vs "non-algebraic" effects. Think you can give a brief example of what you mean? I don't fully understand what exactly "algebraic" effects are
290.
by tome 1y ago
> Why can't the handler be invoked as if it was called from the effect invocation site, then return? Then it would just be (equivalent to) a function call.
291.
by tome 1y ago
For the MonadError in Haskell at least, it's quite similar. However, mtl-style has a number of issues that effect systems don't well explained by the author of effectful under "What about mtl?" at https://hac
292.
by tome 1y ago
> nesting monads (which requires picking an order and sometimes reorder them due to the output of some functions not matching the exact set or order of monads used by the calling function). mtl-style (which is where `MonadError` comes fr
293.
by tome 1y ago
> with effects you can dynamically install effects handlers wherever you need to override whatever the currently in-effect handler would be. You can do that with mtl-style too. It's just more clumsy.
294.
by tome 1y ago
If you want multishot continuations then I don't really know of any way other than delimited continuations (other than undelimeted continuations or simulating delimited continuations, on the heap).
295.
by tome 1y ago
Quite the opposite, that's exactly what continuation monads do, for example `ContT`, and more structured versions such as `freer`. Those essentially simulate a stack rather than using the actual RTS stack. For the latter there are `
296.
by tome 1y ago
> no indication that foo or bar can fail ... how do you find the code that will run when they do fail If that's what you're looking for you might want to try my Haskell effects library Bluefin (it's not an "algebraic&
297.
by tome 1y ago
> He doesn't say, "I can influence the stock market with affirmations," but if you read what he wrote, he is very clearly arguing that you can change reality with your thoughts. Earlier today I was reading your comment on
298.
by tome 1y ago
Actually there's really not that much difference. In Java you have to cast to Object, in Haskell you can wrap in Dynamic: https://www.stackage.org/haddock/lts-23.22/base-4.19.2.0/Dat...
299.
by tome 1y ago
Yes, Bluefin is not a "high assurance system" in that regard. However, there is "Safe Haskell" which provides something along those lines. It is not widely used though. https://ghc.gitlab.haskell.org/ghc
300.
by tome 1y ago
Yes, I think so. In fact Haskell "effect systems" are a lot like "capability languages" in the sense that the restrict in a fine-grained way which parts of your codebase can perform which sorts of actions. My library Bl

More ›