w
Ну ковэлью, секвенции
Важно!
Size: a a a
2020 June 25
Oℕ
А теперь глупый вопрос - что такое ковыражение? Гугл выдал про гены шото, а интуитивное определение как «противоположное выражению» делает стейтмент
Грубо говоря, если терм - это какая-то хреновина из применений функций, потребляющая ссылки на свободные переменные, производящая значение.
То котерм - это хреновина из коприменений (вложений) кофункций (экстракторов), потребляющая ковыражение (матчащееся значение) и производяща, ссылки на свободные копеременные ( заматченные привязанные имена )
То котерм - это хреновина из коприменений (вложений) кофункций (экстракторов), потребляющая ковыражение (матчащееся значение) и производяща, ссылки на свободные копеременные ( заматченные привязанные имена )
AT
Типа если есть 3 то это можно будет матчить как 1+2?
Oℕ
Т.е. в сильно дуальном языке нет причин, чтобы язык паттернов не был так же богат, как язык просто значений и функций
Oℕ
Типа если есть 3 то это можно будет матчить как 1+2?
Ну например
Oℕ
Мало того при инлайнинге такие коприменения (матчинги) с такими применениями можно будет взаимоуничтожать
R
Грубо говоря, если терм - это какая-то хреновина из применений функций, потребляющая ссылки на свободные переменные, производящая значение.
То котерм - это хреновина из коприменений (вложений) кофункций (экстракторов), потребляющая ковыражение (матчащееся значение) и производяща, ссылки на свободные копеременные ( заматченные привязанные имена )
То котерм - это хреновина из коприменений (вложений) кофункций (экстракторов), потребляющая ковыражение (матчащееся значение) и производяща, ссылки на свободные копеременные ( заматченные привязанные имена )
Спасибо, люблю-целую. В итоге ко-* это обратная сторона дуального процесса, а не отрицание, да?
Oℕ
Эта идея в упрощённой форме была вмержена в хаскель под именем join-points
Oℕ
Благодаря которой можно не аллоцировать вообще данные, если конпелятор видит, что они скоро будут матчиться
Oℕ
Спасибо, люблю-целую. В итоге ко-* это обратная сторона дуального процесса, а не отрицание, да?
Ну можно и так сказать
P
секунду назад открыл глаза, а уже шарю за ковыражения
P
Благодаря которой можно не аллоцировать вообще данные, если конпелятор видит, что они скоро будут матчиться
а как это может работать? где эти данные будут?
ᛒ
Спасибо, люблю-целую. В итоге ко-* это обратная сторона дуального процесса, а не отрицание, да?
Козарплата
(
Pavel
а как это может работать? где эти данные будут?
заинлайнятся же
P
заинлайнятся же
а точняк
