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

Size: a a a

Haskell

1662 membersпожаловаться на группу

2020 December 13

Artyom Kazak in Haskell

Пофиксил пункт 2

источник

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

Artyom Kazak in Haskell

Ну а rework типа для версии 2.0 будет
Хотя лан, ты прав

источник

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

Maxim Koltsov in Haskell

Provides Generic instances out of the box. Aeson, etc can't believe these aren't normal records! Anything Generic-derived just works.

источник

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

Maxim Koltsov in Haskell

вау

источник

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

Artyom Kazak in Haskell

Ну это очевидная фича, но почему-то в superrecord ее не втащили

источник

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

2020 December 14

A64m AL256m qn<co... in Haskell

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

источник

00:12пожаловаться #6

Maxim Koltsov in Haskell

вот блин, :t ломается на штуках с quantified constraints

источник

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

кана in Haskell

Maxim Koltsov

вот блин, :t ломается на штуках с quantified constraints

а как ломается?

источник

01:14пожаловаться #8

Maxim Koltsov in Haskell

кана

а как ломается?

λ> foo :: forall t m a. (forall n. Monad n => Monad (t n)) => m a -> t m a; foo = undefined
λ> :t foo

<interactive>:1:1: error:
    Could not deduce (Monad (t n)) arising from a use of ‘foo’
    from the context: Monad n
      bound by a quantified context at <interactive>:1:1

источник

01:15пожаловаться #9

Maxim Koltsov in Haskell

это 8.8.4

источник

01:15пожаловаться #10

Maxim Koltsov in Haskell

очень неудобно

источник

01:16пожаловаться #11

кана in Haskell

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

:t f {someInstance}

похоже