k
я не знаю, насколько
typed racket туда попадаетSize: a a a
2020 May 13
k
но перформанс там не ахти, да
k
или не
typed racketAP
Typed Racket, это gradual typing.
k
я видел что-то хаскеле подобное на макросах рекета
k
но перформанс там не ахти, да
но да
k
но можно сделать лучше мне кажется
AP
Я и говорю, два из трёх
AP
но можно сделать лучше мне кажется
Нельзя. Всё, что компилятор делает во время компиляции, нужно сделать во время подкомпиливания. Физически необходимо
k
может быть если наложить какие-то ограничения на макропрограммирование, но не делая его при этом статичным
k
чтобы не нужно было весь компилятор тащить как вы говорите
AP
Итого вы получите "быстро, макрово" но не типобезопасно
AP
Опять же, два из трёх
k
почему не типобезопасно?
k
если запруфать что макросы ничего не делают плохого с типами
AP
То есть сделать всё то, что делает компилятор, но не делая то, что делает компилятор?
AP
если запруфать что макросы ничего не делают плохого с типами
Вы хотите не менять типы, а менять только логику? А смысл тогда какой от всех этих телодвижений?
k
Вы хотите не менять типы, а менять только логику? А смысл тогда какой от всех этих телодвижений?
может быть очень большой))
AP
В Elm средств для генерации типов не хвататет!