NK
Вопрос номер два и Cyrcled и Body имеют переменные shape разных типов и что должен делать компилятор, гадать? Ты лучше знай вопрос как сделать то то и то то и получишь куски кода, потому что в этом ellie каша полная
Size: a a a
2018 April 30
NK
*задай вопрос
AK
Да, код в ellie очень странный, просятся Union-типы и вот подход библиотеки Collage он наверное самый идеальный для описания графических примитивов и соответствующего API.
С
у меня есть запись и в ней есть после имеющие тип, определенный через union type, и я хочу сделать alias к этой записи так, чтобы можно было предопределить одно из значений из ранее указанного union type
NK
Ничего не понятно. Но я могу предположить что хочется иметь базовые параметры фигуры в виде extensible record и потом уточняться. Дай подробное описани
NK
Описание в терминах задачи
С
я хочу описать физическое тело и описать физическое тело заданной формы, и хочу определить функцию, которая будет работать с физическим телом (менять координты например) вне зависимости от конкретизации его формы
С
но мне удобно сделать описание на какие-то объекты, говоря что это круглое тело например или это есть квадратное тело
NK
Ясно. Я работаю пример
NK
Набросаю
С
спасибо, бро. проблема у меня именно сделать описание типов, чтобы все типы сходились
NK
Как то так
NK
Юнион типы дают конечно немного писанины но зато высокоуровневый код получается ясным и читаемым.
NK
https://ellie-app.com/gSm4NpZc7a1/2 вторая версия, мне кажется лучше
С
Мой герой! :)
С
Спасибо! :)
NK
Это было интересно ;)
С
мне еще понравилось как ты обозвал типы внутри union type, в своем коде я как только не пробовал найти красивое решение