ΑZ
все равно же давно собирался вроде
Size: a a a
2020 August 24
CD
могу посоветовать книжку по идрису все же почитать
так я перед глазами вижу повышение валидации типами
CD
я не могу выжать dependent из своего языка, но могу начать типизировать намного сильнее модели шарпа
CD
и если там условные strict type alias бесплатно обнаружат сложение ширины с высотой
CD
то, скажем, доказательства корректности некоторых утверждений за счет атомизации параметров очень интересная штука, потому что она требует расслаивать операции
EG
Какие-то базовые вещи из шарпа выжать, вроде как, можно
EG
Например, вектор в шарпе выразим
CD
например, если в дереве есть контекстно-зависимые элементы, почему одна сериализация контекстно-независимая?
CD
ну потому что в контекстно-зависимых элементах никогда не будет зависимости от контекста при этой сериализации
CD
покажи (== реализуй отдельно операцию, не используя контекст)
CD
все равно же давно собирался вроде
я собирался, потому что там могут быть еще бесплатные идеи
CD
монады бесплатны для плюсов
CD
могу посоветовать книжку по идрису все же почитать
идрис позволит мне нормально описать одной функцией два случая "используется параметр" и "не используется параметр"?
ΑZ
монады бесплатны для плюсов
основная польза монад от того чтобы эмбедить эффекты "сходили в базу"/"написали в консоль"
ΑZ
но в плюсах это не принято
CD
основная польза монад от того чтобы эмбедить эффекты "сходили в базу"/"написали в консоль"
или сконфигурировали весь вычислитель заранее
ΑZ
и даже если ты сам у себя решишь так писать, все либы так оборачивать будет долго и больно
ΑZ
или сконфигурировали весь вычислитель заранее
если я правильно понял что ты имеешь в виду это не или, а то же самое но другими словами
CD
CD
но в этой форме это как раз то, что бесплатно