NL
red75prime
Не проще свой препроцессор написать? С рекурсией и гигиеной
Хотя нет. Лучший препроцессор пожалуй — это функциональный интерпретируемый язык, с хорошими абстракциями, легковесным синтаксисом и достаточным количеством сахара.
Size: a a a
2021 January 21
H
Хотя нет. Лучший препроцессор пожалуй — это функциональный интерпретируемый язык, с хорошими абстракциями, легковесным синтаксисом и достаточным количеством сахара.
+
таким и стараюсь сделать эпилепсию
таким и стараюсь сделать эпилепсию
H
по сути осталось немного тестов и доки написать
H
и всё можно релизить
H
я заметил что эпилепсия это некоторого рода наркотик для меня. когда я ее не пишу, то впадаю в меланхолию, все кажется тусклым
H
а когда занимаюсь ею то словно в другом мире..
H
аккермана упростил кстати вчера
H
патмат для целых чисел
p
Она сложная в плане того, что она ломает всё остальное
В идрисе, например, вывод типов работает через жопу. Чаще не работает, чем работает
В идрисе, например, вывод типов работает через жопу. Чаще не работает, чем работает
Он работает норм
p
Не работает глобальный вывод типов только
p
Но он и в расте не работает
p
Топдекларации-то хрен с ними. В идрисе вывод типов ломается просто везде, приходится the на the писать
Нет
r
В расте он не работает по идеологическим причинам
p
А это уже и не важно
p
только там трейты это не констрейнты, а настоящие типы с множествами значений, а комбинация типов -- пересечение множеств значений поэтому
превращается в
где & это то самое перксечение типов, значит v это переменная значение которой должно быть валидным и в трейте A, и B, и C
fn myfunc<T: A + B + C>(v: T);превращается в
fn myfunc(v: A & B & C);где & это то самое перксечение типов, значит v это переменная значение которой должно быть валидным и в трейте A, и B, и C
Эх а в расте так нельзя потому что тут боксы не любят
r
Не работает глобальный вывод типов только
Что-то я в этом сомневаюсь. Неразрешимость вывода системы типов вроде как только глобальной не бывает.
а
А это уже и не важно
Важно потому что мы не знаем запрщает ли растовая система типов глобальный вывод
а
мы не узнаем пока не попробуем его реализовать, пока никто не пробовал
s
В расте и локальный вывод не всегда работает.
p