-
2023-02-01 20:32:14+00:00
Спс, только что нашёл что динаическая типизация была до версии 2.0
-
2023-02-02 17:09:40+00:00
вот они, умные компиляторы
-
2023-02-06 16:22:06+00:00
Adam Chlipala пошёл дальше и формализовал ACL-ы в своём подмножестве SQL 😊
http://adam.chlipala.net/papers/UrFlowOSDI10/UrFlowOSDI10.pdf
-
2023-02-07 11:45:40+00:00
#vacancy #remote #compiler #cpp #vm #gamedev
Position: C++ Senior Software Programmer
Company: Gaijin
Location: #remote #Hungary #Cyprus #Germany #Dubai #Montenegro #Latvia #Armenia #Georgia
Employment: full-time contract/part-time contract
Salary: от 6 300 euro gross
Всем привет!
Gaijin – международная геймдев компания.
Нам нужен C++ Senior Software Programmer с значимым опытом разработки интерпретируемых языков программирования, компиляторов и виртуальных машин.
Чем предстоит заниматься:
Работа над языком Quirrel ( https://github.com/GaijinEntertainment/quirrel )
Наш кандидат:
- Опыт разработки интерпретируемых языков программирования, компиляторов и виртуальных машин от 5 лет;
- Знание С++;
- Опыт разработки парсеров, компиляторов и виртуальных машин;
- Обладает знанием английского языка не ниже уровня - intermediate;
- Обладает системным мышлением и высокой степенью самоорганизации.
Будет плюсом:
- Опыт разработки Garbage Collector, stack based VM и register based VM и статических анализаторов;
- Знание, опыт работы, а также разработки и понимания, как работают такие языки как Squirrel, JavaScript, Python, Wren, Lua.
Наше предложение финалисту:
- Работа в компании, сделавшей одну из самых популярных в мире игр;
- Уровень заработной платы определяем по результатам собеседования, минимум который предлагаем от 6 300 евро гросс;
- Нетривиальные задачи с использованием инновационных, перспективных технологий, что обеспечивает нашим решениям привлекательность и актуальность в быстро изменяющихся условиях IT-рынка;
- Международная команда, состоящая из сильных разработчиков;
- Компания предоставляет помощь в переезде в страны и офисы нашей компании/партнеров: Венгрия, Кипр, Германия, Дубай, Черногория, Латвия, Армения, Грузия;
- Формат работы:
полная или частичная занятость;
удаленный или гибридный (удаленка/офис);
гибкое начало рабочего дня;
- ДМС.
Контакт для CV: Alina @Alina_28282828 , alina@gaijin.team
-
2023-02-08 21:03:07+00:00
Да, я про побочные эффекты забыл
-
2023-02-09 17:49:12+00:00
Пока далеко не ушли, это чат про компиляторы, а не про C++. 😉
-
2023-02-10 06:56:14+00:00
Решил радовать в себя и начинать чтение в пятницу с утра с блогов по компиляции)
-
2023-02-11 00:17:37+00:00
https://borisbat.github.io/dascf-blog/
-
2023-02-12 17:38:18+00:00
Ещё вот ньюсгруппа comp.compilers
compilers.iecc.com
-
2023-02-14 16:09:10+00:00
Перед тем, как что-то проектировать, надо собрать требования. Вот там просто полный список. Естественно, большая часть пропускается.
Но некоторые вещи несколько неочевидны (были для меня), их легко пропустить.
-
2023-02-15 21:27:33+00:00
спасибо за пример 👍
-
2023-02-16 05:48:19+00:00
Как раз, наоборот. Хороших обзорных книг мало
-
2023-02-17 22:46:38+00:00
Так тут все просто, контрольное списывание уже готовых грамматик 😁
-
2023-02-18 23:00:19+00:00
😵💫
-
2023-02-19 10:07:26+00:00
а что такое pld чат?
-
2023-02-19 20:09:03+00:00
Это такая система аксиом.
Но я не настоящий сварщик, на таком уровне теорию множеств не изучал. Просто видел Френкеля на мерче паблика в ВК «Ёжик в матане»
https://ru.wikipedia.org/wiki/Система_Цермело_—_Френкеля?wprov=sfla1
-
2023-02-22 11:59:53+00:00
Посмотрите в @it_chats более подходящий чат или канал, пожалуйста.
-
2023-02-24 23:57:09+00:00
Очень туманно как-то. Сюда бы godbolt.
-
2023-02-25 15:36:54+00:00
я дописал компактный тайп-чекер для зависимых типов, который переиспользует функции из метаязыка и помещается в 80 строк OCaml: https://gist.github.com/Hirrolot/27e6b02a051df333811a23b97c375196
(в продолжение посту, который использовал first-order syntax)
-
2023-02-26 09:15:59+00:00
Брайант и О'Халларон, "Компьютерные системы: архитектура и программирование".