It’s pretty annoying to comment “this thing was already present in CL 30 years ago”, then to have someone correct you (pointing out that this is a common misconception, and algebraic effects are not equivalent to…
There's no (practical) advantage to the circular implementation; it's just a curiosity. It is useful for understanding laziness and some interesting theoretical tools for traversing data structures, though. For a more…
I'm afraid I don't think I'm making progress here. My overall point was that I felt your original comment was a little confused about algebraic effects. You seemed to think that the "algebra" in "algebraic effects"…
> that's my understanding of why these things are called 'algebraic' effects. This is a misconception. Algebraic effects are not algebraic because they come from algebraic data types, the two features are completely…
Well, I gave the example of a logging effect above. In the post there’s also an example of a key-value store effect. What’s missing from these examples exactly? All of these effects have simple operations (get and put…
For an algebra, you have some operations and some equations. The group algebra has the + operation, and 0 and -, and all the relevant equations. You can also form an algebra from logging. One operation might be “write…
I mean, the program snippet that I gave above contains 3 first-class values. If you write `x = y + z + 0`, or any other statement that uses the group algebra (or any other algebra), you can use algebraic effects to…
> I'd assume "algebraic effects" are to talk about performing algebra on the effects. That is, you are specifically going to talk about how different things combine effects This is a misconception. The "algebra" does…
Generally speaking, it means that the effect is derived from an algebraic theory (in a specific and structured way). While equations are definitely part of most theories, you can absolutely have a theory without…
I'm just recommending the writeup, but only because I haven't watched the lecture series myself (although I'm sure it's good, I've seen other lectures by the lecturer that were excellent). As far as I know, they cover…
> For one, if algebraic isn't aiming at the ideas in an algebra, then they absolutely should be using a different name. Algebraic effects are certainly algebraic, they're just not directly related to algebraic data…
The "algebraic" in "algebraic effects" is not really related to algebraic data types, or sum or product types. I mean, I suppose they're related, since they both refer to algebra in the general sense, but there's no…
I would encourage anyone interested in this question to check out the paper "What is algebraic about algebraic effects and handlers?" (https://arxiv.org/abs/1807.05923) which is a write-up of the lecture series linked…
> F* is a programming language with proof support. Lean/Coq are theorem providers that can be used to model and generate code. Lean is also a programming language with proof support. It is very much in the same category…
No there are not. There are studies in mice (like this one), studies in vitro, etc. > There's limited interest in it though because most of those things simply have no profit potential This is not true. There is a lot…
> if you ever read the cases of people being harmed by their doctors advice and getting healed by going opposite to their doctors advice you would never have said such a thing. There are countless cases of shoddy care…
> do note that youtube is heavily censoring low carb stuff since "it's not mainstream approved" lol By "not mainstream approved" you mean it's largely discredited and confined to quacks and charlatans online. Outside of…
[The original paper which introduced Monads to Haskell](https://www.microsoft.com/en-us/research/wp-content/uploads/...) is a fantastic read, and extremely easy to understand. It explains clearly why monads are a good…
Game of Thrones is medieval fantasy, and as the second-biggest medieval fantasy series of all time it will have a significant impact on people's perception of the medieval time period. I think that claim is pretty…
> extremely elastic view of “like medieval Europe”. No. Westeros is based on medieval Europe, culturally, politically, and historically. Obviously it's fiction, well done on spotting that, but it's a fictionalised…
> There are question begging, conclusion jumping and tenuous leaps of logic in the blog. Point out a single specific example of any of those things in the article, please. > Does GRRM truly encourage this view? The…
I never said we should hold fiction to the same standards as non-fiction, that's obviously silly. I said that critiquing works of fiction like GoT from a historial perspective is fun, interesting, educational, and…
The article clearly motivates the criticism, and explains why it's valid to critique the books from a historical perspective. * GRRM has made claims regarding the relation of the Dothraki to real-life cultures. It's in…
> Not all branches of pure mathematics are equally worthy of study. Ok? What does this have to do with the point I was making? My point was, pretty simply, that "usefulness" is not the only thing we consider when…
> You wrote that "Learning any mathematics is a complete waste of time." Yes, I was being facetious. My point is that by whatever measure pure maths is worth studying (i.e. those measure beyond "practical" applications)…
It’s pretty annoying to comment “this thing was already present in CL 30 years ago”, then to have someone correct you (pointing out that this is a common misconception, and algebraic effects are not equivalent to…
There's no (practical) advantage to the circular implementation; it's just a curiosity. It is useful for understanding laziness and some interesting theoretical tools for traversing data structures, though. For a more…
I'm afraid I don't think I'm making progress here. My overall point was that I felt your original comment was a little confused about algebraic effects. You seemed to think that the "algebra" in "algebraic effects"…
> that's my understanding of why these things are called 'algebraic' effects. This is a misconception. Algebraic effects are not algebraic because they come from algebraic data types, the two features are completely…
Well, I gave the example of a logging effect above. In the post there’s also an example of a key-value store effect. What’s missing from these examples exactly? All of these effects have simple operations (get and put…
For an algebra, you have some operations and some equations. The group algebra has the + operation, and 0 and -, and all the relevant equations. You can also form an algebra from logging. One operation might be “write…
I mean, the program snippet that I gave above contains 3 first-class values. If you write `x = y + z + 0`, or any other statement that uses the group algebra (or any other algebra), you can use algebraic effects to…
> I'd assume "algebraic effects" are to talk about performing algebra on the effects. That is, you are specifically going to talk about how different things combine effects This is a misconception. The "algebra" does…
Generally speaking, it means that the effect is derived from an algebraic theory (in a specific and structured way). While equations are definitely part of most theories, you can absolutely have a theory without…
I'm just recommending the writeup, but only because I haven't watched the lecture series myself (although I'm sure it's good, I've seen other lectures by the lecturer that were excellent). As far as I know, they cover…
> For one, if algebraic isn't aiming at the ideas in an algebra, then they absolutely should be using a different name. Algebraic effects are certainly algebraic, they're just not directly related to algebraic data…
The "algebraic" in "algebraic effects" is not really related to algebraic data types, or sum or product types. I mean, I suppose they're related, since they both refer to algebra in the general sense, but there's no…
I would encourage anyone interested in this question to check out the paper "What is algebraic about algebraic effects and handlers?" (https://arxiv.org/abs/1807.05923) which is a write-up of the lecture series linked…
> F* is a programming language with proof support. Lean/Coq are theorem providers that can be used to model and generate code. Lean is also a programming language with proof support. It is very much in the same category…
No there are not. There are studies in mice (like this one), studies in vitro, etc. > There's limited interest in it though because most of those things simply have no profit potential This is not true. There is a lot…
> if you ever read the cases of people being harmed by their doctors advice and getting healed by going opposite to their doctors advice you would never have said such a thing. There are countless cases of shoddy care…
> do note that youtube is heavily censoring low carb stuff since "it's not mainstream approved" lol By "not mainstream approved" you mean it's largely discredited and confined to quacks and charlatans online. Outside of…
[The original paper which introduced Monads to Haskell](https://www.microsoft.com/en-us/research/wp-content/uploads/...) is a fantastic read, and extremely easy to understand. It explains clearly why monads are a good…
Game of Thrones is medieval fantasy, and as the second-biggest medieval fantasy series of all time it will have a significant impact on people's perception of the medieval time period. I think that claim is pretty…
> extremely elastic view of “like medieval Europe”. No. Westeros is based on medieval Europe, culturally, politically, and historically. Obviously it's fiction, well done on spotting that, but it's a fictionalised…
> There are question begging, conclusion jumping and tenuous leaps of logic in the blog. Point out a single specific example of any of those things in the article, please. > Does GRRM truly encourage this view? The…
I never said we should hold fiction to the same standards as non-fiction, that's obviously silly. I said that critiquing works of fiction like GoT from a historial perspective is fun, interesting, educational, and…
The article clearly motivates the criticism, and explains why it's valid to critique the books from a historical perspective. * GRRM has made claims regarding the relation of the Dothraki to real-life cultures. It's in…
> Not all branches of pure mathematics are equally worthy of study. Ok? What does this have to do with the point I was making? My point was, pretty simply, that "usefulness" is not the only thing we consider when…
> You wrote that "Learning any mathematics is a complete waste of time." Yes, I was being facetious. My point is that by whatever measure pure maths is worth studying (i.e. those measure beyond "practical" applications)…