Вот список имеет вид 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) и…
On Understanding Data Abstraction, Revisited http://www.cs.utexas.edu/~wcook/Drafts/2009/essay.pdf Занятный легко читаемый обзор о том, как сильно…
Наконец-то нормальный язык подвезли. Там в описании прекрасно все: https://github.com/Storyyeller/IntercalScript Phantom values порадовали особенно.
Вот список имеет вид 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) и…
On Understanding Data Abstraction, Revisited http://www.cs.utexas.edu/~wcook/Drafts/2009/essay.pdf Занятный легко читаемый обзор о том, как сильно…
Наконец-то нормальный язык подвезли. Там в описании прекрасно все: https://github.com/Storyyeller/IntercalScript Phantom values порадовали особенно.
