Телеграмм чат группы haskellru страница 16698

у меня была идея запилить обобщённый тип числа аля вот такой, принимать операцию для Num a => a -> a -> a и после по каким-то правилам коэрсить/применять её для двух Number
я правильно понимаю, у меня это никак не получится?

источник

22:25пожаловаться #7

[

[BRM]White Rabbit in Haskell

хотя можно написать инстанс Num для Number🤔

источник

22:26пожаловаться #8

кана in Haskell

ну так и нужно

источник

22:28пожаловаться #9

Purple in Haskell

Почему везде пишут не использовать {-# LANGUAGE GADTs #-}, а накладывать констрейнт на функции вместо data?

источник

22:43пожаловаться #10

Yan Shkurinskiy in Haskell

А точно так пишут?

источник

22:44пожаловаться #11

Purple in Haskell

Пока разбирался в GADT в двух местах прочитал что-то вроде такого и смутился:

However, it's generally considered best practice not to do this. Instead, put the Num constraint only on the functions that use Scales and need the Num constraint.

источник

22:48пожаловаться #12

Jerzy Syrowiecki in Haskell

forkOS считается?

источник

22:54пожаловаться #13

Yan Shkurinskiy in Haskell

Это скорее о том, что констрейнты пихать в функции вместо данных

источник

22:54пожаловаться #14

Yan Shkurinskiy in Haskell

Уже разобрались!)