АГ
Будем ждать!
Size: a a a
2020 May 25
ХЛ
в теории типов такими скобками тоже семантику обозначают ;)
Хм
ХЛ
Ну, формальная логика – это один из видов языка
ХЛ
Так что, не удивительно.
MK
Ну, формальная логика – это один из видов языка
да
MK
Так что, не удивительно.
"не удивительно" ты хотел сказать?
JS
Видосик явно в лучшем качестве, а что за фигня с ютубом не знаю...
возможно, не все варианты сразу доступны
ХЛ
"не удивительно" ты хотел сказать?
Да
JS
возможно, не все варианты сразу доступны
он же транскодит в разные разрешения
L
возможно, не все варианты сразу доступны
Хорошо, тогда подожду. Спасибо
YS
Видосик явно в лучшем качестве, а что за фигня с ютубом не знаю...
Проделки академиков!
JS
Хорошо, тогда подожду. Спасибо
со временем появилось качество?
Y
кстати, в Хаскеле, если покопать, можно найти довольно разнообразные скобки — ⦇банановые⦈, 〖линзовые〗 и ⟦конвертиковые⟧
UnicodeSyntax? :)
JS
UnicodeSyntax? :)
нет, это из пэйперов. псевдоконвертовые для цитат пишутся [|вот так|]
JS
UnicodeSyntax? :)
да, UnicodeSyntax включает некоторые из них https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#unicode-syntax
JS
А банановые вкладываются в линзовые?
читайте источник https://maartenfokkinga.github.io/utwente/mmf91m.pdf
L
А качество будет получше? Оно еще обрабатывается?
Кажется Юра был прав и видосик теперь доступен в качестве получше