на каком они стейдже?

Stage 2, waiting for implementations to advance further

в бабеле ж из stage-1 имплементация

и никто не знает как делать то, что в stage-2

лол

человек вечера — штальц дегуманизировал пользователей фейсбук и не может признать этого

что он сделал?

https://mobile.twitter.com/andrestaltz/status/854770762384891904

смешно, что написал он это в твиттер

Он же постоянно в этом духе пишет (как будто ему 15 лет)

как будто он веган террорист

Обмажутся своим фп, а потом...

лол

Люди! Тут как-то говорили, что монады могут быть очень полезны в регулярной работе. А в чем именно?

это абстракция над композицией вычислений, собственно для композиции)

Банально для di

Это как?

Вот например для dependency injection

Это как?

class A { constructor(a1: A1, a2: A2) {} }

я там про типы говорил же

а монады, которую ты юзаешь - списки или промисы

Это да

Я тут просто прочитал маленькую статью об использовании монад для di. И нифига не понял чем это лучше чем передача зависимостей в виде аргумента или определения их во внешнем объекте. https://glebbahmutov.com/blog/di-vs-io-monad-example/

странная статья если честно

Он часто не очень доступно выражет мысли

При этом смысл кода понятен. А вот преимущества подхода нет.

@elm_ru

А у elm вообще есть какая-нибудь перспектива на счет выхода за пределы фронта?

Если нет, то и перспектива у него сомнительна

Не выдержит конкуренции

слишком специфично мне кажется) можно еще чатик по purescript) там 0 человек будет переписываться)

о, кстати, а есть ли у кого-то purescript в проде

у меня нет

Я пару лет назад вообще начинал писать проект на livescript )

Абу благословил этот тред

интересная идея https://github.com/maiavictor/forall

ого

Yes, it can check claims such as "this function can't produce negative balances" at compile time. 

там trade off забавный :)

it "type-checks" by inspecting with random samples. It can, thus, be wrong sometimes.

лол

Это же просто проперти тесты не?

вот это я не совсем понял эта штука ведь не корректность логики тестирует, а корректность спецификации

надо к Forall.js добавить TS тайпинги (как троллинг)

надо к Forall.js добавить TS тайпинги (как троллинг)

?

it "type-checks" by inspecting with random samples. It can, thus, be wrong sometimes.

По моему сам этот факт это уже отличный троллинг

нет

в таком случае property testing тоже троллинг

или вероятностный алгоритм определения простых чисел

Да, только в системе типов вычмата и не хватало)

почему бы и нет

Кстати про проперти тестинг — для жс есть годные решения? Я помню, кложурный test.check пытались перетащить, но вроде целиком не осилили

Jsverify

Других вроде особо и нет

testcheck ещё

@mkusher @evgeny_kochetkov

Спасибо!

https://github.com/leebyron/testcheck-js/tree/master/src О, это тот самый

Вот Нолэн же на всяких жсных конфах хвастался clojure.spec и test.check'ом и говорил "давайте себе жс-версии запиливайте". А ребята нашли более простой способ :)

но он немного неполный по сравнению с кложей

большинство используют jsverify

я тоже его использовал когда нужно было PBT для compose написать

Testcheck умер уже

Her EX это что за язык

На значок роскомнадзора похож.

Her EX это что за язык

F#

А brother?

Scala

И вообще странно, почему как образец girl you like выбран Haskell? Это что, образец максимального совершенства из того что есть на данный момент?

Если что, я никаких языков кроме js пока не изучал )

Idris и Coq

может быть ещёя язык от 5ht

agda тоже норм

Синтаксис многообещающий

Не могу правда найти на клавиатуре квантор всеобщности, но ето мелочи

)

Возьми R.curry и R.cond

А ещё лучше линзы. В блоге csssr как раз в приложении к ридаксу о них рассказали

А ещё лучше линзы. В блоге csssr как раз в приложении к ридаксу о них рассказали

Что за линзы? В двух словах.

http://blog.csssr.ru/2016/07/08/lenses/

Что за линзы? В двух словах.

Вот

Спасибо.

?

http://blog.csssr.ru/2017/04/25/property-testing/

Люди, тут есть спецы по ramda?

Я сейчас почитываю документацию по методам, и у меня появились кое-какие вопросы.

очевидно @ZeroBias

очевидно @ZeroBias

+

Например есть вопос, в чем разница между uniqBy и uniqWith? Из документации я этого хоть ты тресни не вижу

uniqBy использует R.equals для сравнения

а uniqWith переданную функцию

В uniqBy тоже передается функция для сравнения. И пример приведен в документации: R.uniqBy(Math.abs, [-1, -5, 2, 10, 1, 2]); //=> [-1, -5, 2, 10]