VG
Назови другим словом эти языки
в "бытовом" смысле проще называть "компилируемый" или "интерпретируемый" в зависимости от необходимости юзеру явно запускать отдельную фазу компиляции при использовании языка "по умолчанию"
Size: a a a
2020 November 29
EG
в "бытовом" смысле проще называть "компилируемый" или "интерпретируемый" в зависимости от необходимости юзеру явно запускать отдельную фазу компиляции при использовании языка "по умолчанию"
Java ни разу не компилируемая, потому что ты не можешь её запустить без JRE.
SB
Ну развели:)
EG
Но и не интерпретируемая, потому что есть отдельная фаза трансляции.
EG
Питон можно скомпилировать в байт-код а-ля джавовские классы и использовать без исходников
VG
так что "по умолчанию" питон будет интерпретируемый, несмотря на *.pyc, а жаба компилируемая, т.к. зовёшь javac
EG
Haskell однозначно компилируемый, он вообще компилируется в натив, но можно пропустить шаг компиляции с помощью
ghci или runghcJC
Под «транслируемый» я здесь понимаю «транслируемый в байт-код, который затем выполняется на виртуальной машине языка»
Я всегда под этим понимал всякие Nim, Vala и прочие, которые из одного высокоуровневого языка в другой.
EG
Я всегда под этим понимал всякие Nim, Vala и прочие, которые из одного высокоуровневого языка в другой.
Nim компилируемый, я считаю. То, что у него в бэкенде сидит C — нерелевантно.
EG
У любого современного языка в бэкенде что-то сидит.
JC
Но один черт не понимаю, почему мы называем языки имплементациями.
EG
У кого C, у кого LLVM IR, у кого ещё что-нибудь.
SB
Я всегда под этим понимал всякие Nim, Vala и прочие, которые из одного высокоуровневого языка в другой.
А тайпскрипт то какой тогда?) он компилируется в js?)
EG
А тайпскрипт то какой тогда?) он компилируется в js?)
А тайпскрипт не язык
EG
Тайпскрипт — линтер
pl
Тайпскрипт — линтер
VG
Но один черт не понимаю, почему мы называем языки имплементациями.
когда у языка есть стандарт, а не "это продукт вот этого сайта", то да, возможны разные имплементации
SB
Тайпскрипт — линтер
Лол что?)
EG
У него нет собственной семантики, он просто проверяет типы и срезает свои аннотации.
VG
Я всегда под этим понимал всякие Nim, Vala и прочие, которые из одного высокоуровневого языка в другой.
приплюсовал бы