K
Size: a a a
Типы в языках программирования, моделирования, представления знаний и жизни
505 membersпожаловаться на группу
2021 November 14
K
И ещё она делает тяжёлое деление при каждом чтении
gо
почему сразу UB
питоновский
питоновский
list.get определён всегда, например, независимо от того, есть ли в массиве нужный индексs
Ну если ты пытаешься индексировать так в C, то да, уб.
gо
это вполне well-defined behaviour,
.get() возвращает Optional[T]s
Ну так не надо на С писать.
AC
Да, именно программ. Для языков в целом доказывают метатеоремы типа type soundness.
gо
Pony умеет отличать программы, в которых нет* дедлоков
*там всё не очень гладко с этим утверждением
*там всё не очень гладко с этим утверждением
gо
ZZ умеет отличать программы, в которых нет UB с точки зрения семантики C
KR
SFINAE - это точно кривой, неполный и не чистый term rewriting. 😉
Болгары очень любили рассуждать про template metaprogramming, и написали пару компиляторов с чистых функциональных языков в meta-C++.
Один из этих языков - eClean (подмножество Clean, увы - было бы крайне занятно посмотреть на реализацию unique типов, но про неё они упомянули лишь вскользь).
А ещё есть компилятор почти Хаскеля 98 в meta-C++ - MetaFun.
https://gergo.erdi.hu/projects/metafun/
Болгары очень любили рассуждать про template metaprogramming, и написали пару компиляторов с чистых функциональных языков в meta-C++.
Один из этих языков - eClean (подмножество Clean, увы - было бы крайне занятно посмотреть на реализацию unique типов, но про неё они упомянули лишь вскользь).
А ещё есть компилятор почти Хаскеля 98 в meta-C++ - MetaFun.
https://gergo.erdi.hu/projects/metafun/
ДК
У вас не будет дедлоков, если не будет локов.
K
Да, STM например является lock-free
ДК
Но не wait-free, а значит может быть ливлок.
А⚙
Я не понимаю тут семантику оператора, заданного вертикальной чертой
s
2|↕5
⟨ 0 1 0 1 0 ⟩
⟨ 0 1 0 1 0 ⟩
А⚙
Ох. И что, эту идиому действительно используют?