вопрос конечно зачем имея null делать maybe открыт

чтобы не делать постоянные проверки на isNull

ну так maybe ж в js нет

зато есть реализация

ну так maybe ж в js нет

И классов в js тоже нет

спека с тобой несогласна

да и классы особо не нужны

Только прототипы и isNaN спасут js сообщество

чтобы не делать постоянные проверки на isNull

так, в чем отличие type Maybe<T> = T | null от type Maybe<T> = Just<T> | Nothing?

Number.isNaN

и там, и там значение в контейнере и напрямую обращаться к нему нельзя. И там, и там легко пишется функция(fmap), которая применяет функцию к значению в контейнере

Так в чём же отличие классов и нормального реального объявления классов через прототипы? И там и там получаются объекты создаваемые через new

через прототипы чуть больше писать надо

а так разницы нет, если мы про жс

Вот ты и сам ответил на свой вопрос)

я ответил на твой вопрос, не?)

не

тогда можешь чуть подробнее?(

Я понял ваши ответы друг другу, все нормально.

и там, и там значение в контейнере и напрямую обращаться к нему нельзя. И там, и там легко пишется функция(fmap), которая применяет функцию к значению в контейнере

только в случае с null почти все уже есть в языке, а в случае с Maybe Just Nothing надо выдумывать спеки и писать библиотеки без какого-либо выигрыша в будущем

Разницы нет, значит без разницы что использовать и разницы нет, значит не нужно ничего нового придумывать.

так, в чем отличие type Maybe<T> = T | null от type Maybe<T> = Just<T> | Nothing?

В методах

https://gist.github.com/LestaD/5292fa7dd96c44c69c7e6ba91e3309b1

https://gist.github.com/LestaD/5292fa7dd96c44c69c7e6ba91e3309b1

В расте Option)

да, класс короч набрали)

Почему три одинаковых?:)

https://habrahabr.ru/post/327913/

а где же ОО

CLOS

Скажите, а что означает "dispatches to a method..." в ramda? Вот например из описания метода clone: Creates a deep copy of the value which may contain (nested) Arrays and Objects, Numbers, Strings, Booleans and Dates. Functions are assigned by reference rather than copied Dispatches to a clone method if present.

Что означает этот "Dispatches to a clone method if present"? Вообще подобная штука (dispatches) указана для очень многих методов ramda

И как я могу это использовать?

https://github.com/ramda/ramda/blob/v0.23.0/src/clone.js#L28

если передаешь объект и у объекта есть метод clone()

то используется эта функция

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

какие то пропы клонировать какие-то не клонировать

а передавать по референсу

внутри клонируемого объекта

Ух! Спасибо! Странно что примеров такого использования нигде не встречается )

Да, так оно и работает на всех методах что проверил

Не знаю правда зачем может быть нужна такая кастомизация. Ибо любые потенциальные задачи, которые вижу решаются более элегантно (цепочками методов ramda)

хз

плюшка от рамды

Встречал ли кто более полный справочник чем этот? https://github.com/ramda/ramda/wiki/What-Function-Should-I-Use%3F

Просто там представлены ДАЛЕКО не все методы

о спс

я даже не удосужился в вики заглянуть разок : DD

молодцы сделали как у Rx

молодцы сделали как у Rx

А где у Rx это подсмотреть?

https://github.com/Reactive-Extensions/RxJS/blob/master/doc/gettingstarted/which-static.md https://github.com/Reactive-Extensions/RxJS/blob/master/doc/gettingstarted/which-instance.md

http://reactivex.io/rxjs/ вот тут еще в низу страницу

Еще вопрос по рамда. Есть в там метод pipeK, который отличается (если я правильно понял) от обычного pipe только тем, что каждая используемая в нем функция должна возвращать один и тот же тип. Короче, это строго "однотипный" pipe. Вопрос: когда это вообще бывает нужно?

легче всего нагуглить на gist.github.com

Либо не понял как там это искать, либо просто ничего нет :/

https://gist.github.com/search?l=JavaScript&q=pipeK%28&ref=searchresults&utf8=%E2%9C%93

справа теги юзай чтоб скоуп поиска сжать

да действительно ничего адекватного

К тому же у меня вопрос по предназначению метода (то-есть, ЗАЧЕМ его использовать), а не по тому КАК его использовать.

Если чисто логически, то нафиг может быть нужен строго типизированный пайп или компоуз?

https://github.com/Reactive-Extensions/RxJS/blob/master/doc/gettingstarted/which-static.md https://github.com/Reactive-Extensions/RxJS/blob/master/doc/gettingstarted/which-instance.md

Спасибо! Но как я понимаю это для RxJs 4?

Судя по всему, да :/

вот же

http://reactivex.io/rxjs/ вот тут еще в низу страницу

внизу страницы селекторы

вот гитхаб 5ой

https://github.com/ReactiveX/RxJS

только что обнаружил sanctuary js

: D

походу оно в мейнстриме юзать рамду с санкчуари

http://reactivex.io/rxjs/ вот тут еще в низу страницу

Да, но немного не то, хотелось бы конечно табилицей - но сойдет.

Для таблицы тогда может помочь это https://github.com/ReactiveX/rxjs/blob/master/MIGRATION.md

Я тоже предпочитаю видеть все сразу )

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

не понимаю !== не используют

Не знаю правда зачем может быть нужна такая кастомизация. Ибо любые потенциальные задачи, которые вижу решаются более элегантно (цепочками методов ramda)

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

Если чисто логически, то нафиг может быть нужен строго типизированный пайп или компоуз?

Это значит, что эта функция гарантированно возвращает именно тот же тип, что и был на входе, из чего следует вывод о её полной типобезопасности. Более того, по фп законам это означает, что функция может взять ЛЮБОЙ тип, сделает свои преобразования и вернёт именно его же

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

Ну вот так вот

Фп типы имеют такое свойство

что такое "фп типы"?

а типизация нужна, чтобы отлавливать ошибки в compile-time // ваш КО

что такое "фп типы"?

ADT наверно

хз)

ADT наверно

наверн)

ну все равно не понимаю, чем a -> a безопаснее какого-нибудь a -> f a

и что значит безопасность вообще в этом ключе

Если сложить вместе два числа, то каким типом будет обладать результат?

результат сложения? Вероятно тоже число

А почему ты в этом уверен?

Num a => a -> a -> a

Воот

так что?

Только не а, а конкретно Number -> Number -> Number

нет

не конкретно Number -> Number -> Number

в этом ж смысл