sgreben
No user record in our sample, but sgreben has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
No user record in our sample, but sgreben has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
Purely mechanically. Just writing down the problem statement we get: \exists f,g: \forall a,b: (f(b)=a) | (g(a)=b) where f,g are the guesses and a,b are the flips. Each guess is a function of the information available…
I'm not proposing this as a solution to the expression problem (which has actual solutions, as noted in the other comments [0] and elsewhere [1]). It is, however, an extremely simple way of implementing the table-style…
Sum types + exhaustiveness checking already do this, right? For this example: type animal = Cat | Dog type action = Sound | Eat | Attack let cat_sound () = printf "meow" let cat_attack () = printf "scratch" let…