(сам внезапно набирающий популярность ответ здесь)
-
Overly algebraic
Вот список имеет вид data List a = Nil | Cons a (List a) т.е. F(x) = 1 + x * F(x) а значит F(x) - x * F(x) = 1 (1-x) * F(x) = 1 F(x) = 1 / (1-x) и…
-
Abstract Data Types vs. Objects
On Understanding Data Abstraction, Revisited http://www.cs.utexas.edu/~wcook/Drafts/2009/essay.pdf Занятный легко читаемый обзор о том, как сильно…
-
IntercalScript
Наконец-то нормальный язык подвезли. Там в описании прекрасно все: https://github.com/Storyyeller/IntercalScript Phantom values порадовали особенно.
- Post a new comment
- 16 comments
- Post a new comment
- 16 comments
-
Overly algebraic
Вот список имеет вид data List a = Nil | Cons a (List a) т.е. F(x) = 1 + x * F(x) а значит F(x) - x * F(x) = 1 (1-x) * F(x) = 1 F(x) = 1 / (1-x) и…
-
Abstract Data Types vs. Objects
On Understanding Data Abstraction, Revisited http://www.cs.utexas.edu/~wcook/Drafts/2009/essay.pdf Занятный легко читаемый обзор о том, как сильно…
-
IntercalScript
Наконец-то нормальный язык подвезли. Там в описании прекрасно все: https://github.com/Storyyeller/IntercalScript Phantom values порадовали особенно.
