@ Как я понимаю, call-by-name аргумент будет вычислен столько раз, сколько мы его будем использовать? Ну да, потому и by-name. Кстати, только что придумал как на implicit-конверсиях сделать by-need! Конечно, оверхед по производительности побольше чем в хаскеле, но по выразительности - нулевой!
no subject
Почему-то рассмешило.
@ Как я понимаю, call-by-name аргумент будет вычислен столько раз, сколько мы его будем использовать?
Ну да, потому и by-name.
Кстати, только что придумал как на implicit-конверсиях сделать by-need!
Конечно, оверхед по производительности побольше чем в хаскеле, но по выразительности - нулевой!