так он будет доступен. но определить нужно в instance BaseSem

что ты имеешь ввиду? вроде в instance BaseSem он есть, но в AdvSem не видит его

в первую очередь меня, как новичка, привлек синтаксис

А сколько лет назад это было?

велосипед она только в том смысле что в прелюдии есть interact

Что-то он какой-то сложный :(

А сколько лет назад это было?

лет 13-14

как бы class BaseSem sem where type Pre sem a :: Constraint val :: Pre sem a => a -> sem a add :: Pre sem a => sem a -> sem a -> sem a instance BaseSem E where type Pre E a = (Num a, Show a) val v = E v add x y = E $ (eval x) + (eval y) class BaseSem sem => AdvSem sem where mul :: sem a -> sem a -> sem a instance AdvSem E where -- type Pre E a = Num a -- ‘Pre’ is not a (visible) associated type of class ‘AdvSem’ mul x y = E $ (eval x) * (eval y) вот для BaseSem E инстанс есть, а вот для AdvSem не работает так

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

Хорошие времена были. Сейчас-то уже этот флер романтики первопроходцев ФП ушел

(Да, трава зеленее)

а если не юзать type Pre E a = Num a то в AdvSem E требует Num a

ну это понятно, потому что +

времена были неплохие в смысле поболтать про фп на русском языке, но во всем остальном ужасные просто.

читать нечего, имплементации убогие, работы на ФЯ нету

что type family constraint нельзя унаследовать так?)

читать нечего, имплементации убогие, работы на ФЯ нету

Зато можно было стать "иконой", если производить то, что потомки будут читать и использовать.

иконой стать не удалось Ж(

https://insights.stackoverflow.com/survey/2018/

интересно, среди хаскелистов больше трансов?

иконой стать не удалось Ж(

Шансы есть даже сейчас. Сами понимаете, нужно "просто" производить полезный контент, на регулярной основе, и не обращать внимания на негативщиков.

https://insights.stackoverflow.com/survey/2018/

хаскель любят меньше CSS хуже гитлера, практически

хаскель любят меньше CSS хуже гитлера, практически

А хаскеллистов любят еще меньше ;)

как бы class BaseSem sem where type Pre sem a :: Constraint val :: Pre sem a => a -> sem a add :: Pre sem a => sem a -> sem a -> sem a instance BaseSem E where type Pre E a = (Num a, Show a) val v = E v add x y = E $ (eval x) + (eval y) class BaseSem sem => AdvSem sem where mul :: sem a -> sem a -> sem a instance AdvSem E where -- type Pre E a = Num a -- ‘Pre’ is not a (visible) associated type of class ‘AdvSem’ mul x y = E $ (eval x) * (eval y) вот для BaseSem E инстанс есть, а вот для AdvSem не работает так

ну зачем ты его переобъявляешь ? Он же уже есть в Base

но больше всего шокирует vim 26% emacs 4%

ну зачем ты его переобъявляешь ? Он же уже есть в Base

я уже это закоментил, но не работает

ворнинг src/Sem.hs:45:17: warning: [-Wdeferred-type-errors] • No instance for (Num a) arising from a use of ‘*’ Possible fix: add (Num a) to the context of the type signature for: mul :: forall a. E a -> E a -> E a • In the second argument of ‘($)’, namely ‘(eval x) * (eval y)’ In the expression: E $ (eval x) * (eval y) In an equation for ‘mul’: mul x y = E $ (eval x) * (eval y) | 45 | mul x y = E $ (eval x) * (eval y)

Шансы есть даже сейчас. Сами понимаете, нужно "просто" производить полезный контент, на регулярной основе, и не обращать внимания на негативщиков.

Что сейчас полезно, по вашему мнению?

вот вы никогда не хотели стать новым Столлманом?

вот вы никогда не хотели стать новым Столлманом?

Юридическая плоскость борьбы бессмысленна в России

страна хронических пиратов

Не уверен, что можно называть конторы, закрывающие ПО, пиратами

Что сейчас полезно, по вашему мнению?

Очень полезны практики и подходы, которые удалось применить / придумать / улучшить / переосмыслить. ФП в целом и Haskell в частности повзрослели до того момента, когда появились разговоры о дизайне и архитектуре в чисто функциональном стиле. Также всегда будут полезны материалы для новичков, потому что свежий материал пусть и не всегда покрывает что-то новое (хотя и такое бывает), но увеличивает visibility ФП. Мега-полезны success stories, чуть менее полезны истории провала (здесь не стоит обращать внимание на злые языки; отрицательный результат в науке и инженерии не менее важен, чем положительный). Очень нужны всяческие библиотеки и вообще tooling. Нужны и статьи о том, что эти библиотеки нужны. Это обозначает запросы сообщества в целом, а чем выше спрос, тем выше шансы, что кто-нибудь возьмется. Важны любые технические статьи, важна помощь новичкам, и вообще - коллаборации. Важны книги на продвинутые темы. Книги для новичков тоже нужны, но их уже большой выбор, а вот чего-то более сложного почти нет.

Каждый решает для себя. Я не пирачу. Жить можно.

ну зачем ты его переобъявляешь ? Он же уже есть в Base

и что скажешь? явно добавлять Num a как-то не то, что я хотел от type family constraint

Другой вопрос - что, собственно, способствует привлечению новичков. Вот давайте выясним: что каждого из вас в Хаскель привело.

Боль и безысходность

И теперь у меня создается ощущение, что будущие хаскеллисты - это слабые духом люди, убежавшие от проблем, с которыми сильные духом борются и побеждают

так и есть же

Хаскель - для узколобых неосиляторов

Осиляторы пишут на Лиспе

Да, которым нужен компилятор в помощь, иначе программировать невозможно

лисп это язык который оказался хуже чем c

Согласен. Я такой

Да, которым нужен компилятор в помощь, иначе программировать невозможно

Именно так. Я - тупой. Поэтому не смог в питон

+1

лисп это язык который оказался хуже чем c

чем?

исторически

Правильно было бы ответить - "чем с"

крутые языки не умирают от конкуренции с плохими

да?

вы упускаете одну вещь

крутые языки не умирают от конкуренции с плохими

Да только плохие и выигрывают конкуренцию

Джава - говно

но она повсюду

плохие языки тоже не умирают от конкуренции с крутыми

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

пхп выжил

потому что кодмакаки

Крах Sun с наличием таких полимеров был сопоставим, наверное, только с крахом СССР

так ниши разные

Потому что есть тупые люди - они пишут на хаскеле, есть гении и богокодеры - эти на лиспе пишут. А Три сигма, это нетупые, которые пишут на средних языках

для кодмакак и для уважаемых людей

а как же артисты, которе пописывают на Джаваскрипте?

Кодмакаки, не тратя усилия, получают больше типичного хаскелиста или лиспера

Саксесс, ящитаю

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

да

потому давайте все писать на сисярпе

Я - тупой и не могу в голове держать мутабельность

Только один MVar за раз

а как же артисты, которе пописывают на Джаваскрипте?

ну там бурное развитие ниши языков для людей как раз потому, что в ней нет конкуренции

а сколько нынче получает типичный хаскелист?

(правильный ответ ­— стипендию)

Да нафиг артисту не сдался Haskell в его артистовой нише. Потому как артист хочет делать арт, а не типики верифицировать

лол

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

особенно если ему показать system F

как руби разраб могу сказать что гроб гроб кладбище динамика

благо Матц обещает опциональную типизацию в руби 3

кстати число работающих активных участников в чате очень велико

работающих на haskell

FWIW

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

Зачем верифицировать типы, если у тебя в ЯП один единственный тип data Type = Func Type -> Type | Dict HashMap String Type | List [Type] | Number Float | Str String?

тут 676 человек сидит, один процент, наверное, пишет на работе на хаскеле