История изменений
Исправление
stevejobs,
(текущая версия)
:
Но любая программа на Racket также возвращает байткод для JIT'а
представь, что у тебя есть полностью аппаратная реализация лиспа. Лисп-машина. Необязательно возвращать код для JITа, оно всё исполнится «само». Сам код на лиспе - это уже инструкции процессора.
А в случае с Хаскелем пришлось бы писать не одну аппаратную Хаскель-машину, а целых две: Хаскель-машину и IO-машину, и вот только обе вместе они достигли бы результата. Печально, что получается 2 разных машины. Печально что на Хаскель-машину будет строгий стандарт, а на IO-машину - уже нет.
Исходная версия
stevejobs,
:
Но любая программа на Racket также возвращает байткод для JIT'а
представь, что у тебя есть полностью аппаратная реализация лиспа. Лисп-машина. Необязательно возвращать код для JITа, оно всё исполнится «само».
А в случае с Хаскелем пришлось бы писать не одну аппаратную Хаскель-машину, а целых две: Хаскель-машину и IO-машину, и вот только обе вместе они достигли бы результата. Печально, что получается 2 разных машины. Печально что на Хаскель-машину будет строгий стандарт, а на IO-машину - уже нет.