Record of Mar. 28th, 2018
Facts about Bash/Dash/sh
- Arch Linux uses Bash(Bourne Again Shell) for POSIX shell (/bin/sh)
- When Bash is called with
sh, it tries to emulate the POSIX shell
- Dash is POSIX compatible, making it Bash incompatible.
Facts about of V-Table
In C++, the virtual table pointer is located in the head of the class instance.
The virtual table is a table of pointer to virtual(overridden or not) functions.
Therefore, to invoked these virtual methods, a mechanism called thunk(a jocular form of think) is needed. It means doing something before the actual function is called. And functional language relies largely on this mechanism.
Fact about Zeromq
- It is a distributed communication library.
- It sits on top of the TCP/IP layer, means the possibility is huge that it sends message by syscalls like
Facts about lttng
- Means Linux Tracing Tool, next generation
- In Artful repo, for older Ubuntu versions, go to ppa:lttng
- Can be used to trace syscall, or even user application(need to write code into the program)
babeltracecould be used to translate the file.
Facts about Ubuntu
- The life span of Zesty(17.04) has ended in Jan. 2018. Artful will meets its end in Jul. 2018.
- The life span of non-LTS versions is 9 months.
- 18.04 is called Bionic, will upgrade later
Facts about Opam
The package manager of OCaml. Not a kind of mineral.
Facts about type algebra
Refer to this page.
The type could be expressed in an algebra-like manner:
0: None type, there is 0 way to construct an empty type object
2: Two ways to construct the type, boolean type is an example: Sum type, the object of type could be either type a or type b, but not both, there are exactly ways to construct the object. Injection is used to construct an instance, if it is called an instance. : Product type, the object of type is a combination of an object of type a and one of type b. OCaml adopts this notation, an constructor applied to type is written as `Foo of a*b`.
And as a surprising yet unsurprising coincidence, the sum and product obey the rules:
For recursive types like the tree, which is
data Tree a = Leaf a | Branch (Tree a) (Tree a)
The formula is:
Therefore, we have:(Why choose the minus sign?)
Use Taylor series, we could obtain:
And the coefficients of a are Catalan numbers.
Zippers means we could turn the pocket inside out and focus on one element in a data structure, in a way that updating the focused element , as well as moving the focus around, takes time.
And we can focus on the holes of a type.has one hole of a has two holes of a, that is `data _, a` and `data a, _`
It is likened to partial differentiation, for example:
If means the hole numbers of a in t, and let the g of constant be zero, and g of other variables be one, then magic!
It can be applied to the list type:
data List a =  | Cons a (List a)
But the same thing could not be perfectly applied to the binary tree type.
Recall, we have the binary tree type:
data Tree a = Leaf | Branch a (Tree a) (Tree a)
Then the formula is:
The best I could get is about:, and the is a list of type .
According to LYAHFGG, the zipper of a binary tree should be something like this:
data Crumbs a = LeftCrumb a (Tree a) | RightCrumb a (Tree a)
It is easy to see that
Crumbs a has a type of and
BreadCrumbs a has a type of .
But wait! That gives rather than a in the numerator.
Maybe we’ve just started wrong, like, we took the wrong differentiation.
That would be left for future investigation.
PEBKAC (Problem Exists Between Keyboard And Chair) is the word that describes user error.