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

23:24пожаловаться #1

не тут-то так не сделать

23:25пожаловаться #2

кана

а хм, тут часть это SomeN тег, нужно как-то его вычленить

23:26пожаловаться #3

это ток доказательство что одно другому равно например можно уничтожить

23:26пожаловаться #4

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

23:26пожаловаться #5

например разобрался зачем же нужен матчинг типопеременных

23:27пожаловаться #6

попытался вот так вычленить тег и там чет вообще ужас какой-то

23:29пожаловаться #7

вот это число это инстанс Typeable или нет

23:30пожаловаться #8

SomeN это напомню
data SomeN = forall (n :: N). Typeable n => SomeN

23:31пожаловаться #9

то есть по идее Int в X должен соответстовать Typeable n

23:32пожаловаться #10

если конечно инстанс typeable это просто Int

23:32пожаловаться #11

агааа, там нифига не число

23:32пожаловаться #12

инстанс не число конечно

23:33пожаловаться #13

но когда сравниваются тайпрепы - сравниваются инты

23:33пожаловаться #14

там даже не инт, там два Word64

23:35пожаловаться #15

ну ворды

23:35пожаловаться #16

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

23:35пожаловаться #17

завтра попробую разобраться с этим

23:35пожаловаться #18

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

23:36пожаловаться #19

чет вроде кметт такое хачил чтоб лифтить любые числовые типы