ML
Это воображаемый s-exp язык
(не помню что бы в кложуре был паттерн-матчинг)
(не помню что бы в кложуре был паттерн-матчинг)
Size: a a a
2020 April 17
I
У кложурки хороший синтаксический сахарок для лиспов, грех не взять
(
Я тут подумал, а почему бы не написать embeded-язык,
на базе s-expression, но со стат типизацией на базе Х-М и row-полиморфизмом 🤔
Ну и с легким интеропом в хостовый рантайм.
И ограниченный по типу задач, как Elm
на базе s-expression, но со стат типизацией на базе Х-М и row-полиморфизмом 🤔
Ну и с легким интеропом в хостовый рантайм.
И ограниченный по типу задач, как Elm
в хаскель блахе кста давеча вещали, что хм не торт
ML
👌 (на макросах небось)
ну типа а на чём ещё
(
в моде алгоритм W/M
ML
в хаскель блахе кста давеча вещали, что хм не торт
ссылку то кидай уже
(
это то, что я сейчас читаю для вкатки
ΛO
в хаскель блахе кста давеча вещали, что хм не торт
Ну лол, это типа базовая хрень, в чистом виде её нет нигде
(
Ну лол, это типа базовая хрень, в чистом виде её нет нигде
ну да
AN
Это воображаемый s-exp язык
(не помню что бы в кложуре был паттерн-матчинг)
(не помню что бы в кложуре был паттерн-матчинг)
Подозреваю, что Lua изобретете. Я в него особо не въезжал, но что-то похожее есть
AM
Подозреваю, что Lua изобретете. Я в него особо не въезжал, но что-то похожее есть
А какое отношение к прототипному ООП имеют s-экспры?
d
интересно, но «программировать» их там и не учат особо
Ах мне бы этот эн унтузиазм
AM
Не говоря уже о том, что луа, ЕМНИП, динамически типизированная
AN
А какое отношение к прототипному ООП имеют s-экспры?
Я к сожалению не очень следил за дискуссией, у меня параллельно сдача задания шла. Луа динамический.
AM
Ну а тут хотят s-экспры с системой типов Хиндли-Милнера
AN
А, мне показалось, что уже расхотели
AN
Вообще, по поводу скриптов и типов, можно задать вопрос. А как вам PowerShell vs bash?
