Beto O'Rourke's issues page is filled with general statements, but no detailed policy. This aspect relates to the criticisms that he is all personality and fluff and has no clear policies. In the debates, I wonder whether O'Rourke will give policy details or have nothing of substance to say.
Programming languages with tuple types are convenient because you don't have to define a new struct or class just to return some data from a function.
IMO this is similar to the benefit of anonymous functions, in which you don't need to define a named function just to pass a callback to something else.
Maybe we should call tuple types anonymous product types?
#OCaml 4.08.0 released: https://github.com/ocaml/ocaml/releases/tag/4.08.0
https://www.gq.com/story/radiohead-ransom-extinction-rebellion Look at this libel! The media never get the terminology right. I oughta sue!
The second reference in this article (https://en.wikipedia.org/wiki/Outline_of_algebraic_structures) is a book by Saunders Mac Lane and another author, but the other author's name is replaced by a line. What does this mean?
I've set up my blog (with one post!).
You can find it here: https://no-learns.neocities.org/
Please don't say you are "lazy"
Datte hontou wa *non-strict*
I would like to implement #Agda-style mixfix operators, but I don't understand the way that Agda resolves operators.
data T : Set where
t : T
_+_+_ : T -> T -> T -> T
t + t + t = t
_+_ : T -> T -> T
t + t = t
x : T
x = t + t + t
How does Agda decide which operator to use?
Mugi says gay rights
Shame on Jane Street for using the word "ML" this way! I had expected much better from this company!