Size: a a a

Compiler Development

2020 April 02

МБ

Михаил Бахтерев in Compiler Development
Alexander Zaitsev
Похоже на попытку флуд развести
Может быть. Но идея в том, что в компиляторе много компонент, каждая может выдавать бред, верить самому себе нельзя, и имеет смысл побогаче обмазывать код assert-ами, чтобы выявлять проблемы, как можно раньше. Ошибки могут быть не только в типах и null-указателях :)
источник

А

Алексей in Compiler Development
Doge Shibu
Я вот видел ощутимое число проектов на статически типизированных языках за время своей карьеры, которые жили без тестов очень даже успешно.

Причем, по моему опыту, количество дефектов с наличием тестов не особо коррелировало.
ох, лучше уж тогда динамика
источник

DS

Doge Shibu in Compiler Development
Алексей
ох, лучше уж тогда динамика
По качеству и простоте поддержки, опять-таки среди проектов на которых я работал, они при этом всё равно были лучше, чем проекты на динамически-типизированных языках.
источник
2020 April 03

KR

K R in Compiler Development
Peter Sovietov
Есть определенная боязнь динамической типизации среди нового поколения разработчиков, которые выросли на C# и Java. Ну и о самих динамических языках у многих превратное представление, по не самым лучшим представителям. К тому же следует понимать, что дело static vs dynamic это не просто вкусовщина. Есть вещи, которые объективно реализуются, как минимум, с большими трудностями, и эти вещи свои для static, и для dynamic.

Ну и конечно в контексте чата основная проблема в том, что далеко не все спорщики видели, как красиво можно написать компилятор на динамическом ЯП :)
А можно пример?
источник

VK

Vladimir Kazanov in Compiler Development
Doge Shibu
Основная проблема динамически-типизированных языков - это проблемы с рефакторингом реальных кодовых баз на них.

Это выходит очень уж дорогим удовольствием, по сравнению со статически типизированными языками, причем даже по сравнению с далеко не самыми лучшими их представителями.
Этому спору лет больше, чем мне, кажется. Вот мне сразу вспоминаются две большие традиции языкотеоретиков и компилятороакадемиков: работающие в русле (динамических) Scheme и работающие с семейством (статически типизированных) ML. Интересно, что есть еще отдельно стоящие практики, с их Fortran/C/C++.

Ну я так, по мотивым персональных изысканий сужу, конечно, большая перспектива Петру виднее.
источник

λ

λoλdog in Compiler Development
А кто какие курсы знает по компиляторам ? А то бесплатный курс в стенфорде умер
источник

E

EgorBo in Compiler Development
вчера зашел на udemy, у них там типа скидки 90%, просто вбил compiler design, там выскочил курс за 70$ после скидки - 10
включаю превью курса, а там пакистанец показывает свои фотки на фоне боевого вертолета, рассказывает о себе -_-
источник

IJ

Igor 🐱 Jirkov in Compiler Development
EgorBo
вчера зашел на udemy, у них там типа скидки 90%, просто вбил compiler design, там выскочил курс за 70$ после скидки - 10
включаю превью курса, а там пакистанец показывает свои фотки на фоне боевого вертолета, рассказывает о себе -_-
Да, с курсами этими платными надо осторожнее. Видел на линкедин курс по Advanced C, который заканчивался на том, что рассказывали об указателях (!)
источник

ИЧ

Илья Чистяков in Compiler Development
Igor 🐱 Jirkov
Да, с курсами этими платными надо осторожнее. Видел на линкедин курс по Advanced C, который заканчивался на том, что рассказывали об указателях (!)
интересно что у них на базовом)
источник

EP

Evgeniy Partizan in Compiler Development
Igor 🐱 Jirkov
Да, с курсами этими платными надо осторожнее. Видел на линкедин курс по Advanced C, который заканчивался на том, что рассказывали об указателях (!)
И почем такой курс был?)
источник

ИЧ

Илья Чистяков in Compiler Development
EgorBo
вчера зашел на udemy, у них там типа скидки 90%, просто вбил compiler design, там выскочил курс за 70$ после скидки - 10
включаю превью курса, а там пакистанец показывает свои фотки на фоне боевого вертолета, рассказывает о себе -_-
это эпично, надо было заскринить
источник

KG

Katja Goltsova in Compiler Development
λoλdog
А кто какие курсы знает по компиляторам ? А то бесплатный курс в стенфорде умер
есть курс EPFL cs420.epfl.ch с выложенными lecture notes и заданиями (сейчас середина семестра, поэтому на сайте половина курса)
источник

IJ

Igor 🐱 Jirkov in Compiler Development
Evgeniy Partizan
И почем такой курс был?)
35 евро
источник

IJ

Igor 🐱 Jirkov in Compiler Development
источник

OS

Oleg Stotsky in Compiler Development
EgorBo
вчера зашел на udemy, у них там типа скидки 90%, просто вбил compiler design, там выскочил курс за 70$ после скидки - 10
включаю превью курса, а там пакистанец показывает свои фотки на фоне боевого вертолета, рассказывает о себе -_-
лол
источник

λ

λoλdog in Compiler Development
Katja Goltsova
есть курс EPFL cs420.epfl.ch с выложенными lecture notes и заданиями (сейчас середина семестра, поэтому на сайте половина курса)
Спасибо
источник

PS

Peter Sovietov in Compiler Development
Похоже, пора на github готовить wiki-страничку по курсам :)
источник

p

polunin.ai in Compiler Development
λoλdog
А кто какие курсы знает по компиляторам ? А то бесплатный курс в стенфорде умер
Как мне кажется курсы нужны людям которые не умеют программировать и не хотят ничего делать чтобы его понять. Для остальных есть книжки, и по компилятора из вроде достаточно
источник

PS

Peter Sovietov in Compiler Development
Katja Goltsova
есть курс EPFL cs420.epfl.ch с выложенными lecture notes и заданиями (сейчас середина семестра, поэтому на сайте половина курса)
Спасибо за ссылку! Кстати говоря, в EPFL есть и более интересный курс за авторством известного специалиста Tiark Rompf.
Очень хороший, современный материал: https://tiarkrompf.github.io/cs502/

У Rompf'а есть конспект лекций под названием Post-Modern Compiler Design. С него и стоит начать: https://www.cs.purdue.edu/homes/rompf/pmca/vol1/
Повторюсь — первоклассный материал.
источник

λ

λoλdog in Compiler Development
Peter Sovietov
Похоже, пора на github готовить wiki-страничку по курсам :)
Давно пора
источник