Peter Griffin (a character from Family Guy, an inappropriate show that I have not watched) explains monads (most well known as a Haskell typeclass). This meme (viral Internet phenomenon) made me ROFL (roll on floor laughing)! Original content, based on the style of "ironic" memes on r/explainitpeter:
In Hackers and Painters (http://www.paulgraham.com/hp.html), Paul Graham separates hackers and mathematicians as separate cultures grouped together under "computer science." Do you think that hackers and mathematicians are inherently distinct?
I'm asking this because nowadays, I find myself more interested in the intersection of math and computer science, and I wonder if I'm still a hacker. However, I still agree with hacker philosophy.
(I do not in any way call myself a "mathematician;" I'm...
OCaml 4.08.0+beta1 is out the door; testing and bug reports most welcome! https://discuss.ocaml.org/t/ocaml-4-08-0-beta1-release/3325/2
For the library's API:
Do you prefer the name "Abstract_syntax" or "Signature" for the description of the sorts and symbols of the language?
Do you prefer the name "Concrete_syntax" (if I go with "Abstract_syntax") / "Syntax" (if I go with "Signature") or "Grammar" for the concrete syntax of the language?
I refer to both the function symbols of the signature and terminal / nonterminal symbols of the grammar as "symbol." They are in different namespaces, but still, this is confusing. (cont.)
Okay, I'm writing a general library for making block-based languages (like Scratch and Snap!). Think Blockly, but I want it to be informed by math.
I want to separate the abstract and concrete syntax of logics, so there can be many concrete syntaxes associated with one abstract syntax.
Doing my research, the equivalent of a block shape in Scratch/Snap!/etc is a "sort" in logic, and the equivalent of a block is a constant, function symbol, or predicate symbol. (cont.)
My first blog post: https://theaspiringhacker.gitlab.io/posts/why-i-love-type-theory.html