PS
Кстати, "они" до сих пор считают, что этого нельзя сделать.
Ключевые характеристики: compilation speed, one step compile, compiler size.
Ключевые характеристики: compilation speed, one step compile, compiler size.
Size: a a a
2019 December 29
AV
Хех. Сравнивали Паскаль с Паскалем... времена, однако были...
M
Но вот есть свидетели церквей Clojure или JavaScript. У них там в каждом проекте по сотне namespace-ов или модулей и по делу и не по делу. И вот. Живут без типов.
That’s true
TS
MaxGraey
That’s true
Справедливости ради, так было до yarn
PS
Но вот есть свидетели церквей Clojure или JavaScript. У них там в каждом проекте по сотне namespace-ов или модулей и по делу и не по делу. И вот. Живут без типов.
Они просто рано или поздно реализуют самопальные контракты и протоколы из "настоящих" динамических языков :)
M
Справедливости ради, так было до yarn
Справедливости ради, счейчас все осознали это и стараются делать модули компатными с минимальным числом зависимостей, никакх lodash или moment (стараются использовать date-fns) ну и модули сейчас делают хинт можно ли tree-shaking без санд эффектов или нет
BD
опять легендарная битва типовиков с безтиповиками?
AV
опять легендарная битва типовиков с безтиповиками?
дык типы есть и у тех и у других. вопрос только в том, в какой момент они проверяются.
BD
дык типы есть и у тех и у других. вопрос только в том, в какой момент они проверяются.
я не буду говорить долго и сложно, вы и так поняли что я имею в виду
AV
я считаю, что по большей части динамическая типизация - это ленивая типизация. это когда имплементатору реализации языка лениво пилить сложный верификатор и он впиливает поддержку типов в рантайм либу или в интерпретатор.
собственно интерпретатор он тоже от лени - он проще компилятора.
собственно интерпретатор он тоже от лени - он проще компилятора.
PS
я считаю, что по большей части динамическая типизация - это ленивая типизация. это когда имплементатору реализации языка лениво пилить сложный верификатор и он впиливает поддержку типов в рантайм либу или в интерпретатор.
собственно интерпретатор он тоже от лени - он проще компилятора.
собственно интерпретатор он тоже от лени - он проще компилятора.
А где же Вы видели приличный компилятор без набора интерпретаторов "под капотом"? :)
BD
я считаю, что по большей части динамическая типизация - это ленивая типизация. это когда имплементатору реализации языка лениво пилить сложный верификатор и он впиливает поддержку типов в рантайм либу или в интерпретатор.
собственно интерпретатор он тоже от лени - он проще компилятора.
собственно интерпретатор он тоже от лени - он проще компилятора.
дыа, что нода, что дено, что luajit - чертовски простые штуки
МБ
я считаю, что по большей части динамическая типизация - это ленивая типизация. это когда имплементатору реализации языка лениво пилить сложный верификатор и он впиливает поддержку типов в рантайм либу или в интерпретатор.
собственно интерпретатор он тоже от лени - он проще компилятора.
собственно интерпретатор он тоже от лени - он проще компилятора.
Есть же документация по InsideOut(x) от Пейтона-Джонса. Написать - дело не хитрое. Да и всё равно типы придётся выводить для производительности. Вопрос именно в том, нужно ли типы тащить в интерфейс к пользователю.
BD
не то что какой-нибудь супер сложный tcc
AV
Есть же документация по InsideOut(x) от Пейтона-Джонса. Написать - дело не хитрое. Да и всё равно типы придётся выводить для производительности. Вопрос именно в том, нужно ли типы тащить в интерфейс к пользователю.
судя по тому, что анотации типов появились и появились верификаторы для того же питона - нужно.
но это не только лишь сразу становится понятно. то есть не настолько нужно насколько считает лагерь статической типизации
но это не только лишь сразу становится понятно. то есть не настолько нужно насколько считает лагерь статической типизации
FO
Фортран
Я тут!)
Не на всех машинах был фортран. Где-то был только бейсик, ибо его компилятор стльно легче компилятора фортрана
Не на всех машинах был фортран. Где-то был только бейсик, ибо его компилятор стльно легче компилятора фортрана
AV
в js аналогично
AV
в erlang тоже статический верификатор типов есть
AV
Я тут!)
Не на всех машинах был фортран. Где-то был только бейсик, ибо его компилятор стльно легче компилятора фортрана
Не на всех машинах был фортран. Где-то был только бейсик, ибо его компилятор стльно легче компилятора фортрана
а басик не интерпретировался ли?
FO
а басик не интерпретировался ли?
И интерпретаторы тоже есть :-)