А, точно, оператор там тоже есть, (#) = (|>) = (&) = flip ($)

ето

Ну тогда это row, да

А, точно, оператор там тоже есть, (#) = (|>) = (&) = flip ($)

сукаа что за жесть

А, точно, оператор там тоже есть, (#) = (|>) = (&) = flip ($)

Это все алиас одного и того же?

чет сложно

Это все алиас одного и того же?

https://hakonrossebo.github.io/functional-programming-babelfish/ Теперь такое можно тут палить)

Че именно? По моему он там так и определен: flip f b a = f a b f $ x = f x (#) = flip ($) 4 # succ ==> (#) 4 succ ==> flip ($) 4 succ ==> (\b a -> a $ b) 4 succ ==> succ $ 4 ==> succ 4 ==> 5

это где?

Это все алиас одного и того же?

Нет, (&) - хаскель, (|>) - элм/фшарп. Но да, это одно и то же

А)

это где?

https://pursuit.purescript.org/builtins/docs/Prim#t:Union

в чем разница между row и record ?

Рекорд - пример использования row. { a :: B } == Record (a :: B) Record :: # Type -> Type

Eff - другой пример

row — это Set of types, если можно так выразиться

Eff - другой пример

который скоро уберут

а record не set of types?

рекорд это некий юнион оф тайп)

а record не set of types?

Иначе бы он не был row

Рекорд - пример использования row. { a :: B } == Record (a :: B) Record :: # Type -> Type

.

тогда, зачем использовать рекорды вместо rows?

Да рекорд это пример типа с использованием row

Я думал row это про структурные типы

Row сам по себе не тип

kind

оо

Я думал row это про структурные типы

В том числе

вид типа)

kind!

В том числе

То есть в каком-то смысле в флоу есть роу полиморфизм

лолл

У kind есть замечательный перевод, давайте его придерживаться

Кайнд

А то эти виды, сорта...

То есть в каком-то смысле в флоу есть роу полиморфизм

Всё же склоняюсь к тому что нет, просто потому что нет самих row

Всё же склоняюсь к тому что нет, просто потому что нет самих row

нет самих каинд и хкт

Да это несущественно

Всё же склоняюсь к тому что нет, просто потому что нет самих row

а что роу кроме структурных типов делает?

То есть, это перечисление равноправных типов, в котором не важен порядок

То есть, это перечисление равноправных типов, в котором не важен порядок

прям как спец множество и фриер монады (расширяемые эффекты)

Совпадение? Не думаю

оок разобрался

То есть, это перечисление равноправных типов, в котором не важен порядок

это вроде называется открытое множество

ну только мне непонятен тип после стрелки у data Record :: # Type -> Type

это вроде называется открытое множество

Открытое это ж несодержащее своей границы

я имею ввиду https://hackage.haskell.org/package/freer-0.2.4.1/docs/Data-Open-Union.html

ну только мне непонятен тип после стрелки у data Record :: # Type -> Type

Это функция которая принимает строку типов и возвращает другой тип (готовый record)

что значит готовый record?

Тип рекорда

Maybe :: Type -> Type Record :: # Type -> Type Тут вместо аргумента Type используется # Type, то есть множество типов с метками, роу

А в идрисе какой Eff ?

Maybe :: Type -> Type Record :: # Type -> Type Тут вместо аргумента Type используется # Type, то есть множество типов с метками, роу

Maybe же принимает не обязательно тип

Тогда и значение ограничиться только Nothing, если чекер сожрет

кстати когда они уберут Eff в пурсе (наверное новичкам станет проще)

Они с такой мотивацией и убирают

Но это не значит что ими нельзя пользоваться дальше

converge пиздатая штука

converge пиздатая штука

lift тоже)

вот с лифтами я еще не вкурил, что это

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

converge пиздатая штука

https://github.com/xgrommx/from-combinators-to-fp/blob/master/src/index.js#L26 ну а lift это ap + map или of + ap + ap

Поэтому новость "row уберут из одной из библиотек для эффектов" уже звучит конечно не так сенсационно)

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

там фриман все пытается сделать инкрементальное ЛИ

и кстати Eff займет свое имя) https://github.com/natefaubion/purescript-run

ERROR: S client not available

Я из примера в рамде не понял, как оно работает

В рамде оч тупые примеры во всём что касается монад

Я например по этому примеру тоже нихрена не понимаю)

+++

а можно нормальный пример

Я из примера в рамде не понял, как оно работает

https://github.com/ramda/ramda/pull/2190

lift просто поднимает обычную функцию, применяя её сразу к значениям внутри контейнера (монады)

lift же должен брать функцию в контейнере

ля я кажись понял

сложно

типа если здесь смотреть

1+1+1 1+2+1 1+3+1 2+1+1 ...

вот так получается

но какие у этого юзкейсы могут быть?

В рамде оч тупые примеры во всём что касается монад

это аппликатив

Я из примера в рамде не понял, как оно работает

знаешь что такое Декартовое произведение 2 множеств?

знаешь что такое Декартовое произведение 2 множеств?

да с математикой-то понятно

да с математикой-то понятно

ну вот и тут lift(unapply(identity))([1,2,3], [4,5,6])

дурацкий жс

не умеет выводить арность

liftN(2, unapply(identity))([1,2,3], [4,5,6])

не умеет выводить арность

умеет же

хм

умеет же

liftN?)

не умеет выводить арность

func.length

+

вы ничерта не поняли

Да блин

как это помогло lift?

Тут же все понятно