спасибо, правка сообщения

Но помни, что наибольшее число активных хаскелистов на нашем чате в реддите.

в гиттере то есть

а здесь нельзя править сообщения?

плохо

а здесь нельзя править сообщения?

Можно, я только что исправил свое сообщение "спасибо"

а здесь нельзя править сообщения?

возможно клиента телеги стоит обновить, эту фичу недавно добавили

Алекс сделай норм линк для чата)

Алекс сделай норм линк для чата)

сделал, tr.im/haskell

сделал, tr.im/haskell

ок) а чего паблик супергруп не хочешь?)

годнота же)

всмысле? это супергруппа щас

@haskell_rus чёнить типа

ага

haskellchat занят?

нихера

rus важно

а можно и рус и мировой )))

хм, а где это ставится? я в веб версии щас

ну блин

я в десктоп деве

а где дев скачать?

обновляемый?

мне оч не хватает групп для каналов :( когда уже будут

там надо в Edit public link сделать

@BAGArt https://desktop.telegram.org/

крути до конца вниз

ёпт это не dev это просто версии

о!

не заметил )))))))))))))

я тоже тупил)

так что там с хаскелем то?))

я даже подумываю 2 акка телеги завести

1 спам 2 группы

у меня уже 4 акка

но это так неудобно

так что там с хаскелем то?))

haskellru

всем привет

haskellru

Ништяк)

кто-нить знает, в data Mytype a = ... можно ли указать какому классу может принадлежать a ?

{-#LANGUAGE GADTs#-} data Expr a where I :: Num a => a -> Expr a

может как-нибудь так?

А что за функцияI?

просто неудачно выбранное название конструктора %)

кто-нить знает, в data Mytype a = ... можно ли указать какому классу может принадлежать a ?

data Num a => My a = My a deriving (Show)

в этом случае подсунуть 123 получится, а строку "123" - нет

компилятор говорит недопустимый контекст типа данных

это, вроде, устаревший метод

The designers of Haskell 98 do now think, that it was a bad decision to allow constraints on constructors. GHC as of version 7.2 disallows them by default (turn back on with -XDatatypeContexts).

data MyType a where MyType :: Num a => a -> MyType a

Я проверил на ghc 7.10.2

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

через GADT

да, через GADT лучше

я привёл первое, что на ум пришло... :-)

я что-то совсем не понимаю, о чем речь?

https://en.wikibooks.org/wiki/Haskell/GADT

https://wiki.haskell.org/Data_declaration_with_constraint

ок, сейчас разберусь

но может это из-за того, что я в конструкторе :& использую

без этого конструктора все работает

data Num a => My a = My a deriving (Show)

Так делать вообще не нужно, никогда

Это никакого профита не дает.

С GADT-ами решение нормальное, но нишевое.

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

Получается ООП-но и часто некомпозабельно.

в смысле для каждого типа из класса?

Нет

Для того типа, которому принадлежит значение.

Ну т.е. если в терминах C++ говорить, то vtable прямо в значение встраивается.

прошу прощения, я с ООП ни разу и чем не пересекался

мне нравится haskell за то что в нем все абстрактно и практично и нету этого "кошка может мяу"

Ну такое решение тут как раз приводит к "кошка может мяу"

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

А при определении типов данных не предписывать, может оно мяу или нет

Посмотри например на стандартный тип Map k a

Чтобы там все работало, ключи должны быть инстансами Ord k

Но при объявлении типа это не упоминается.

Констрейнт добавлен только к функциям работы с Map, которые полагаются на наличие этого порядка.

а как объявление конструктор типа Map посмотреть?