G
буквально сегодня
Size: a a a
2020 April 28
p
Тот же полноценный (как в мл подобных) вывод типов делается в 500 строк, если у тебя не хаскель
Смотри, чтобы сделать примитивные типы с возможностью масштабирования, нужно сделать:
1. Трейты/интерфейсы.
2. Трейты/интерфейсы для операций +,-,* и реализовать в компиляторе для примитивных типов. Это не обойдется без грязных хаков.
3. Минимальный вывод типов.
4. Типы для функций.
5. Тайпчек.
Тут больше 500 строчек будет.
1. Трейты/интерфейсы.
2. Трейты/интерфейсы для операций +,-,* и реализовать в компиляторе для примитивных типов. Это не обойдется без грязных хаков.
3. Минимальный вывод типов.
4. Типы для функций.
5. Тайпчек.
Тут больше 500 строчек будет.
SP
мне один челик втирал что в кложуре нет типов и збс
да о ней так расказывают, мол не зашкварно и статикобогу взять кложуру. но лень проверять да и какой смысл, не верю я что может быть какаято божественная динамика
p
На самом деле интерпретатор без тайпчека может написать любой школьник за пару месяцев, кек.
AZ
main = let x = Int in putStrLn "Hello world"AZ
завтипы топчик
AZ
первая глава, а уже красота
AZ
а вот это не красота)
G
завтипы топчик
когда дойдёшь до тайплевела вообще самая мякоть
G
а вот это не красота)
у меня на экран это не вмещается
DS
Смотри, чтобы сделать примитивные типы с возможностью масштабирования, нужно сделать:
1. Трейты/интерфейсы.
2. Трейты/интерфейсы для операций +,-,* и реализовать в компиляторе для примитивных типов. Это не обойдется без грязных хаков.
3. Минимальный вывод типов.
4. Типы для функций.
5. Тайпчек.
Тут больше 500 строчек будет.
1. Трейты/интерфейсы.
2. Трейты/интерфейсы для операций +,-,* и реализовать в компиляторе для примитивных типов. Это не обойдется без грязных хаков.
3. Минимальный вывод типов.
4. Типы для функций.
5. Тайпчек.
Тут больше 500 строчек будет.
Тебе не надо что-то отдельно делать для операторов, если ты сразу введешь произвольные операторы в язык, а-ля скала
AZ
мне кажется через флатенны это можно разложить нормально по структурам
AZ
общие префиксы у кучи полей намекает
SP
я опять кайфанул от раста. итератор отдает ссылку на обьект который нельзя поменять. и не может отдать другую и правильно
G
мне кажется через флатенны это можно разложить нормально по структурам
ага, а как?
G
какие флаттены
G
я не в курсе
p
Тебе не надо что-то отдельно делать для операторов, если ты сразу введешь произвольные операторы в язык, а-ля скала
Тебе нужно зашить в компилятор грязными знаками реализацию для примитивных типов