Я думаю кандидатам очень сильно повезло, что они не попали к вам, и тем более, к вашему техлиду. Не забываем, что процесс интервью это двусторонний процесс, не только вы присматриваетесь к кандидату, но и кандидат к вам.
Насколько я понимаю они называются так потому что, если обозначить через | | операцию, которая возвращает количество возможных значений для некоторого типа A (|A|), то мы получим: - |A | B| = |A| + |B|, где A | B - это тип суммы; - |A B| = |A| * |B|, где A B - это тип произведения.
Буквально час назад @Hokum опубликовал статью на схожую тему, только в качестве рассматриваемых языков программирования выступают Scala, Go и C++. Если вам эта тема интересна, то думаю имеет смысл ознакомиться и с этой интересной статьей.
Тоже нахожусь в поиске. Нашелся опенсоурсный slidev на основе веб технологий. В бою не пробовал, но выглядит многообещающе. Слайды создаются из markdown. Есть подсветка синтаксиса, live coding, темы и стили, режим презентации, LaTeX, диаграммы, иконки, эмбеддинг vue компонентов и другое.
А по поводу elsie смущает, что нужно писать код на языке общего назначения и экспорт только в pdf? Выглядит не очень удобно. А как же интерактивность? Т.е. мне кажется это должен быть какой-то декларативный язык и при необходимости для задач анимации и реализации интерактивности была возможность делать вставки кода или на худой конец плагины.
Шансы получить каверзный вопрос на собеседовании увеличились вдвое
А можно уточнить какой каверзный вопрос имеется ввиду?
ведь теперь Record является супертипом Never и подтипом Object и dynamic. То есть тип Record ведёт себя примерно так же, как Function в системе типов Dart.
Never это Bottom тип, что по определению говорит о том, что он подтип всех остальных типов, в том числе и нового Record. Object, dynamic это Top тип, что по определению говорит - все остальные типы это их подтипы. Насколько я понимаю, тип Function не отличается в этом плане от остальных типов. По этому фраза:
тип Record ведёт себя примерно так же, как Function в системе типов Dart
звучит странно. Не понимаю почему тип Function как-то выделен. Все аналогично и другим типам int или String. Т.е. о чем весь этот пункт не совсем понятно. Ведь новый тип Record никак не выделяется (насколько я понимаю) в плане subtyping от остальных. Тогда для чего этот параграф вообще нужен? Можете прояснить? Может я упускаю какую-то деталь?
Как я понял, в большинстве случаев, Intellij Idea не виновата, так как они просто подключаются к Dart Analysis Server. Порой кажется, что в команде Dart не хотят что-либо улучшать. Не хочу никого оправдывать, но выходит, что IDE виновата только от части и это не отменяет проблем описанных в статье. Я бы, например, очень хотел бы, что бы локальные переменные или функции имели приоритет в выдаче, но мечтать не вредно. тыц
В статье речь шла о языковом плагине, который в свою очередь и использует Dart Analysis Server. К IDE претензий нет.
Да вот это было бы здорово. Возможно когда-нибудь в будущем это случится. Ведь все предпосылки для этого есть.
Виджеты пересобирать - норм работает же
Вот у меня не всегда, и мне проще просто не использовать, чем выяснять проблема в коде, или просто хот релоад не сработал.
Кстати, у Flutter есть такой интересный репозиторий, где они обсуждают как реализовать те или иные вещи. И в нём можно найти как они пришли к go_router.
А ведь раньше можно было зарегистрировать почту на домене xakep.ru. Потом правда был переезд с gmail на mail.ru. Интересно сейчас можно зарегистрировать новый аккаунт? Мой аккаунт все еще работает. Да и посей день используется как основной).
Также есть целая стопка бумажных журналов. Но непонятно что с ними делать?) С одной стороны настольгия, а с другой стороны они занимают ну очень много места...
Я думаю кандидатам очень сильно повезло, что они не попали к вам, и тем более, к вашему техлиду. Не забываем, что процесс интервью это двусторонний процесс, не только вы присматриваетесь к кандидату, но и кандидат к вам.
Насколько я понимаю они называются так потому что, если обозначить через
| |операцию, которая возвращает количество возможных значений для некоторого типа A (|A|), то мы получим:-
|A | B| = |A| + |B|, гдеA | B- это тип суммы;-
|A B| = |A| * |B|, гдеA B- это тип произведения.Например:
|Bool| = 2, а|Unit| = 1. Тогда|Bool | Unit| = 2 + 1 = 3;|Bool Unit| = 2 * 1 = 2.В Unity lua из коробки никогда не было (насколько мне известно). От поддержки js уже очень давно отказались.
Буквально час назад @Hokum опубликовал статью на схожую тему, только в качестве рассматриваемых языков программирования выступают Scala, Go и C++. Если вам эта тема интересна, то думаю имеет смысл ознакомиться и с этой интересной статьей.
Спасибо за статью. Интересно, что буквально вчера я опубликовал статью на эту же тему, только в других языках.
Тоже нахожусь в поиске. Нашелся опенсоурсный slidev на основе веб технологий. В бою не пробовал, но выглядит многообещающе. Слайды создаются из markdown. Есть подсветка синтаксиса, live coding, темы и стили, режим презентации, LaTeX, диаграммы, иконки, эмбеддинг vue компонентов и другое.
А по поводу elsie смущает, что нужно писать код на языке общего назначения и экспорт только в pdf? Выглядит не очень удобно. А как же интерактивность? Т.е. мне кажется это должен быть какой-то декларативный язык и при необходимости для задач анимации и реализации интерактивности была возможность делать вставки кода или на худой конец плагины.
А можно уточнить какой каверзный вопрос имеется ввиду?
NeverэтоBottomтип, что по определению говорит о том, что он подтип всех остальных типов, в том числе и новогоRecord.Object,dynamicэтоTopтип, что по определению говорит - все остальные типы это их подтипы. Насколько я понимаю, типFunctionне отличается в этом плане от остальных типов. По этому фраза:звучит странно. Не понимаю почему тип
Functionкак-то выделен. Все аналогично и другим типамintилиString. Т.е. о чем весь этот пункт не совсем понятно. Ведь новый типRecordникак не выделяется (насколько я понимаю) в плане subtyping от остальных. Тогда для чего этот параграф вообще нужен? Можете прояснить? Может я упускаю какую-то деталь?Вроде бы автором С++ всегда был Бьёрн Страуструп? Или я чего-то не знаю?
В статье речь шла о языковом плагине, который в свою очередь и использует Dart Analysis Server. К IDE претензий нет.
Да вот это было бы здорово. Возможно когда-нибудь в будущем это случится. Ведь все предпосылки для этого есть.
Вот у меня не всегда, и мне проще просто не использовать, чем выяснять проблема в коде, или просто хот релоад не сработал.
Интересно, спасибо! Почитаю.
Ну т.е. 10 + 10 = 00. Так?
У меня не появился( Можно объяснить, как предполагается это доказать?
Самое смешное, что у меня тоже в первую очередь в голову приходит неправильный вариант. И потом я себя исправляю. Почему так происходит непонятно)
Полиморфизм?
И мне если можно.
Bjarne Stroustrup.
Вообще хорошая идея: добавить теги (в том числе и “убийцы C”) и на их основе генерировать списки...
Широкий выбор) Например: C2, C3, C∀, Jai, Rio, V, Vale ну и другие.
Мне кажется haxe никогда не позиционировался как убийца C.
А ведь раньше можно было зарегистрировать почту на домене
xakep.ru. Потом правда был переезд с gmail на mail.ru. Интересно сейчас можно зарегистрировать новый аккаунт? Мой аккаунт все еще работает. Да и посей день используется как основной).Также есть целая стопка бумажных журналов. Но непонятно что с ними делать?) С одной стороны настольгия, а с другой стороны они занимают ну очень много места...
Я про `решения через ienumerable+yield `. Мне кажется лучше ответить здесь, т.к. это будет полезно не только мне).