b
молярная единица — пропозиция. мы знаем что с ними охуенно работают nlp трансформаторы
Size: a a a
2020 October 16
p
Про мать шлюха правда ? Серьёзно?
Ты скован своими моральными установками
EG
В большинстве языков не просто так столько пунктуации
b
Я просто пока совсем не понимаю, как синтаксис логоса не утопает в неоднозначностях при решении задач разработки
пиши просто однозначные вещи и дедуктору не будет проблем
b
В большинстве языков не просто так столько пунктуации
а почему?
EG
а почему?
Потому что иначе на практике ты утонешь в неоднозначностях.
Меньше всего «специальной» пунктуации в хаскелле, но там костыли вроде бэктиков и
Меньше всего «специальной» пунктуации в хаскелле, но там костыли вроде бэктиков и
infixrb
да в каких однозначностях
b
я тебе уже сказал модель это DAG
EG
В логосе нет правил ассоциативности, как я понял
EG
да в каких однозначностях
a and b and cb
если при дедукции пропозиции я нахожу цикл
EG
Это
(a and b) and cb
то мы ее не разбираем дальше
EG
Или
a and (b and c)?b
все.
p
Или
a and (b and c)?Это одинаковые выражения.
b
Это одинаковые выражения.
да пусть и одинаковые, мне в компайл–тайме не нужно это доказывать
EG
Это одинаковые выражения.
Парсер об этом знать не может.
b
дедуктор просто покажет что это неоднозначная пропозиция и покажет альтернативные варианты со скобками
b
автору предлагается выбрать подходящий в интерактивном режиме