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

Size: a a a

ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))

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

2019 December 14

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))

λoλzod

извини за упрямость, но как мне без всяких IO рантаймов и бойлерплейта сделать вот такое

  type Run[A, B] = Kleisli[Eval, A, B]
  val printLn: Run[String, Unit] = Kleisli(msg => Eval.always(println(msg)))

ну вероятно есть какой-то простой способ, может туплю

val println : Run[String, Unit = msg => always(println(msg))

источник

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

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))

просто используй Kleisli из волги и импортируй always

источник

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

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))

Oleg ℕizhnik

и как это можно предусмотреть

ну хотя тут же не !x

источник

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

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))

значит, наверное, можно

источник

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

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))

оххх

источник

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

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))

сложна

источник

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

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))

т.е. травёрснуть дерево, искать поддеревья comp.ReferSyntax(x).unary_!

источник

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

λoλzod in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))

на уровне компилера АПи такое же как в макросах?

источник

16:19пожаловаться #8

λoλzod in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))

плагинов компилера

источник

16:20пожаловаться #9

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))

посчитать число разных переменных и лифтануть потом lift((x$marro1, y$macro1, z$macro1) => expr).apply(x, y, z)

источник

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

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))

λoλzod

на уровне компилера АПи такое же как в макросах?

не совсем, но похожее

источник

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

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))

какие-то типы общие

источник

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

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))

Oleg ℕizhnik

с другой стороны там же может быть какое-то говно типа
val x = arr(x)
val y = ~(!x + 2).filter(x => x %2 == 0)

но как сделать, чтобы типы сходились та

источник

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

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))

неужели unary_! : A = throw "uhnandled lifting"

источник

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

ὦ

ὦan in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))

Vasiliy

ὦan закодировался уже?

Бля

источник

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

ὦ

ὦan in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))

Че я то сразу

источник

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

Alexander in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))

Oleg ℕizhnik

неужели unary_! : A = throw "uhnandled lifting"

А как ещё?

источник

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

ὦ

ὦan in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))

Надо бы запилить пару мемов с Олегом

источник

16:25пожаловаться #18

ὦ

ὦan in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))

Каких нибудь добрых

источник

16:26пожаловаться #19

ὦ

ὦan in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))

Радостных

источник

16:26пожаловаться #20