Giulio Canti

@rpominov IMO without a formal definition of "equivalent" is hard to settle this kind of problems. Given the current informal definition: ## Terminology 1. "value" is any JavaScript value, including...

Basically it would mean to define a suitable equivalence relation. In static-land there is `Setoid` which represents equivalence relations. Maybe the spec should include a `(Setoid a) =>` constraint when...

> if we have two tasks that we consider equivalent, we should be able to replace one with the other and get the same program Actually you get the same...

> But from that standpoint **f =** (x, y) => x + y and **g =** (x, y) => x * y are also the same programs IMO it always...

> If A and B here are types, and say we substitute them with number, does this mean that a and b are equivalent if they both produce numbers, even...

@puffnfresh If `g` is pure and `a = g(), b = g()` then we should have `a ≡ b`. But `a` and `b` are functions so they are equivalent if...

@puffnfresh in my mental model the domain is `Void` (or `Unit` or how else we want to call the initial object) ``` g: Void -> IO ``` In order to...

@puffnfresh Ah yes sorry, I wrote "initial" instead of "terminal", I don't mean the empty type (for example in Flow would be the type `empty`), but the unit type, i.e....

> Still no state management solutions. This is the elephant in the room. I'm looking for solutions to the problems that modern SPAs must face but what I find is...

@clearjs Yes I follow @gaearon and his article is like water in the desert. In particular I find valuable: - the series of real world use cases - the reference...