Viewing profile — oisdk

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 algebra…

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 traversin…

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 th…

> 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 typ…

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 effect…

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 l…

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)…

> 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…

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 a…

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 exc…

> 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 …

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 i…

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 …

> 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 suppor…

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 poten…

> 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. The…

> 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 q…

[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…

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 per…

> 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 spotti…

> 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 G…

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 f…

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 D…

> 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…

> 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 m…