Мелочи всякие

Про орфаны

Ну например у меня тип в одном модуле 1 KEY a = KEY {getKey :: a} для него class Formatter a where в модуле2 а реализации у всех разные в других модулях

Простой способ это сделать так чтобы или тип или класс были в том же модуле что определение инстанса

Модуль с классом, его импортирует модуль где тип данных и там же инстанс

Проблемы если и тип и модуль в чужих пакетах

А да уменя всё разбросано было - да проверю те тип и класс в одном модуле а инстансы в уже можно в других)

Почему Haskell? Для каких реальных задач, по вашему мнению, он подходит лучше популярных императивных языков, которые там сейчас используются?

Тогда варианты , или если ты веришь что все гарантировано хорошо, то откдючай warning

Конечно лучше

Особенно если у всех фп бекграунд

Нет warning надо оставлять ктото советовал однозначно😀

Это полезный warning

Но если у тебя executable класс в пакете а, а тип в пакете б, то это самый дешевый способ

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

Да понимаем примерно

Отключением ты говоришь компилятору что мамой клянешься что конфликтующего интсанса нет ни у тебя ни в одном из reverse deps и deps

reify это пакет такой с ним можно дать локальный инстанс

А, вы и есть qnikst. А тоя смотрю и больно речи похожи.

Я вечером могу до дома дойти написать

Чорт спалили

Только можно не на вы

Только можно не на вы

Можно

https://hackage.haskell.org/package/reflection

Я знал что он qnikst -всех можно найти и коyфы и видео и статей куча

Статьи у меня только по физике были, или речь про блог посты?

До CS не дорос:(

Да конечно - я думаю многие начинали с них и я всё жду когда Денис Шевченко книгу допишет

Можно

Вот авторы http://ruhaskell.org/authors.html

Да конечно - я думаю многие начинали с них и я всё жду когда Денис Шевченко книгу допишет

А разве сейчас ее нельзя читать?

Я читал раний вариант но сейчас переработанный вариант гдето кончается пока внезапно - но интересно😀

Я читал раний вариант но сейчас переработанный вариант гдето кончается пока внезапно - но интересно😀

Я потихоньку читаю

Я пока "отдыхаю"😎

ok, haskell хорош для веб разработки?

ok, haskell хорош для веб разработки?

"экзотично"

проще на питоне или руби быстро наклепать

имхо)

Если тебе нужно количество, а не качество. Мне было очень тяжело в нее втянуться 😱

Даже несмотря на саму простоту того же руби, эстетика цацкелля до сих заставляет меня не прекращать читать документацию

Но кому я говорю

Так что там с проектами которые без рекордов не запилить?

убежать надо было ) так вот -- нет таких проектов которые нельзя запилить без рекордов как и нет проектов которые нельзя запилить без строк, без монад, без GC. но это ж не значит что это все бесполезные вещи? так и с рекордами -- это полезная вещь. все "поздние" языки a-la haskell (purescript, elm..) почему-то имеют нормальные рекорды и только в хаскеле пропозал который делает рекорды хоть как-то юзабельными обсуждали 5 лет и еле-еле завезли в 8.0 (и то не до конца) про либы и паттерны я даже не начинал, одна только обработка ошибок чего стоит. автор каждой либы делает это своим способом и плевать хотел на всех остальных

Вот почему я думаю нужны стандарты - например хотя бы в группе и прям по пунктам

С ошибками все более-менее понятно

Вот логеры нормальные и 100500 протоколов на которые в явамире например есть либы

То, что с исключениями умеют работать единицы

Проверил орфаны - работает если всё просто а вот у меня чтото нет module A — типы определенные внутри апп data Key = Key { getKey :: String} deriving (Read, Show, Generic) - читается в конфиг через либу те String представление ключа из парсера комм строки class KeyDecoder a where — генерик декодера fromKey :: Key -> a module B — использование провайдера из либы instance KeyDecoder APIKey where fromKey x = if T.isPrefixOf "trnsl." ( T.pack key) then read key::APIKey else "" where key = getKey x module C — либа определённого провайдера type APIKey = String в модуле B пробую from key - Ambiguous occurrence ‘fromKey’ defined at module B or A.fromKey imported from module A

Он говорит что в B ты определил метод fromKey

Не метод класса а просто метод

Там проблем с отступами нет?

Т.е. instance KeyDecoder ApiKey where <отступ>fromKey x =... ?

Или просто в файле какого левого fromKey не затисалось?

Просто это должно работать все

Ну и синониму типов можно давать инстансы только с расширениями и не надо так делать, тут уж точно newtype надо

Alexander спасибо проверю но пока немогу

Подскажите, есть ли для хаскеля библиотеки, заточенные на работу с блок-схемами (flawcharts)? Интересует как внутреннее представление, так и отрисовка (в html , например). Не хочется велосипеды делать...

> flawcharts Схемы недостатков

Опечатка закралась

А с визуализацией, оказывается, все довольно грустно. Причем на любом языке, кроме разве что питона и JS, причем на обоих языках все ограничено вебом.

Есть несколько студенческих поделок на qml, есть монстры из мира TeX. Все они выглядят убого и криво.

Есть несколько студенческих поделок на qml, есть монстры из мира TeX. Все они выглядят убого и криво.

Интересно вы про что? Какие проблемы нужно решить?

Интересно вы про что? Какие проблемы нужно решить?

https://www.text2mindmap.com/

кто-нибудь здесь упарывается по idris?

Вот эту концепцию мне хотелось бы реализовать по-человечески

Вот только не пойму, на какой платформе визуализацию пилить. Js я забросил много лет назад и не хочу в него погружаться снова. А с альтернативами как-то плохо.

Нашел, правда, Processing 3, к своему удвлению. Оно на java, умеет генерировать standalone apps для разных платформ и имеет порт для питона (почему-то не завелся у меня).

Это лучшее, что пока удалось найти

С внутренним представление данных все понятно, в принципе. Графы и списки. Над обоими типами придется делать надстройки и весь workaround писать самостоятельно. Это не так уж страшно. Вот с рендерингом хуже.

сегодня все делают в вебе

такое вот печальное будущее (настоящее)

И что с этим вебом делать потом?

Очередное тормозящее чудовище получится

зато работает везде

Кстати, по пути нашел довольно любопытную нишу ПО. рисование прототипов интерфейсов 😊

кто-нибудь sf теребил? не осиливаю нормально сделать упражнения с чёрчем.

Нашел, правда, Processing 3, к своему удвлению. Оно на java, умеет генерировать standalone apps для разных платформ и имеет порт для питона (почему-то не завелся у меня).

палю: elm

Да елм посмотри - приятный

Он опять для вебни. Я не понимаю, как мне потом с ней работать.

Как тут уже пояснили все в вэб уходит реально универсально одинаковый интерфейс-знакомый всем-браузер итп

Как тут уже пояснили все в вэб уходит реально универсально одинаковый интерфейс-знакомый всем-браузер итп

Согласен, пусть так. Как сделать приложение, которому не нужно будет поднимать локальный или удаленный сервер?

Ну, локальный ладно.