K
Меня тоже мучает это вопрос
Size: a a a
2020 February 18
K
И где параметризованные типы
K
Или там можно тип прямо в функциях, как возвращаемое значение объявлять?
А
Kir
Или там можно тип прямо в функциях, как возвращаемое значение объявлять?
думаю да
А
точнее можно было бы
А
если бы были функции
K
Лол. Там, кстати эквивалентность структурная или как?
AR
Dообще на сколько я понял суть cue:
1. Основная фича: это определения пачки правил по которым мы можем отсортировать ВСË в однозначный lattice
2. ВСË включает в себя: значения, констрейнты (больше 5, регекспы, кастомные предикаты), типы
3. на самом факте построения такого lattice уже можно кое-что сделать: при наличии конфликтов / неоднозначностей, несоответствия констрейнтов означает невалидность данных / типов
4. после построения lattice мы имеем его как структурку данных и можем пытаться делать с ним всякие разные штуки, выводить новые факты. И это не только валидация и системы типов, но и штуки типа их trim, когда ты выводишь от каких определений / констрейнтов ты можешь безопасно избавиться.
5. в целом мой вопрос: можно ли этот алгоритм / имплементацию применять для имплементации систем типов в ЯП.
1. Основная фича: это определения пачки правил по которым мы можем отсортировать ВСË в однозначный lattice
2. ВСË включает в себя: значения, констрейнты (больше 5, регекспы, кастомные предикаты), типы
3. на самом факте построения такого lattice уже можно кое-что сделать: при наличии конфликтов / неоднозначностей, несоответствия констрейнтов означает невалидность данных / типов
4. после построения lattice мы имеем его как структурку данных и можем пытаться делать с ним всякие разные штуки, выводить новые факты. И это не только валидация и системы типов, но и штуки типа их trim, когда ты выводишь от каких определений / констрейнтов ты можешь безопасно избавиться.
5. в целом мой вопрос: можно ли этот алгоритм / имплементацию применять для имплементации систем типов в ЯП.
K
Если для типов вида
(5 <) придётся предоставлять пруфы вхождения, то можно сделать статику. Иначе - это динамическая система. Я что-то не верю, что это завтипы с refinement types.AT
И ещё один заход на идеальный язык программирования: http://users.rcn.com/david-moon/Lunar/index.html 😊
KR
На lattice можно реализовывать параллельные алгоритмы - есть такая библиотека lvar на hackage.
Правда это относится к lattice как структуре состояний программы.
Правда это относится к lattice как структуре состояний программы.
K
s/программы/тайпчекера/
AT
Я тут делаю недодвижок для создания текстовых квестов делаю, оцените примерно пж:
VM - вм
Она в себе хранит:
1. Функции на специальном (e)DSL.
2. Блоки исполняемого кода, которые содержат команды и вызовы функций.
3. Глобальный стейт для хранения данных.
Блоки - это диалоги. Они в себе хранят локальные переменные, и последовательность команд для вывода (за это отвечает GraphicController).
Код написанный на (e)DSL парсится в дерево, проходит тайпчек, и транслируется в последовательность блоков (их можно рассматривать как состояния в КА).
Делать чисто стековую ВМ это хорошо но слишком сложно. Вместо этого будут хранится деревья, а данные в hashset'ах (плановый вариант).
Графическая составляющая подгружается динамически в виде GraphicController у которого есть интерфейс, принимающий название команды и аргументы. Он занимается отображением на экране *логика*
VM - вм
Она в себе хранит:
1. Функции на специальном (e)DSL.
2. Блоки исполняемого кода, которые содержат команды и вызовы функций.
3. Глобальный стейт для хранения данных.
Блоки - это диалоги. Они в себе хранят локальные переменные, и последовательность команд для вывода (за это отвечает GraphicController).
Код написанный на (e)DSL парсится в дерево, проходит тайпчек, и транслируется в последовательность блоков (их можно рассматривать как состояния в КА).
Делать чисто стековую ВМ это хорошо но слишком сложно. Вместо этого будут хранится деревья, а данные в hashset'ах (плановый вариант).
Графическая составляющая подгружается динамически в виде GraphicController у которого есть интерфейс, принимающий название команды и аргументы. Он занимается отображением на экране *логика*
Как насчёт начать с reuirements elicitation, затем перейти к формированию общей архитектуры системы, затем - элементам дизайна типа MVVM для разделения конкретного отображения и его абстрактного описания, если это вообще требуется исходя из требований? 😉
K
Правда, type generalisation/instantiation не дадут запихать типы в решётку
K
Ещё можно lua взять
а
почему руби не развивают?
AT
почему руби не развивают?
Это смотря в какую сторону. 😉
а
Это смотря в какую сторону. 😉
в любую
K
А что там развивать?
а
Kir
А что там развивать?
скорость