Мне по коду многое кажется неудачным. По последней ошибке - замена add на add @GenFun заменяет одну ошибку на другую ;-)

Кажется, что перекручено сильно...

А GADT туда не лезет?

Вроде для такого рода задач GADT самое то бывает

Всем привет. Подскажите, существует ли плагин для idea, который причесывает дизайн кода (аналог scalafmt) ?

Всем привет. Подскажите, существует ли плагин для idea, который причесывает дизайн кода (аналог scalafmt) ?

intellij-haskell (и haskforce?) умеет вызывать hindent и stylish-haskell

точно есть утилиты, которые можно запускать без idea

hindent, stylish-haskell, brittany, hfmt

в общем-то это и есть аналог scalafmt

@cblp_su @develop7 спасибо, втащил hfmt

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

разве что stylish для импортов

я пока тоже на stylish остановился

без форматеров

но коненчо иметь какой-то форматер единый было бы хорошо

не думаю, что это возможно

Мне кажется хаскель крайне свободный в плане форматирования

Например тот же блок if then else

Где-то его удобно одной строчкой

А где-то несколькими

Тем более хаскель настолько выразительный, что именно ручками расставлять акценты правильнее, автоматически врядли что-то можно адекватное сделать

тем временем для 8.6, похоже, готово удаление старой фичи, комитет это уже принял, но работы над имплементацией я заметил только сейчас убираются старые экстеншены DataKinds/PolyKinds, теперь эти прагмы будут включать TypeInType

Ребят а посоветуйте научпоп по категориям

чтобы доступным языком

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

brittany вроде как принципиально не трогает "код", а только декларации форматирует

Ребят а посоветуйте научпоп по категориям

https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/

Милевски переводили же, в чатике по теоркату был линк

Я в ТК так и не смог, к стыду, но в закладках из того, что тут рекомендовали — http://telegra.ph/Materialy-po-teorii-kategorij-12-22 Из самого доступного, что я встречал — лекции Брагилевского (есть на youtube), но всё равно очень тяжело идёт.

https://vk.com/home_kana?w=wall-135720595_743

Милевски переводили же, в чатике по теоркату был линк

↑

brittany вроде как принципиально не трогает "код", а только декларации форматирует

это не так

емнип, этот форматтер вообще декларации не мог форматировать до недавнего времени

Хмм, просто "Retain newlines and comments unmodified". Ну ок

а если у меня есть модуль, можно как-то понять из какого он пакета? В GHCi например?

а, хотя уже нашёл этот модуль, но всё равно интересно, если кто в курсе

Хмм, просто "Retain newlines and comments unmodified". Ну ок

он просто похитрее обычного хаскелеформаттера и части кода которые не вылезают за какие-то установленные границы вовсе не трогает, т.е. не разносит на несколько строк то, что в одну влезает и т.д.

а если у меня есть модуль, можно как-то понять из какого он пакета? В GHCi например?

интересный вопрос. первое, что приходит в голову — поиск по Хакаджу или индекс модулей локального хаддока

но это явно не оптимально

ghc-pkg надо посмотреть

Оно вроде хуглится

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

с хуглом вопрос что модули они ещё и переименовываются :)

Можно хуглить хуглом снапшота, если стек используется

хотя в случае стакана вроде хугл должен по снэпшоту искать

и в данном случае пакет не из снэпшота :)

Всё хочу написать программку, которая будет брать снапшот их проекта и формировать строку для поиска (и скармливать браузеру)

и в данном случае пакет не из снэпшота :)

Локальный хугл должен прокатить

ну да

но это надо ещё его иметь :)

питонячий __file__ отсутствует :(

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

расшифруй?

ты про определения из него?

В разных пакетах можно иметь одинаковый путь и тогда неймспейсы вроде смержатся

(но это не точно)

да ну

фигня

интересно что ghci показывает имя пакета в тех случаях, когда зависимость от него только транзитивная. Linear.Algebra.unitalRep :: (adjunctions-4.3:Data.Functor.Rep.Representable f, Linear.Algebra.Algebra r (adjunctions-4.3:Data.Functor.Rep.Rep f)) => r -> f r но как управлять этой вербозностью ghci чтоб он для всего показывал - я не знаю, может и никак.

хитро

Всем спасибо за ссылки по категориям ))

а там курс от баеса был? :)

Вроде нет

В любом случае даже если был продублируй плиз

https://johncarlosbaez.wordpress.com/2018/03/26/seven-sketches-in-compositionality/

по книжке Спивака

пасиб

https://johncarlosbaez.wordpress.com/2018/03/26/seven-sketches-in-compositionality/

А кто-нибудь новую книжку спивака и этот курс читал/смотрел? Линки много раз были, но отзывов не видел.

и ещё положительное слышал про http://www.math.jhu.edu/~eriehl/context.pdf

Я в ТК так и не смог, к стыду, но в закладках из того, что тут рекомендовали — http://telegra.ph/Materialy-po-teorii-kategorij-12-22 Из самого доступного, что я встречал — лекции Брагилевского (есть на youtube), но всё равно очень тяжело идёт.

Без понятия что там для "программистов" у Милевски, но вот нормальная серия https://arxiv.org/abs/1803.05316 со здоровыми прикладными мотивами

быстровопрос: можно ли MTL переписать на TypeFunctions вместо FunctionalDependencies?

Без понятия что там для "программистов" у Милевски, но вот нормальная серия https://arxiv.org/abs/1803.05316 со здоровыми прикладными мотивами

выше научпоп просили, Милевски к такому ближе всего

быстровопрос: можно ли MTL переписать на TypeFunctions вместо FunctionalDependencies?

его переписали даже

успешно?

просто не стал пользоваться никто

http://hackage.haskell.org/package/monads-tf

Сабмитнул Diff, который убирает -XTypeInType из GHC.

вводящий в заблуждение анонс, мягко говоря

Без понятия что там для "программистов" у Милевски, но вот нормальная серия https://arxiv.org/abs/1803.05316 со здоровыми прикладными мотивами

Выше курс Баеса по ней и Денис про неё спрашивал :)

вводящий в заблуждение анонс, мягко говоря

Конечно, иначе ничего интересного

Но сам флаг там только для совместимости уже, потом депрекейтнется

лучше бы его оставили как синоним для DataKinds и PolyKinds

Ну вот он в этом диффе и стал синонимом

это-то понятно, я про то чтоб всегда был такой синоним, а не депрекейтился

Название у него по историческим причинам, поэтому и хочется его убрать.

да, но большой проблемы тут не вижу

просто не стал пользоваться никто

А преимущества то есть?

Да я тоже большой проблемы не вижу. Все равно в конечном итоге все эти экстеншены заменятся на -XDependentHaskell

нет

до этого итога далеко еще

я джва года такой экстеншн ещё ждать буду

Ну да. Один студент Ричарда берется парсеры термов и типов объединять. Не знает во что ввязввается наверное

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

Да не, зависимые типы можно бесконечно допиливать же.

Интеграцию с линейными там

Какой-нибудь proof erasure прикручивать к оптимизатору и т.д.

да, но крупный экстеншон-то последний

UnivalentHaskell придумают к тому времени

Ну да. Один студент Ричарда берется парсеры термов и типов объединять. Не знает во что ввязввается наверное

они там все такие

бесстрашные