Oℕ
обычно в начале книги или статьи автор обозначает, как он будет применять терминологию
Size: a a a
2021 May 31
ЖК
А как же отображение объектов в объекты? Для этого же нужен pure или конструктор типа, разве нет? 👀
JS
функтор в теоркате — это преобразование из одной категории в другую, в том числе из объектов в объекты, из стрелок в стрелки.
в Хаскеле главная "категория" — Hask, у которой объекты — типы (Type), а стрелки — функции (a -> b).
функтором из этой категории в неё же (эндофунктором) будет пара из преобразования объектов-типов (f :: Type -> Type) и преобразования стрелок-функций ((a -> b) -> (f a -> f b))
в Хаскеле главная "категория" — Hask, у которой объекты — типы (Type), а стрелки — функции (a -> b).
функтором из этой категории в неё же (эндофунктором) будет пара из преобразования объектов-типов (f :: Type -> Type) и преобразования стрелок-функций ((a -> b) -> (f a -> f b))
ЖК
Ааа точно, объекты же - типы 😅
ЖК
Понял, спасибо 👀
JS
вот что меня смущает:
[Char] теперь будет одноэлементным смиском? а чтобы тип списка написать, надо приговаривать type? map :: (a -> b) -> type [a] -> type [b]?AA
List Char
[
[] Char
🤔
🤔
MK
char list[
Это как запись
f :: (,) a b -> (,) b b
f :: (,) a b -> (,) b b
JS
впрочем, да, так даже лучше. уже не смущает
[
Почему
JS
потому что не надо переключать контекст в мозгу, когда видишь
[] или [a]2021 June 01
MP
у меня co-log постоянно пишет
[<unknown loc>] в том месте, где должен быть stacktrace (ну точнее его верхний элемент). Там внутри зовется getCallStack, который, видимо, возвращает ничего. Беглое чтение говорит, что вроде никаких опций RTS для этого не надо (или надо?). Что нужно включить, чтобы call stack был?MP
Я бы это поле убрал совсем, но для этого надо писать занудную функцию форматирования, так что думаю, может просто заставить call stack работать