Size: a a a

ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)

2020 June 25

w

welcometotheclubbudd... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Oleg ℕizhnik
Ну ковэлью, секвенции
Важно!
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
RattenK 🍄🐀🌹
А теперь глупый вопрос - что такое ковыражение? Гугл выдал про гены шото, а интуитивное определение как «противоположное выражению» делает стейтмент
Грубо говоря, если терм - это какая-то хреновина из применений функций, потребляющая ссылки на свободные переменные, производящая значение.
То котерм - это хреновина из коприменений (вложений) кофункций (экстракторов), потребляющая ковыражение (матчащееся значение) и производяща, ссылки на свободные копеременные ( заматченные привязанные имена )
источник

AT

Aλeksei Tereχin in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Типа если есть 3 то это можно будет матчить как 1+2?
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Т.е. в сильно дуальном языке нет причин, чтобы язык паттернов не  был так же богат, как язык просто значений и функций
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Aλeksei Tereχin
Типа если есть 3 то это можно будет матчить как 1+2?
Ну например
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Мало того при инлайнинге такие коприменения (матчинги) с такими применениями можно будет взаимоуничтожать
источник

R

RattenK 🍄🐀🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Oleg ℕizhnik
Грубо говоря, если терм - это какая-то хреновина из применений функций, потребляющая ссылки на свободные переменные, производящая значение.
То котерм - это хреновина из коприменений (вложений) кофункций (экстракторов), потребляющая ковыражение (матчащееся значение) и производяща, ссылки на свободные копеременные ( заматченные привязанные имена )
Спасибо, люблю-целую. В итоге ко-* это обратная сторона дуального процесса, а не отрицание, да?
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Эта идея в упрощённой форме была вмержена в хаскель под именем join-points
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Благодаря которой можно не аллоцировать вообще данные, если конпелятор видит, что они скоро будут матчиться
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
RattenK 🍄🐀🌹
Спасибо, люблю-целую. В итоге ко-* это обратная сторона дуального процесса, а не отрицание, да?
Ну можно и так сказать
источник

P

Pavel in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
секунду назад открыл глаза, а уже шарю за ковыражения
источник

P

Pavel in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Oleg ℕizhnik
Благодаря которой можно не аллоцировать вообще данные, если конпелятор видит, что они скоро будут матчиться
а как это может работать? где эти данные будут?
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
RattenK 🍄🐀🌹
Спасибо, люблю-целую. В итоге ко-* это обратная сторона дуального процесса, а не отрицание, да?
Козарплата
источник

R

RattenK 🍄🐀🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
ᛒᚨᚱᛏᛟᛋᛋᛟ
Козарплата
источник

ὦan in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
источник

R

RattenK 🍄🐀🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
ὦan
источник

(

( in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Pavel
а как это может работать? где эти данные будут?
заинлайнятся же
источник

P

Pavel in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
(
заинлайнятся же
а точняк
источник

LP

Luger Parabellum in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
источник

P

Pavel in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
источник