AK
Но это упрощение жизни компилятору в обмен на удобство пользователя
Возможность использовать юникод в комментариях или строковых литералах необходима, а вот в идентификаторах - для меня это неочевидно
Size: a a a
2020 January 04
AH
Возможность использовать юникод в комментариях или строковых литералах необходима, а вот в идентификаторах - для меня это неочевидно
А как дсл делать? Бухгалтера на 1С будут страдать!
AK
А как дсл делать? Бухгалтера на 1С будут страдать!
Им по статусу положено страдать
AH
Им по статусу положено страдать
Но есть и другие люди. Операторы ГЭС например
AH
Или программисты ЧПУ
PS
Да, в некоторых случаях юникод очень полезен. Вот фрагмент из моего недавнего кода:
[(eval (apply pat) (term_1 σ_1) Succ (term_2 σ_2))
(where σ_3 (insert x term_2 σ_2))
-------------------------------------------------- "let_1"
(step (let x pat) (term_1 σ_1) Succ (term_2 σ_3))]
Dv
Возможность использовать юникод в комментариях или строковых литералах необходима, а вот в идентификаторах - для меня это неочевидно
В любом матановом коде людям очень удобно использовать греческий
AH
Ну короче, дсл должен быть понятным юзеру, а не компилятору.
E
потом пытаешься подредактировать код за этими греками-извращенцами и не знаешь как
AK
Но есть и другие люди. Операторы ГЭС например
Что мешает им переводить термины или хотя бы использовать транслит?
Dv
Что мешает им переводить термины или хотя бы использовать транслит?
Транслит супер ущербно выглядит :)
AH
Что мешает им переводить термины или хотя бы использовать транслит?
Непонимание зачем! Ну и правда зачем? Потому что кто-то поленился при написании компилятора/транслятора дсл сделать идентификаторы в юникоде?)
PS
Можно не использовать юникод, а использовать LaTeX-нотацию, такое тоже используется (Fortress, TLA+...).
Dv
Можно не использовать юникод, а использовать LaTeX-нотацию, такое тоже используется (Fortress, TLA+...).
Из-за этого код на TLA+ мне показался на редкость уродливым. К нему специальный рендер потом приходится тащить :)
PS
Из-за этого код на TLA+ мне показался на редкость уродливым. К нему специальный рендер потом приходится тащить :)
А разве это нельзя решить на уровне IDE? :)
Dv
Прям эталон подхода «код для машины, а не для человека»
AK
Транслит супер ущербно выглядит :)
Все же лучше, чем смесь английского и бог весть какого еще
Dv
А разве это нельзя решить на уровне IDE? :)
Можно, конечно, так и решают. Но код читают не только в IDE: например, на гитхабе
Dv
Или в диффах там где-нибудь гитовых
PS
Можно, конечно, так и решают. Но код читают не только в IDE: например, на гитхабе
Тогда, Вам, наверное, и подход literate programming, да и сам TeX не нравятся :)