deniok: (Default)
Сегодня на LtU ссылка на статью Recycling Continuations, Jonathan Sobel and Daniel P. Friedman. ICFP 1998. Сделано на LISP, но при беглом взгляде очень похоже на зипперы. Хотя, возможно, это обманчиво...

Надо не забыть попозже разобраться.
deniok: (удивлён)
Зиппер для алгебраической структуры находится дифференцированием типа этой структуры.

Охренеть!

Profile

deniok: (Default)
deniok

April 2017

S M T W T F S
      1
23 45678
9101112131415
16171819202122
23242526272829
30      

Syndicate

RSS Atom

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 25th, 2017 02:53 pm
Powered by Dreamwidth Studios