[
Ну как минимум это будет хаскельный код
Size: a a a
Типы в языках программирования, моделирования, представления знаний и жизни
505 membersпожаловаться на группу
2022 January 29
[
но, конечно, от обычной ду-нотации или тем более фунок он будет разительно отличаться
[
хотя я думаю, что на машинерии типа серванта можно придумать что-то, я думаю
ПС
триггернули воспоминание про статью, как мужики писали DSL для смарт-контрактов
https://serokell.io/blog/lorentz-implementing-smart-contract-edsl-in-haskell
https://serokell.io/blog/lorentz-implementing-smart-contract-edsl-in-haskell
[
Мне кажется, если существует какая-то крутая фигня, в итоге окажется, что серокелл это уже делали
Oℕ
а что такого крутого серокел делал в принципе
[
просто на каждую тему по статье найдётся
[
я излагаю внутреннее ощущение, а не объективную истину
Oℕ
не, я просто не слышал такого про серокел, думал обычная хаскельная галера, катающая в блог поделки своих текущих галеристов для повышения престижа
AC
> обычная хаскельная галера
До чего мы дожили! 🤣
До чего мы дожили! 🤣
[
не смогли избежать успеха
K
> обычная хаскельная галера
Я дожил до дня, когда это словосочетания обрело смысл, achivement unlocked
Я дожил до дня, когда это словосочетания обрело смысл, achivement unlocked
Oℕ
Не буду портить общий праздник уточнением, что "обычная" к слову "галера" без доп. уточнений относилось.
[
А я могу записывать опсем прямо на coq-е/lean-е и сразу доказывать?
Oℕ
так и делают обычно
Oℕ
ну создают упрощённый тип набора команд