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

Size: a a a

Haskell

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

2021 April 17

Ilya Kos in Haskell

Вот так

источник

15:12пожаловаться #1

Ilya Kos in Haskell

(2 +) = \x -> 2 + x

источник

15:12пожаловаться #2

Yuuri in Haskell

Это называется «cечение» (operator section), к слову

источник

15:13пожаловаться #3

Unknown T. in Haskell

Это понятно
А вот setBit, например. Там порядок аргументов важен, первый — число, второй индекс

источник

15:13пожаловаться #4

Unknown T. in Haskell

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

источник

15:13пожаловаться #5

Ilya Kos in Haskell

Тут проще будет просто лямбду ввести

источник

15:14пожаловаться #6

Ilya Kos in Haskell

\x -> setBit x 1

источник

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

I O in Haskell

(`setBit` 1)

источник

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

Yuuri in Haskell

Любую функцию можно записать в инфиксной форме, как оператор, и так же «засечь»

(`setBit` a)
(a `setBit`)

источник

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

Ilya Kos in Haskell

Ну или так

источник

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

Unknown T. in Haskell

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

источник

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

Ilya Kos in Haskell

В целом да

источник

15:16пожаловаться #12

Yuuri in Haskell

Иногда можно с flip’ами поиграться, но в целом читабельность от этого страдает

источник

15:16пожаловаться #13

XÆA-XII in Haskell

А все данные в Haskell можно сериализировать в бинарный формат?

источник

17:34пожаловаться #14

XÆA-XII in Haskell

И если да, то тогда можно сериализировать и значение типа IO () ?

источник

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

кана in Haskell

ну в памяти-то они как-то хранятся) Посмотри на компактные регионы

источник

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

кана in Haskell

там вроде как даже бесплатный дампер данных на диск

источник

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

I O in Haskell

Функции нельзя

источник

17:36пожаловаться #18

XÆA-XII in Haskell

А монады?

источник

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

кана in Haskell

ну если тип этой монады определен как функция, то нельзя

источник

17:36пожаловаться #20