пожалуйста

запутал себя этим ax и начал думать, что ax :: a -> x

@basov_ae а вообще это какие-то упражнения на йонеду чтоль? или просто сам копаешь?

@basov_ae а вообще это какие-то упражнения на йонеду чтоль? или просто сам копаешь?

смотрю толк Bartosz Milewski - Arrows are strong profunctors

После стольких лет до меня таки дошло что fix останавливаеться также как и foldr

Ну учитывая что они друг через друга выразимы, то это не удивительно)

Так, а чем Fix отличается от Mu?

Ну Mu это наименьший fixed функтор (его реализация не рекурсивна, в теле заложена алгебра) а Fix это рекурсивная реализация

@basov_ae что такое прейонеда?

Ну есть такая запись My < Fix < Nu. В хаскель мы можем записать My ~ Fix ~ Nu (из за лени)

http://www.well-typed.com/blog/2018/03/oop-in-haskell/ астрологи объявили неделю блогов от известных контор

О, объекты как fixpoint ы, интересно

дык это же стандарт?

Ну Mu это наименьший fixed функтор (его реализация не рекурсивна, в теле заложена алгебра) а Fix это рекурсивная реализация

а можешь пояснить смысл наименьшести/наибольшести в данном случае? Помню натолкнулся где-то, где оно играло роль, но так и не врубился :(

ещё в таплах и всегда так было

О, объекты как fixpoint ы, интересно

Ну как бы коалгебры и есть ооп

ещё в таплах и всегда так было

имманентное свойство реальности?

Ну как бы коалгебры и есть ооп

А есть книжки на эту тему?

Кроме той за авторством Луки Карделли, конечно

а там разве книжка? пейперы вроде только были

а можешь пояснить смысл наименьшести/наибольшести в данном случае? Помню натолкнулся где-то, где оно играло роль, но так и не врубился :(

Чуть позже, но если в кратце это индуктивные / коиндуктивный типы выражать через Mu/Nu и использоваь только алгебру типов

Ну, или пейперы. Что угодно.

Я статью хочу написать, от моноида до ф алгебры

У меня есть на гитхабе список

список чего?

У тебя там много что есть. Можно ссылочку?

Если не трудно) через час дома буду

Ну ещё кейворд - кодировка Ламбека

Думаю ещё как пример Free/Cofree vs Mu/Nu vs List/Stream

В идрисе есть data/codata

Вообще напишите что хотите знать) постараюсь ответить по возможности

по кейворду чот мало что гугл выдаёт, а так конкретный вопрос у меня был только выше, если есть список материалов на тему для покопать, то былоб интересно

по кейворду чот мало что гугл выдаёт, а так конкретный вопрос у меня был только выше, если есть список материалов на тему для покопать, то былоб интересно

Ок

лол, ghc с его какой-то хитрой подгрузкой файла для показа ошибок вообще что-то странное выдает

ты про что? правишь файл и соообщение об ошибке даёт левую строчку в итоге?

нет

ну это тоже

но просто у тебя в файле есть #if и тебе не ту строчку выдает

там где красивая подсветка ошибки

выделяет другую строку в которой все норм

в контексте ошибки который в теле сообщения основном - все ок

с препроцессором не дружит?

ага

ну ghc и раньше с ним не дружил

Ну Mu это наименьший fixed функтор (его реализация не рекурсивна, в теле заложена алгебра) а Fix это рекурсивная реализация

Странно, я просто смотрю определение Mu и Fix в сабже и не вижу разницы

Странно, я просто смотрю определение Mu и Fix в сабже и не вижу разницы

в каком сабже?

в каком сабже?

Haskell, вестимо

Haskell, вестимо

не) странный у тебя источник

вот например) type Algebra f a = f a -> a type Coalgebra f a = a -> f a newtype Mu' (f :: * -> *) = Mu' { unMu :: forall a. Algebra f a -> a } data Nu' (f :: * -> *) = forall a. Nu' (Coalgebra f a) a cata' :: Functor f => Algebra f a -> Mu' f -> a cata' alg (Mu' x) = x alg ana' :: Functor f => Coalgebra f a -> a -> Nu' f ana' = Nu'

о,я на кодеварсах не доделал это

А что за ката?

Для тех, кто в танке :(

А что за ката?

https://www.codewars.com/kata/54289bfc929cdbbbfd000213

удалил код, потому что спойлеры

Спасибо, большое. Выглядит интересно. Обалдеть они удобную платформу сделали. Где я раньше ходил...

кстати по секрету у Кметта есть полиоморфная функция для перехода от Mu к Nu

https://www.researchgate.net/publication/322530755_Analysis_and_Qualitative_Effects_of_Large_Breasts_on_Aerodynamic_Performance_and_Wake_of_a_Miss_Kobayashi%27s_Dragon_Maid_Character?channel=doi&linkId=5a5ef35a458515c03ee11245&showFulltext=true

извините

#anime

@qnikst корутины были зло

простые же

хоп-хоп и готово

не то что Fixpoint

https://www.researchgate.net/publication/322530755_Analysis_and_Qualitative_Effects_of_Large_Breasts_on_Aerodynamic_Performance_and_Wake_of_a_Miss_Kobayashi%27s_Dragon_Maid_Character?channel=doi&linkId=5a5ef35a458515c03ee11245&showFulltext=true

топ

не то что Fixpoint

мне это проще было

The Flat model incurred a 4% maximum drag increase compared to the Normal model я так понимаю у плоской модели увеличилось сопротивление то есть у неё хуже аэродинамика?

ага

чет напомнило дискашны хаскель-комитетов

Это ведь про типосрачи, да?

ребят, есть какой-то способ узнать в каком месте парсер зацикливается?

Навтыкать Debug.Trace, бугога

в хаскеле вся эта хрень на типы влияет тут же

Так Debug.Trace IO не вносит

есть какой-нибудь инструмент, который скажет в каком месте cpu больше всего отжирается?

Ну собрать с профайлингом можно

в хаскеле вся эта хрень на типы влияет тут же

Да, вся соль trace, что он не влияет

Кстати, в RWH была хорошая глава про профилирование, она насколько устарела?

спс, помогло разобраться, что дело не в парсинге

кажется )

Бан

Только крипотой

@qnikst, см выше