Size: a a a

Emacs — русскоговорящее сообщество

2021 November 25

y

yosk in Emacs — русскоговорящее сообщество
gradually typed, но да:
https://docs.racket-lang.org/ts-guide/
источник

D

Demoninhatter in Emacs — русскоговорящее сообщество
почему в лиспах кстати типизация не нашла применения?
источник

A ß in Emacs — русскоговорящее сообщество
eval
источник

DL

Dmytro Lispyvnyi '(🌲... in Emacs — русскоговорящее сообщество
не совсем отдельный, он вполне себе прозрачно юзается из обычного рэкета, только что аннотации добавляешь и всё, я как-то переписал один модуль - достаточно быстро сделал
источник

LL

Lämppi Lütti in Emacs — русскоговорящее сообщество
Евал не сможет сам типы разрешить?
источник

LL

Lämppi Lütti in Emacs — русскоговорящее сообщество
Понятно что не совсем, кор то один, но прикол как с той же тайпед кложей, конкретно под неё никто не пишет
источник

LL

Lämppi Lütti in Emacs — русскоговорящее сообщество
(Да и система типов там пососная)
источник

DL

Dmytro Lispyvnyi '(🌲... in Emacs — русскоговорящее сообщество
а чочо пососного? я грю, один раз несколько назад тыкал - вроде норм
источник

LL

Lämppi Lütti in Emacs — русскоговорящее сообщество
В тайпед кложе?
источник

LL

Lämppi Lütti in Emacs — русскоговорящее сообщество
Она джавовая и если нужно делать мощный тип — пиздуй дефклассить
источник

DL

Dmytro Lispyvnyi '(🌲... in Emacs — русскоговорящее сообщество
не, я про рокету
источник

DL

Dmytro Lispyvnyi '(🌲... in Emacs — русскоговорящее сообщество
скорее сосаети, если в емаксе был бы более приличный лишп
источник

DL

Dmytro Lispyvnyi '(🌲... in Emacs — русскоговорящее сообщество
ещё, если вдруг кто пропустил, вот такое есть для елишпа https://github.com/emacs-elsa/Elsa/blob/master/docs/type-annotations.org
источник

LL

Lämppi Lütti in Emacs — русскоговорящее сообщество
Хз я не знаю как там типы дефайнятся
Я про то что у тебя будет типизированный код звать не типизированный код
источник

D

Demoninhatter in Emacs — русскоговорящее сообщество
оно в рантайме работает же?
источник

LL

Lämppi Lütti in Emacs — русскоговорящее сообщество
Звучит так будто да, но может быть и нет
источник

D

Demoninhatter in Emacs — русскоговорящее сообщество
в ридми написано что может анализировать без запуска, блин это прикольно
источник

A ß in Emacs — русскоговорящее сообщество
эвал не может знать что ему придет
источник

LL

Lämppi Lütti in Emacs — русскоговорящее сообщество
Разобрать что к нему пришло то может
источник

EZ

Evgeny Zajcev in Emacs — русскоговорящее сообщество
исторически сложилось думаю, всякие моднявые системы типов появились сильно позже лиспов.  Да и вцелом типы не нужны ;)
источник