L
Size: a a a
2021 May 02
AA
нет не может быть оптимизитором. вообще для имплементации хаскеля надо весь оптимизитор корки, весь оптимизатор стг, весь оптимизатор цмм
AA
именно потому что хаскель не си
если какой-то очередной си имплементить - то, разумеется, можно оптимизатором ллвм обойтись
про это и речь, что когда имплементируете язык Х на базе имплементации языка У то сразу видно насколько они похожи
если какой-то очередной си имплементить - то, разумеется, можно оптимизатором ллвм обойтись
про это и речь, что когда имплементируете язык Х на базе имплементации языка У то сразу видно насколько они похожи
AF
так надо на вход ллвм подавать выход нижнего слоя хаскелля, а не сам хаскелль
AA
соотвественно и видно что лмл и клин больше похожи на хаскель чем агда
AA
так про это и речь, что нужно 98% имплементации хаскеля все равно
NI
Тогда как-то так - простота реализации на разных backend'ах.
NI
Но тоже нет.
Сишечку под хаскелем относительно несложно сделать.
Но не наоборот.
Сишечку под хаскелем относительно несложно сделать.
Но не наоборот.
AA
на самом деле довольно сложно чтоб это была реальная полезная имплементация, а не просто упражнение
AF
а джс действительно в одном семействе с хаскеллем, это ж покалеченная схема
JS
нет никакой связи между жс и схемой
AF
Джс как таковой это "Встроим в браузер Scheme, но с ява-подобным синтаксисом, потому что это сейчас модно"
MK
А чем там схема и CL принципиально различаются?
AF
Я для обработки деревьев переписывал часть функций из хаскеллевских пакетов, получалось не оптимально (хвостовой рекурсии-то и ленивости нет), но работоспособно для proof-of-concept
DP
Если бы вам поставили задачу реализовать хаскель с нуля, добавляя по 1 фиче в язык, сохраняя хотя бы некое подобие работоспособности на каждом шаге, какие фичи вы бы добавили на шагах 1, 2, 3?
AF
1. Аппликация
2. Абстракция
3. Integers
2. Абстракция
3. Integers
DP
что можно почитать про реализацию 1 и 2 в таких минимальных условиях?
все что я представляю или нахожу уже требует очень существенной основы для работы
все что я представляю или нахожу уже требует очень существенной основы для работы
AP
Например тем, что один — лисп-1, а другой лисп-2 :)
JS
нет же. поищите реальные истории. они сначала хотели Схему, а потом передумали и сделали упрощённую Яву без каких-либо элементов Схемы