В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Compiler Development

771 membersпожаловаться на группу
2019 December 29

K

Kir in Compiler Development
Вкусовщина, надо сказать. Я видел систему типов стекового языка, встроенную в систему типов хаскелля, и смог реализовать вот это (http://tunes.org/~iepos/joy.html#algorithm) без лома и такой-то матери только потому, что я ставил _ и компилятор говорил, объект какого типа должен быть вместо этой Typed Hole.
источник
21:42пожаловаться#1

PS

Peter Sovietov in Compiler Development
Михаил Бахтерев
Фейнман писал на Бейсике. Гидролинамику, кажется моделировал
У него, по сути, был симулятор параллельной машины на Бейсике.
источник
21:43пожаловаться#2

AV

Alexey Veselovsky in Compiler Development
Михаил Бахтерев
Фейнман писал на Бейсике. Гидролинамику, кажется моделировал
Это ж капец медленно!
источник
21:43пожаловаться#3

PS

Peter Sovietov in Compiler Development
Kir
Вкусовщина, надо сказать. Я видел систему типов стекового языка, встроенную в систему типов хаскелля, и смог реализовать вот это (http://tunes.org/~iepos/joy.html#algorithm) без лома и такой-то матери только потому, что я ставил _ и компилятор говорил, объект какого типа должен быть вместо этой Typed Hole.
В простом стековом языке один тип — cell :)
источник
21:44пожаловаться#4

K

Kir in Compiler Development
Этот стековый язык был строго типирован)
источник
21:44пожаловаться#5

E

Eugene in Compiler Development
Alexey Veselovsky
Это ж капец медленно!
Наверное, тогда особо выбирать было не из чего
источник
21:44пожаловаться#6

AV

Alexey Veselovsky in Compiler Development
Eugene
Наверное, тогда особо выбирать было не из чего
Фортран
источник
21:44пожаловаться#7

PS

Peter Sovietov in Compiler Development
Eugene
Наверное, тогда особо выбирать было не из чего
Шутите? Для CM были очень неплохие языки и компиляторы.
источник
21:45пожаловаться#8

E

Eugene in Compiler Development
Alexey Veselovsky
Фортран
Может его микроэвм не имела транслятора фортрана
источник
21:45пожаловаться#9

E

Eugene in Compiler Development
Peter Sovietov
Шутите? Для CM были очень неплохие языки и компиляторы.
СМ это что?
источник
21:45пожаловаться#10

PS

Peter Sovietov in Compiler Development
Просто Фейнман знал только Бейсик. И ему хотелось во всем дойти до самого фундамента. Поэтому и не просто программа, а симулятор для запуска программ.
источник
21:46пожаловаться#11

PS

Peter Sovietov in Compiler Development
Eugene
СМ это что?
Это легендарный суперкомпьютер Connection Machine.
источник
21:46пожаловаться#12

МБ

Михаил Бахтерев in Compiler Development
Kir
Вкусовщина, надо сказать. Я видел систему типов стекового языка, встроенную в систему типов хаскелля, и смог реализовать вот это (http://tunes.org/~iepos/joy.html#algorithm) без лома и такой-то матери только потому, что я ставил _ и компилятор говорил, объект какого типа должен быть вместо этой Typed Hole.
Что именно смогли реализовать? По тексту понятно только, что изобретена очередная КАМ.
источник
21:47пожаловаться#13

TS

Timur Safin in Compiler Development
Alexey Veselovsky
Модульность тоже не нужна. Достаточно того, как было в Паскале.
Так в виртовском паскале и не было модулей. Unit (вроде) это борландовское расширение, конечно же привнесено под влиянием модулы
источник
21:47пожаловаться#14

AV

Alexey Veselovsky in Compiler Development
Timur Safin
Так в виртовском паскале и не было модулей. Unit (вроде) это борландовское расширение, конечно же привнесено под влиянием модулы
Я именно это и имел в виду
источник
21:48пожаловаться#15

PS

Peter Sovietov in Compiler Development
Михаил Бахтерев
Что именно смогли реализовать? По тексту понятно только, что изобретена очередная КАМ.
Ха! Тут функциональщикам столбить нечего. Это фортеры придумали!
источник
21:48пожаловаться#16

AV

Alexey Veselovsky in Compiler Development
Для таких задач хватило бы и виртовского Паскаля. Он под них и делался.
источник
21:48пожаловаться#17

PS

Peter Sovietov in Compiler Development
источник
21:50пожаловаться#18

PS

Peter Sovietov in Compiler Development
Просто так :)
источник
21:51пожаловаться#19

МБ

Михаил Бахтерев in Compiler Development
Но вот есть свидетели церквей Clojure или JavaScript. У них там в каждом проекте по сотне namespace-ов или модулей и по делу и не по делу. И вот. Живут без типов.
источник
21:51пожаловаться#20