What is GADT (Generalized Algebraic Data Types) in Haskell?
We assume that you are familiar with what we are doing without GADT. Say, for…
6 years ago
Demystifying the Type Declarations in C
The type declarations in C, restricted by C's long history, appears rather complicated in many…
7 years ago
An incident caused by an incorrect TypeScrpit type definition of Mongoose
The TypeScript type definition of Mongoose are not fully correct! I inspected (or debugged) a…
7 years ago
A random ride
After taking part in the discussion in preparation of the presentation for the course "British…
7 years ago
What are the stories/allusions behind these untranslatable words?
It seems that the picture is from tumblr. It was written in English, and became…
7 years ago
Reading Russian Lines of Cloud Atlas (4)
ОБЛАЧНЫЙ АТЛАС Острова Тихого Океана, 1849 год. Дело сделано, мистер Юинг, теперь сей контракт свят…
7 years ago
Reading Russian Lines of Cloud Atlas (3)
- Здравствуйте. - Ваш пропуск. Смотрю вы начеку? пропуск: pass, admission начеку: on the alert…
7 years ago
Quotes From Cloud Atlas (I)
Теперь я понимаю, что границы между шумом и звуком условный. Любые границы условный, и созданный, чтобы их…
7 years ago
Reading Russian Lines of ‘Cloud Atlas’ (2)
Вот тогда-то я и свёл знакомство с доктором Генри Гуссом, с человеком, который, как я…
7 years ago
Reading Russian Lines of ‘Cloud Atlas’ (1)
Тоскливая ночь. Обыватели печальный, ветер пробирает до костей. В нём я слышу...голоса. Это вой, вой…
7 years ago
A Quote From ‘Cloud Atlas’
На улице тяжёлый снег падал на шиферные крыши и гранитные стены. Подобно Солженицыну, томившемуся в…
7 years ago
Diary (Sep 4, 2010)
The book From Calculus to Cohomology by Madsen looks a nice book. Well, it's the…
7 years ago
How do we think?
When I say "apple" ,an apple will appear in your mind. You can understand it.…
7 years ago
A Testing Post
Human and Natural Disasters Human activities are largely involved in the formation of some natural…
7 years ago
Hello, World!
Welcome to Wordpress. This is your first article. Edit or delete it, and then start…
7 years ago