IK
Это я понимаю, мне ошибка не ясна. Если написать к примеру просто
either id id (Right 5)то всё нормально, а тут нет
Size: a a a
2021 May 15
[
что ты вообще в коде хочешь сделать?
IK
Вот к примеру 2 разных списка: ["B","A","A*"] и [1..50]
Я хочу чтоб можно было определять порядковый номер элемента в зависимости от введенного типа элемента.
Я хочу чтоб можно было определять порядковый номер элемента в зависимости от введенного типа элемента.
[
ты так не сможешь
[
потому что [a] это любой тип
[
ты можешь так делать с типом [Either String Int], но не с типом [a]
С
Ord a?
[
можно свой тайпкласс сделать
[
Который будет сравнивать с интом или стрингом
[
и ввести органичение MyTypeClass a => ...
IK
Попробую... Спасибо большое!
[
допустим, там должна быть функция
compateWithEiter :: Either a b -> a -> Ordering
compateWithEiter :: Either a b -> a -> Ordering
JS
может, лучше с сумтипа начать?
[
можно.
Тогда надо принимать either string int
Тогда надо принимать either string int
IK
А вообще есть возможность свои собственные Char "создавать"? допустим сделать так что "&7a" это новый char просто
[
а зачем?
IK
из соображений не делать [String] в виде (map show [1..100])
OS
благодарю. Использование PackageImports помогло