👨M
Где-то был недавно тред в тви вот про это все
Предпочитаю побазарить сам с сбой
Size: a a a
2020 February 25
ЗП
я могу верифицировать код на тайпскрипте, например залупу написанную с fp-ts
есть такая вещь как пруверы
ты пишешь формальный код, потом если этот код доказан и формален, ты применяешь такую штуку как экстрактор
это процесс, когда код из прувера дауншифтиться в формально доказанный код на скале, хаскель и прочих языках
ты пишешь формальный код, потом если этот код доказан и формален, ты применяешь такую штуку как экстрактор
это процесс, когда код из прувера дауншифтиться в формально доказанный код на скале, хаскель и прочих языках
ЗФ
> Монада - это просто предпучок в степени профунктора
ЗФ
это доказуемо?
ЗП
> Монада - это просто предпучок в степени профунктора
более чем)
ЗФ
есть такая вещь как пруверы
ты пишешь формальный код, потом если этот код доказан и формален, ты применяешь такую штуку как экстрактор
это процесс, когда код из прувера дауншифтиться в формально доказанный код на скале, хаскель и прочих языках
ты пишешь формальный код, потом если этот код доказан и формален, ты применяешь такую штуку как экстрактор
это процесс, когда код из прувера дауншифтиться в формально доказанный код на скале, хаскель и прочих языках
вау пруверы? никогда не слышал
ЗП
и самое интересное комонада это произведение предпучка и профунктора
ЗП
харе троллить
ЗФ
ничего что мы с них начали разговор?
M
есть такая вещь как пруверы
ты пишешь формальный код, потом если этот код доказан и формален, ты применяешь такую штуку как экстрактор
это процесс, когда код из прувера дауншифтиться в формально доказанный код на скале, хаскель и прочих языках
ты пишешь формальный код, потом если этот код доказан и формален, ты применяешь такую штуку как экстрактор
это процесс, когда код из прувера дауншифтиться в формально доказанный код на скале, хаскель и прочих языках
а хто буде доказувати що мій пруф правильний?
M
і що прувер не баганий
ЗФ
харе троллить
не бомби, если не можешь обьяснить, не начинай, и не уводи разговор в предпучки
NK
How are you?
ЗФ
ID:941553112
How are you?
братае, де быстрые выплаты?
ЗФ
ясно, бан
ND
братае, де быстрые выплаты?
там где высокие коэффициенты
v
Всегда, кстати. Как и все люди в целом. Хотя не понятно, что слышат глухие
я не слышу
👨M
братае, де быстрые выплаты?
У нас в клубе
ЗФ
там где высокие коэффициенты
та вижу шо ты не бот, и всегда подкинешь пацанам варик
ND
та вижу шо ты не бот, и всегда подкинешь пацанам варик
а я тебе еще не кидал свою реферальную ссылку?