Телеграмм чат группы elm

Size: a a a

Elm Lang сообщество разработчиков

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

2020 May 18

Denis Krivosheev in Elm Lang сообщество разработчиков

Я что-то не смог

источник

08:55пожаловаться #1

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков

Есть либа (была). Там нужно таскать функцию a -> comarable с собой постоянно :)

источник

08:56пожаловаться #2

Denis Krivosheev in Elm Lang сообщество разработчиков

Ну это выход конечно, но рекорд более изящно получается

источник

08:57пожаловаться #3

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков

Словарь, кстати, делать просто сравнительно

makeDict toKey = 
  { insert : ...
  , lookup
  ...
  }

let d = makeDict toString
in d.empty
  |> d.insert (1, 2) "foo"
  |> d.insert (5, 7) "bar"

источник

08:59пожаловаться #4

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков

Это такой "модуль для бедных"

источник

09:00пожаловаться #5

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков

Такие "словари вместо тайпклассов" даже мержить можно было бы, если бы сахарок был %)

источник

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

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков

Но тут нужно и отбрасывание ключей. Чтобы можно было удовлетворять интерфейсы по одному:
d = withKey toString <| withMonoid merge <| {}

источник

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

Denis Krivosheev in Elm Lang сообщество разработчиков

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

type alias Semigroup r a =
    { r | concat : a -> a -> a }

type alias Monoid r a =
    Semigroup { r | mempty : a } a


instance : Semigroup r a -> { mempty : a } -> Monoid {} a
instance { concat } { mempty } =
    { concat = concat
    , mempty = mempty
    }


-- Data.List
semigroup : Semigroup {} (List a)
semigroup =
    { concat = (++) }


monoid : Monoid {} (List a)
monoid =
    Data.Monoid.instance semigroup { mempty = [] }