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

Andrew Mikhaylov

Читай хотя бы на пять сообщений вперёд, прежде чем отвечать, договорились?)

Нет

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

Andrew Mikhaylov in Programming Offtop

И в котлине есть как раз оба описанных варианта, как это без ХКТ иметь -- и List по умолчанию, и всякие mapTo, принимающие любую другую коллекцию на выход

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

Andrew Mikhaylov

Да нет там спорных утверждений, ровно это у людей в чате и болит.

А, может не оно...

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

Vladimir Petrakovich

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

Как по мне все мапы должны были возвращать сиквенсы а для листов сделать методы с постфиксом

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

Alexander Nozik

Я не тупой, чтобы тутошние жители не считали. Как создать инстанс?

val listFunctor = new Functor<List> {
  fn map<A, B>(f: A -> B, fa: List<A>) -> List<B> {
    ...
  }
}

23:38пожаловаться #6

я не знаю на каком я языке пишу

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

val listFunctor = new Functor<List> {
  fn map<A, B>(f: A -> B, fa: List<A>) -> List<B> {
    ...
  }
}

Fn - похоже на раст 🌚

23:39пожаловаться #8

Bogdan Panchenko

Fn - похоже на раст 🌚

но там интерфейсов нет

Vladimir Petrakovich in Programming Offtop

23:39пожаловаться #9

я не знаю на каком я языке пишу

Вижу элементы Java, Rust и Kotlin/Scala

Vladimir Petrakovich in Programming Offtop

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

Но ведь это и не важно

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

val listFunctor = new Functor<List> {
  fn map<A, B>(f: A -> B, fa: List<A>) -> List<B> {
    ...
  }
}

А где тут тогда hkt если вы явный инстанс создаёте на каждый тип?

23:40пожаловаться #12

Alexander Nozik

А где тут тогда hkt если вы явный инстанс создаёте на каждый тип?

без хкт ты сам интерфейс функтора не напишешь

23:40пожаловаться #13

Хотя на самом деле я в kmath то же самое делаю

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

у тебя вот этот вот F, который Type -> Type не выразим без хкт

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

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

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

у тебя вот этот вот F, который Type -> Type не выразим без хкт

А, понял

@mtreskin Не дам. Я старательно выпиливаю из общения людей вроде вас. Чем сейчас и займусь. В ЧС.

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

Aleksey D. in Programming Offtop

ля, вот опять тонна агрессии. кто мне объяснит, как это работает? 🙄

https://twitter.com/felixthebest/status/1243638149122793479

Twitter

Felix The Bestovitch

23:43пожаловаться #18

@mtreskin Не дам. Я старательно выпиливаю из общения людей вроде вас. Чем сейчас и займусь. В ЧС.

Aleksey D.

ля, вот опять тонна агрессии. кто мне объяснит, как это работает? 🙄

https://twitter.com/felixthebest/status/1243638149122793479

Twitter

Felix The Bestovitch

о, жаба гадюку е***а

23:44пожаловаться #19

нужно немного раскрасить эту фп тусовку