DL
Да, чет реально двач какой-то
Сап, кложач, дело в том, что есть один тип
Size: a a a
2020 July 15
MB
Есть другие типы, но они мне не так нравятся, как этот тип
VL
Чот у меня дежавю
VL
Был уже гений, но совсем без софт скилов
VL
Вспомнил, в js underhood создатель какой то там библиотеки, он всю неделю в твиттере со всеми срался и до сих поо
VL
А еще был плоскоземельник
VL
Земля плоская?
MB
Нравится в тинькове?
VL
Из какой соты будешь?
MB
Я вообще без прикола спросил, ну да ладно..
MB
Сорян, а то у меня по анимэшным аватаркам уже реально начало складываться впечатление, что это в Тинькове такая тема
DL
Сорян, а то у меня по анимэшным аватаркам уже реально начало складываться впечатление, что это в Тинькове такая тема
Тян ков
AC
вот есть systemd, есть terraform, есть билдсистемы, есть диай - они все прекрасно описываются в терминах ациклических графов
А что в кложе ациклические графы запрещены?
AC
Я вообще плохо понимаю почему ациклический граф с топосортом и прочим должен обязательно быть реализован костылями через компилятор
AC
Типа во мы берём язык хуява и начинаем думать как нам через его синтаксис и интроспекцию выразить наш граф
AC
А⚙
assert(a != null) - тоже теорема
Лол, нет. Ну проверил ты, что a не null, а что ты дальше с этим будешь делать? Если ты передашь a в другую функцию, ей придётся снова это проверять
VL
2020 July 16
A
Кстати, что там с примером собственноручно написанного макроса?
A
Это еще недостаточно формально, но окей. Можно сделать определённый набор ассампшенов, формализовать модельку модель и таки доказать. Специалисты говорят, что недавно были пейперы на подобную тему, а я еще давно видел пейперы на похожую, но менее сложную, тему
С большим интересом почитал бы формальную спецификацию на HTTP. Можете поделиться ссылкой на статью?