JS
меня в один ряд с Мишей поставили, да ещё Клапауций мою фамилию научился писать
(T i, T o) => , чтобы это начало компилироваться? https://ideone.com/FO2m22Size: a a a
2021 March 12
P
Господа, куда должны уехать
K
Господа, куда должны уехать
(T i, T o) => , чтобы это начало компилироваться? https://ideone.com/FO2m22Никуда, у вас
работает с инстансами
а вы объекту типа
Попробуйте превратить
class A a where
method :: (T i, T o) => i x -> o y -> a x y
работает с инстансами
class T a where
number :: a Integer
array :: a x -> a [x]
а вы объекту типа
o y пытаетесь runToJson сделать. Попробуйте превратить
ToJson/FromJson в классы типовK
Не сбрасывал бы, если бы ожидал решения "а давайте накалякаем что-нибудь, чтобы заработало". Я так сам могу :)
Ещё как вариант, сделать
data Method i o, объявить instance Bifunctor Method и требовать чтобы он был Method JSON JSON в точке монтирования, чтобы потом через dimap fromJson toJson любой метод, работающий с JSON-конвертируемыми данными использовать.2021 March 13
ЗП
есть ли какой-то глубокий смысл в том, что у instance Applicative ((->) r) pure это в точности комбинатор K, а (<*>) это в точности комбинатор S, которые вместе составляют комбинаторный базис?
есть, в том, что S комбинатор пермутации
комбинаторный базис это аксиоматический набор лямбда функций (он же тавтологический набор из логики)
то есть в хаскеле теже лямбды, теже изоморфизмы в логику и тд
комбинаторный базис это аксиоматический набор лямбда функций (он же тавтологический набор из логики)
то есть в хаскеле теже лямбды, теже изоморфизмы в логику и тд
OS
есть ли какой-то глубокий смысл в том, что у instance Applicative ((->) r) pure это в точности комбинатор K, а (<*>) это в точности комбинатор S, которые вместе составляют комбинаторный базис?
