← All posts tagged бы

voice-of-lolks

Джуйк, а если бы вот такая[1] штука была в нормальном языке, вышло бы что-то интересненькое, как думаешь?

Навскидку, если у нас предикаты возвращают вместо бездушных boolean'ов свои же собственные аргументы, то

1) это удобно использовать в конкатенативных языках. Вместо `dup foo?` — просто `foo?`. Значение никуда не теряется.

2) можно прифигачивать к типу возвращаемого значения имя предиката: `foo? : (t -> t & foo?)`, и из этого выйдет какой-то occurence typing, или что-то такое... да?

3) если у какого-нибудь например списка захочется чекнуть например head, то придется этот список uncons'ить, а потом cons'ить обратно, и вообще ад. Ну, это в конкатенативных, да.

[1]: en.wikipedia.org
А еще cs.arizona.edu и даже cs.arizona.edu