tome

5 ms·

61.
by tome 4mo ago
I've never understood what's meant by "algebraic" in that sense, or what this algebra of combining effect is. Could you say more, or maybe share a link to a useful reference?
62.
by tome 4mo ago
Thanks for your response. Perhaps I'm missing some fundamental things. Could you help? > A real effect system allows you to do things like NOT continue execution after using the effect Right, Bluefin's Request allows you to do
63.
by tome 4mo ago
Not sure I follow what you're trying to say. Can you elaborate?
64.
by tome 4mo ago
> Equating "algebraic effects" with "continuations" is like saying "if" is just "goto" Fair enough. But are you responding to something I said? I didn't make that equation. > The only myst
65.
by tome 4mo ago
Yes, there's a need for it, and Bluefin provides Modify which allows you to modify a reference to a value in a way that is not observable outside the scope of the capability. https://hackage-content.haskell.org/package&
66.
by tome 4mo ago
I was completely baffled by "algebraic effects" for years. They looked far too confusing for me to want to spend my time on them, and took the "Don’t feel like you have to [get curious about them]" approach. But then at
67.
by tome 4mo ago
It's debatable how much one is willing to describe historical solutions like MTL style to be a "good" solution to this problem (I explained the downsides in my talk "A History of Effect Systems"[1] at Zurihac 2025),
68.
by tome 5mo ago
[flagged]
69.
by tome 5mo ago
Do GHC2021 and GHC2024 not do what you want?
70.
by tome 5mo ago
> Obviously nobody needs more than that per year What's the smallest amount per year you'd say it is obvious that no one needs?
71.
by tome 5mo ago
> > Haskell already passes a type object as an argument to anything which does IO. They don't do it for security. Turns out having pure functions separated from non-pure functions is a beautiful thing. > But almost nobody uses
72.
by tome 5mo ago
Tracing doesn’t actually require IO, only emitting the traces does, and those two need not be done at the same point. In any case, anywhere they’re doing HTTP calls they are already threading IO, so they don’t have to pay an additional cost
73.
by tome 5mo ago
Any particular stories illustrating that that you can share?
74.
by tome 5mo ago
I don't understand why Zig's `Io` is a "monad". In fact I discussed that with the author of this article and the author of Zig here, but no conclusion was reached ( https://news.ycombinator.com/item?id=461
75.
by tome 5mo ago
> the programmer can't tell if the program is actually What do you mean, "can't tell"? If I see this in Python (A)(B)(C) how do I know which of your 9 it means? Well, I'm a Python programmer so I know
76.
by tome 6mo ago
In Haskell this list is not well-typed l = [1, [2, cat], 4] There are a few different ways to cook this up. Here's one: {-# LANGUAGE TemplateHaskell #-} import Control.Lens data Cat = Cat { _age :: Int
77.
by tome 6mo ago
Right, some people believe that. But did any of the signatories of the Agile Manifesto?
78.
by tome 6mo ago
I'm curious whether it's the author's contention that the signatories of the Agile Manifesto thought that the ideas they were championing went back only a few years, and they had no idea they went back at least 30. In partic
79.
by tome 6mo ago
> Agile doesn't have that, there is no functional equivelant of "the cake should be moist and rise evenly". That's not true for the way I understand agile. The way I understand it, the testable outcome is whether the
80.
by tome 6mo ago
Do you have any recommendations? I find his book Principles of Product Development Flow very interesting.
81.
by tome 6mo ago
Here's a silly but simple example: newtype FlippedIO a = MkFlippedIO { runFlippedIO :: IO a } deriving Functor instance Applicative FlippedIO where pure = MkFlippedIO . pure liftA2 f (MkFlippedIO x) (Mk
82.
by tome 7mo ago
> ML is trying to replace humans Are household appliances trying to replace humans?
83.
by tome 7mo ago
It doesn't matter which is which. The resolution will be the same regardless.
84.
by tome 7mo ago
My answer to that question is context dependent. I don't have a strong objection to Israel occupying 4,000 square metres of Lebanon. But I think we're established the answer to the question I originally asked. Thanks for participa
85.
by tome 7mo ago
Right, OK, I guess if you're complaining about some land about the area of an athletics running track then you are technically correct. I'm not sure that's what people would have understood by tsimonescu's original clai
86.
by tome 7mo ago
Yeah, that's pretty dumb. It's also not what I said. The original comment is a vague insinuation > Those who know their history also know that the current American administration is of a kind that usually ascends following the
87.
by tome 7mo ago
Do you mean with the link to Wikipedia? Could you clarify exactly what part of it backs up your claim?
88.
by tome 7mo ago
Showing that one's claim is not hollow can be achieved in a variety of ways. A prediction market was just a suggestion of one possibility. I'm open to other ways that bojan can show that their claim isn't just empty venting.
89.
by tome 7mo ago
The goalpost is "Israel's occupation of ... parts of Lebanon". Do you agree with tsimionescu that Israel occupies parts of Lebanon? Can you back that up?
90.
by tome 7mo ago
> And the only way to prove you’re serious about this opinion is to gamble on it! If it's a strong claim it's not much of a gamble, is it? Talk is cheap.

More ›