169 похожих чатов

Хотя что мешает выражать поля через тайпклассы?

5 ответов

9 просмотров

это не просто тайпкласс нужен, тут зависимость нужна getField :: foreach x :: T -> case x of A{} -> Int B{} -> String getField A{field} = field getField B{field} = field до такого пока далеко

кана
это не просто тайпкласс нужен, тут зависимость нуж...

можно просто два инстанса для результата

Cheese-Syrowiecki Автор вопроса

можно же getField :: HasField "f" a r => r -> a

Cheese Syrowiecki
можно же getField :: HasField "f" a r => r -> a

не понимаю, какие в данном случае r и a

Cheese-Syrowiecki Автор вопроса
кана
не понимаю, какие в данном случае r и a

если подставить T Int, то будет одна частичная ерундовина, если T String, другая

Похожие вопросы

Обсуждают сегодня

А еще в перле можно уже @arr1 + @arr2?
Sergei Zhmylove
53
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
Подскажите, где смотреть результат выполнения программы? Код: ;.686 ;Система команд процессора 686 ;.MODEL FLAT,stdcall ;Модель памяти плоская, станда...
Егор Анелькин
5
Привет всем. появился вопрос. Разрабатываю сайт, в данный момент он запущен. Хостинг beget. Добавляю на сайт яндекс метрику с помощью полей client-settings (взято отсюда http...
Andrew
2
;.686 ;Система команд процессора 686 ;.MODEL FLAT,stdcall ;Модель памяти плоская, стандартный ;вызов процедуры ;option casemap:no...
Егор Анелькин
1
почому оно не работает?
Vi Chapmann Chapmann
19
Так а кто может спарсить всех участников чата? Идишники
Magic
18
Есть вопрос: допустим есть железка с каким-то интерфейсом(допустим usb), но как по этому интерфейсу железкой управлять неизвестно, прог нету, а управлять очень хочется надо. К...
Mixail Frolov
15
а как ловят такое ghci> res <- getPos2 urlt 0 (alist !! 0) 200 ghci> res SearchAtom (Search "www.google.com" "/search?q=" "Haskell") "haskell.org" (SearchTS [(2024-05-06 07:...
Fedor
14
короче сгенерила мне эта штука код на ассемблере: struc string val { common local .value dq .value .value: if ~val eq db val end if db 0 } fo...
Vi Chapmann Chapmann
12
Карта сайта