А это ты где смотришь?

Я контекст не улавливаю

ага! https://stackoverflow.com/questions/17528119/combining-lenses/17529470#17529470

(~&~) = liftA2 (>=>)

композиция Клейсли в аппликативе

Ну если в этом плане, то да, оптика поддерживает композицию

горизонтальные это если друг за дружкой

а вертикальные это вот так хитро

Ну если в этом плане, то да, оптика поддерживает композицию

это не так композиция

https://wiki2.org/en/2-category

ох ты еж...

классно...

http://inspirehep.net/record/1421991/plots

а Дмитрий Маликов знает толк в haskell))) https://stackoverflow.com/users/570689/%D0%94%D0%9C%D0%98%D0%A2%D0%A0%D0%98%D0%99-%D0%9C%D0%90%D0%9B%D0%98%D0%9A%D0%9E%D0%92

а Дмитрий Маликов знает толк в haskell))) https://stackoverflow.com/users/570689/%D0%94%D0%9C%D0%98%D0%A2%D0%A0%D0%98%D0%99-%D0%9C%D0%90%D0%9B%D0%98%D0%9A%D0%9E%D0%92

Top 3% ?

Так вот на ком хаскелль то стоит

Основа

Он оказывается не только рэпер

rap?

На гитхабе меняют зеленый цвет хаскелла на фиолетовый

обман https://github.com/ekmett/recursion-schemes

Так не вмержили еще

У них там оооочень долго релизы происходят

мне зелененький нравится

https://github.com/github/linguist/pull/3728

ни одной репы на хаскелл) https://github.com/Alhadis?tab=repositories

И что)

бля хочу гиттер клиент как у телеграмм

бля хочу гиттер клиент как у телеграмм

Всм?

?

Это как?

это быстрый

лол

На гитхабе меняют зеленый цвет хаскелла на фиолетовый

Каеф

Бля, а мне же когда-то кто-то пытался пояснить за ко\контр-вариантность.

а в скале можно записать такую фигню? a = 1:a

Чё делает :?

*тряпки инкаминг*

ну это конструктор списка

cons

Так, ща.

Надо открыть вокрщит.

а вот это генерит бесконечный список единичек a=1:a

мне кажется скалка не сможет

она же энергичная

Ну ща узнаем.

а не ленивая

Stream.from(1)

Э.

Ну тащемта.

Я сейчас SO схватил.

Ну вообще вроде проканало.

lazy val a: Array[Int] = Array(1) ++ a

Хотя возможно оно немного не то.

как в scala take сделать?

ERROR: S client not available

take 10 a

val a = Array(1,2, 3, 4)

a take 10

А в хаскеле, емнип, тоже есть Option?

Который Maybe.

У меня есть ощущение что мои знания позволяют начать изучать хаскель немного больше, чем я полагаю.

да есть Maybe :D

Но чтобы его проверить надо понять насколько они сходятся в штуках. Иначе может оказаться что нет.

Ну каинды так-то понять несложно

Перенести свое понимание типов на сами типы

ты про DataKinds?

https://downloads.haskell.org/~ghc/7.4.1/docs/html/users_guide/kind-polymorphism-and-promotion.html

Я про типы типов, да

https://www.cocoawithlove.com/blog/an-aside-about-flatmap-and-monads.html

Спорно

Потмоу что он мешает классы, доставшиеся от джавы, с фп подходами

Но вообще забавно, я старался убежать как можно дальше от Java, а в этоге мой фп код выглядит и работает во многом именно как scala

Ко/контр вариантность, функторы в виде инстансов классов и так далее. Видимо, ето судьба))

это потому что не труфп

В плане?

что js,ts,flow,scala,java одна херня

Опять догматизм Мы определяем DSL на основе js, и можем наделить его любыми свойствами, в т.ч. трушностью фп

Я бы описал инстансы функторов на основе функций, но flow гораздо надёжнее выводит типы, если делать это на основе классов, поэтому у меня получается базис с классами

Опять догматизм Мы определяем DSL на основе js, и можем наделить его любыми свойствами, в т.ч. трушностью фп

какой блин дсл в js?

какой блин дсл в js?

Обычный

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