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

Size: a a a

Haskell

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

2020 May 06

Misha Puzanov in Haskell

композить с другими линзами?

источник

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

Alexander Vershilov in Haskell

ну а если там 5 элементов

источник

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

Alexander Vershilov in Haskell

написать (& _7 .~ C) было бы проще

источник

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

Alexander Vershilov in Haskell

И возможно понятнее

источник

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

Misha Puzanov in Haskell

https://www.stackage.org/haddock/lts-14.22/tuple-sop-0.3.1.0/Data-Tuple-Ops.html#g:5 разве что

источник

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

Alexander Vershilov in Haskell

Не в generic-sop и окрестности я пока не готов идти

источник

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

АХ

Алексей Худяков... in Haskell

Надо в f-v-h snoc дописать

источник

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

Alexander Vershilov in Haskell

хм а как standalone deriving и deriving via использовать?

источник

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

Alexander Vershilov in Haskell

(или как же я ненавижу template haskell)

источник

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

Alexander Vershilov in Haskell

ответ нашёл

источник

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

Alexander Vershilov in Haskell

Хочу уметь поднимать StaticPointer на type level

источник

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

Alexander Vershilov in Haskell

Кого позвать?

источник

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

Alexander Vershilov in Haskell

Ну кроме вспомогательного класса типов

источник

02:03пожаловаться #13

кана in Haskell

оказывается у линз есть такой замечательный оператор как &~


f e = e &~ do
  #c += 10
  if e ^. #a
    then #b . #value <>= " world"
    else #b . #value .= "Hello world"

источник

11:06пожаловаться #14

кана in Haskell

лучше конечно так, чтобы стейт был актуальным

data SubExample = SubExample
  { value :: String
  } deriving (Generic, Show)

data Example = Example
  { flag :: Bool
  , meta :: SubExample
  , counter :: Int
  } deriving (Generic, Show)

asState = flip (&~)

f :: Example -> Example
f = asState do
  #counter += 10
  whenM (use #flag) do
    #meta . #value <>= " world"

источник

11:08пожаловаться #15

Antonio in Haskell

<and-this-is-how-we-write-hello-world-in-haskell.jpg>

источник

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

Kirill Valyavin in Haskell

Лучший императивный язык. Если потерпеть

источник

11:55пожаловаться #17

Alexander Vershilov in Haskell

(протереть)