static (any code that you wish here)

и для этого в rts будет сделал label

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

так же как и с TH?

depends on

а сколько лет ты уже на хаскеле пишешь?

порядка 5

не знаю, надо linkedin смотреть

а до этого на чем писал?

php, java

в универе ещё java, c, всякая-чушь

Нашел уже твой профиль

Серьезный конечно?

только вид делает

https://lettier.github.io/posts/2016-07-15-building-a-haskell-web-api.html вот читал и вопрос кто знает как будет вести код если в бд будет еррор типа паник итп в других их ловят етрай итп у в хаске как ловить эксепшены бд? В примере вышен не увидел обработку ошибок(

Я что-то не понял

?

Какой канал?

этот)

Это же группа

Пина не ваидел - на десктопе

Баг фиксед

может музыка из другой группы/канала?

Да, но это мой канал) И в нём давно

Теперь всё нормально отображается

twice :: Group a => a -> a Как это трактовать? В учебнике натолкнулся, а понять не могу. Что такое класс понял, но смысл этой записи не могу расшифровать.

функция twice примает 1 аргумент и возвращает значение такого же типа

и то и то тайпкласса Group

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

а что за книга?

Ну вот запись twice::a->a Я понимаю. А вот этот контекст что даёт? "Group a"

ну ты про тайп классы знаешь?

Ну вот запись twice::a->a Я понимаю. А вот этот контекст что даёт? "Group a"

Принимает примеры тайпкласса group

То что тип а реализует класс типов Group

перечитай про тайп классы:)

Ой платные книги выкладываются, айайай

эта вроде бесплатная

А туплю

Извините

ахахах

ru- не заметил

ну то уже с опытом прийдет

Класс в Haskell - это способ рассказать о перегрузках, как понял)

?

я себе не так понимаю:)

я даже не знаю:)

покажи Group

что в нем есть?

class Group a where e :: a (+) :: a -> a inv :: a -> a константа, какой-то бинарный оператор и фигня какая-то))

ну вот

ты говоришь что то что тебе передадут в твою функцию

должно уметь работать с e, (+), (inv)

и вернешь ты такое же

Inv это не фигня, а инварианта. Пример по теории множеств

ERROR: S client not available

и вернешь ты такое же

В смысле, что принимает a и возвращает a?

то что ты вернешь будет тоже Group

Inv это не фигня, а инварианта. Пример по теории множеств

В учебнике то же самое сказано.

Вероятно

значение может быть лругим

если бы функция была f :: Group a => a -> b

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

а второй уже все что угодно

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

да

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

Как я понял => это ограничитаель вариантов - те ве что в том типе

а-а-а.

ну как-то да

Как я понял => это ограничитаель вариантов - те ве что в том типе

И им доступны методы этого класса

ну тут же нету методов

:)

тут все функции!!:)

Ну ичто я вот сейчас думаю что ооп это динозавр - всё функция -это шаг твперёд!

Я имею в виду, что далее давая определение twice, Я имею право использовать внутренние функции класса Group.

совершенно верно

ты можешь также наложить несколько конкекстов на a

Ограничение это верный термин

Ура. Спасибо.

Ибо constraint

Ну давай что вы понимаете под что всё объект?

ну тоесть несколько тайп классов