AG
только если вы делаете dsl/shallow embedding
Size: a a a
2021 March 13
K
только если вы делаете dsl/shallow embedding
Но это будет программа на хост-языке, а не на моделируемом.
[
Если ты пишешь компилятор на хаскеле, то ты можешь добавить своему языку кусочек ахриненности хаскеля путём имплементации фп-фич😎
K
Если ты пишешь компилятор на хаскеле, то ты можешь добавить своему языку кусочек ахриненности хаскеля путём имплементации фп-фич😎
И лучше сразу добавить delimited continuations
dt
Господа, такой может глупый вопрос: если я пишу компилятор на каком-то языке, могу я в теории использовать свойства этого языка в своём компиляторе?
Ну типа там пишешь на расте и добавляешь к себе в язык его borrow checker?
Ну типа там пишешь на расте и добавляешь к себе в язык его borrow checker?
Некоторые свойства языка поддерживаются рантаймом, например сборка мусора, и такое вполне можно затаскивать в разрабатываемый язык.
[
И лучше сразу добавить delimited continuations
Это которое оператор . ?
2021 March 14
AT
Некоторые свойства языка поддерживаются рантаймом, например сборка мусора, и такое вполне можно затаскивать в разрабатываемый язык.
М? Как можно GC из языка разработки затащить в компилируемый язык?
IP
М? Как можно GC из языка разработки затащить в компилируемый язык?
Пишем компилятор на Джаве, генерируем байткод ее
AK
Пишем компилятор на Джаве, генерируем байткод ее
С тем же успехом можно написать компилятор языка X в байт-код JVM на любом другом языке, хоть на брейнфаке - сама Джава тут никак не помогает
IP
С тем же успехом можно написать компилятор языка X в байт-код JVM на любом другом языке, хоть на брейнфаке - сама Джава тут никак не помогает
Не помогает, но изначальному высказыванию это соответствует. А вообще, помогает: нормально манипулировать байткодом можно только через библиотеку OW ASM
AK
Не помогает, но изначальному высказыванию это соответствует. А вообще, помогает: нормально манипулировать байткодом можно только через библиотеку OW ASM
Нет, мы воспользовались GC за счет общей виртуальной машины, но так просто совпало, а язык реализации компилятора оказался абсолютно не при чем
dt
М? Как можно GC из языка разработки затащить в компилируемый язык?
Можно использовать рантайм в своем языке, прилинковавшись к нему, или транслировать код в вм языка на котором разрабатываешь.
IP
Нет, мы воспользовались GC за счет общей виртуальной машины, но так просто совпало, а язык реализации компилятора оказался абсолютно не при чем
Свойства джавы - это на 90% свойства ее байткода.
AT
Можно использовать рантайм в своем языке, прилинковавшись к нему, или транслировать код в вм языка на котором разрабатываешь.
В смысле "если можно прилинковаться к рантайму -- можно его использовать вне зависимости от языка"? 😊
AK
Свойства джавы - это на 90% свойства ее байткода.
Так, давайте вернемся к оригинальному утверждению. Как в языке X использовать фичу языка Y, на котором написан компилятор языка X?
dt
Нет, мы воспользовались GC за счет общей виртуальной машины, но так просто совпало, а язык реализации компилятора оказался абсолютно не при чем
Да, возможно не причем. Но я десять раз подумал прежде чем написать, и написал потому как было ясно что спрашивающий мало понимает как что устроено, и из вопроса не ясно что именно он хотел.
IP
Так, давайте вернемся к оригинальному утверждению. Как в языке X использовать фичу языка Y, на котором написан компилятор языка X?
Никак, естественно
AK
Ч Т Д
dt
В смысле "если можно прилинковаться к рантайму -- можно его использовать вне зависимости от языка"? 😊
Такое возможно, да. Но ясно же что не во всех случаях.
AK
Можно (наверное) написать транслятор языка X в язык Y на языке Y, и тогда возможно что-то сработает