Size: a a a

Programming Offtop

2020 April 17

ML

Mikhail Levchenko in Programming Offtop
источник

I

Igor in Programming Offtop
Я тут подумал, а почему бы не написать embeded-язык,
на базе s-expression, но со стат типизацией на базе Х-М и row-полиморфизмом 🤔

Ну и с легким интеропом в хостовый рантайм.
И ограниченный по типу задач, как Elm
источник

AN

Alexander Nozik in Programming Offtop
Igor
Я тут подумал, а почему бы не написать embeded-язык,
на базе s-expression, но со стат типизацией на базе Х-М и row-полиморфизмом 🤔

Ну и с легким интеропом в хостовый рантайм.
И ограниченный по типу задач, как Elm
А зачем?
источник

I

Igor in Programming Offtop
Что бы сложность разработки по уменьшить
источник

AN

Alexander Nozik in Programming Offtop
Статическая типизация актуальна для достаточно больших программ. А скриптовые языки - они для маленьких скриптов
источник

AN

Alexander Nozik in Programming Offtop
На малых программах, у вас статическая типизация только в минус. Время компиляции и все такое
источник

AN

Alexander Nozik in Programming Offtop
источник

ML

Mikhail Levchenko in Programming Offtop
Alexander Nozik
Статическая типизация актуальна для достаточно больших программ. А скриптовые языки - они для маленьких скриптов
Это насколкьо мелким должен быть скрипт, чтобы Х-М мешал
источник

I

Igor in Programming Offtop
Alexander Nozik
На малых программах, у вас статическая типизация только в минус. Время компиляции и все такое
Ну для маленьких программ скорость будет быстрая
Плюс есть идеи ввести жесткие ограничения на модульную систему,
- что бы явно все импортировать
- и запретить циклические зависимости (как в f#)
должно помочь скорости
источник

I

Igor in Programming Offtop
Я просто реально в clojure проекте без тестов, начинаю путаться даже в одном файл
источник

AN

Alexander Nozik in Programming Offtop
Mikhail Levchenko
Это насколкьо мелким должен быть скрипт, чтобы Х-М мешал
Мешать будет дополнительная проверка на этапе компиляции. Но вопрос не совсем в этом. Вопрос в том, что маленький скрипт просто написать, не думая о типах. JS и Python не зря взлетели. Проблема начинается, когда эти скриптовые языки тянут в нескриптовые задачи
источник

AN

Alexander Nozik in Programming Offtop
Igor
Я просто реально в clojure проекте без тестов, начинаю путаться даже в одном файл
Ну так да. В питоне ровно то же самое. Оно работает только если на 100% тестами обвешано, или если меньше 300 строк
источник

I

Igor in Programming Offtop
Mikhail Levchenko
Это насколкьо мелким должен быть скрипт, чтобы Х-М мешал
Кстати не в курсе, к кложурке не подвезли верификатора?
источник

ML

Mikhail Levchenko in Programming Offtop
Igor
Кстати не в курсе, к кложурке не подвезли верификатора?
Да вродь нет
источник

ML

Mikhail Levchenko in Programming Offtop
Да и как ты к лиспу приделаешь верификатор? Это же убивает всю шутку
источник

BP

Bogdan Panchenko in Programming Offtop
А няша не смущает ?
источник

I

Igor in Programming Offtop
Mikhail Levchenko
Да и как ты к лиспу приделаешь верификатор? Это же убивает всю шутку
Ну если мы забудим про макросы
источник

BP

Bogdan Panchenko in Programming Offtop
Aleksey D.
да лучше уж ktor брать)
Это разное
источник

AD

Aleksey D. in Programming Offtop
там еще и возможность ограничивать перемещения граждан без введения ЧС протащили)
источник

AD

Aleksey D. in Programming Offtop
Bogdan Panchenko
А няша не смущает ?
нет, а что с ней не так?
источник