type Text = 'text'

Бессмысленное выражение

ты кложурное (:foo my-map) хочешь?

в эликсире ошибки обрабатываются с помощью tuples

{:ok, a} или {:err, a}

например

По прежнему не понимаю что ты хочешь от языка

Ну синтаксис, ок, и что?

тип и паттерн матчинг для него

посмотри на редукс например

там для этого строки юзают

Я тут уже не раз показывал паттерн матчинг, например

можно было бы просто написать :add_todo

const Point = Type`Point`({ x: Number, y: Number, }) const Shape = Union`Shape`({ Line: { start: Point, end : Point, }, Circle: { center: Point, radius: Number, } }) const { Line, Circle } = Shape const point1 = Point({ x: 0, y: 10 }) const shape1 = Shape({ start: { x: 0, y: 0 }, end : point1, }) shape1.type // => Line { center: { x: 2, y: 2 }, radius: 1 } instanceof Shape // => true { center: { x: 2, y: 2 }, radius: 1 } instanceof Line // => false const shape2 = Shape({ center: { x: 2, y: 2 }, radius: 1 }) shape2.type // => Circle shape2.equals( Circle( { center: { x: 2, y: 2 }, radius: 1 } ) ) // => true

По конкретной строке так же можно матчиться

можно было бы просто написать :add_todo

символ что ли

символ что ли

или символ

...

Символ в других языках не символ?

паскаль через полиномы https://goo.gl/QynH4C

вообще это коэффициенты из бинома Ньютона

const Point = Type`Point`({ x: Number, y: Number, }) const Shape = Union`Shape`({ Line: { start: Point, end : Point, }, Circle: { center: Point, radius: Number, } }) const { Line, Circle } = Shape const point1 = Point({ x: 0, y: 10 }) const shape1 = Shape({ start: { x: 0, y: 0 }, end : point1, }) shape1.type // => Line { center: { x: 2, y: 2 }, radius: 1 } instanceof Shape // => true { center: { x: 2, y: 2 }, radius: 1 } instanceof Line // => false const shape2 = Shape({ center: { x: 2, y: 2 }, radius: 1 }) shape2.type // => Circle shape2.equals( Circle( { center: { x: 2, y: 2 }, radius: 1 } ) ) // => true

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

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

Как по твоему должна выглядеть реализация union type?

кажется это фраза про рекорды, а не юнион тайпы

кстати если будут лишние поля, то инстансОф всё равно сработает?

кстати если будут лишние поля, то инстансОф всё равно сработает?

"поля" — это сахар для функций-валидаторов, валидирующих свою часть объекта. Так что да, сработает

При желании можно отдельно сделать так, чтобы не срабатывал

норм

ну упоминай в суе тут го***

тут бан за го, как в реакт чате за бэм

@gogolang

лол

это наверн из списка чатов идут

?

можно читать sicp, не делая задач оттуда?

можно читать sicp, не делая задач оттуда?

Там же вся суть в задачках

ну ок

Я правда сейчас начал читать HtDP, потом SICP буду

А потом TAOCP?

вроде так все советуют

Не, его читать пока не буду

Оче сложно кмк

рип

@ZeroBias ты sicp читал?

рип

Я пока решил всякие алгоритмы шатать и задачки на литкоде решать, а то что-то во всяких клевых компаниях спрашивают, а я в этом силен был пока сессию не закрыл. ?

литкод?

литкод?

https://leetcode.com/

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

можно читать sicp, не делая задач оттуда?

Многие так и делают.

Многие так и делают.

лел

?

Пробовал кто-нибудь оборачивать монады в промис, чтобы do-нотацию использовать?

async/await там

мне кажется тут генератор лучше подойдет

я думал Cont примерно про это

ERROR: S client not available

Я недавно пробовал переопределить Promise и сделал вместо него свой иммутабельный монадечкский список с апи как у промиса. Но эвэит не завелся, потому что он вместо преобразования в цепочку then в генераторы траншпилит. Использовал другой бабель-плагин, все окей. Но сейчас пришла мысль, что вместо переопределения можно оборачивать, типа const x = await wrap(get()); await wrap(put(x + 1));

Ну да, генераторы, точно

Пробовал кто-нибудь оборачивать монады в промис, чтобы do-нотацию использовать?

Промисы не нужны

Я недавно пробовал переопределить Promise и сделал вместо него свой иммутабельный монадечкский список с апи как у промиса. Но эвэит не завелся, потому что он вместо преобразования в цепочку then в генераторы траншпилит. Использовал другой бабель-плагин, все окей. Но сейчас пришла мысль, что вместо переопределения можно оборачивать, типа const x = await wrap(get()); await wrap(put(x + 1));

https://github.com/fluture-js/Fluture#do

Промисы не нужны

ты не понел, он хотел зделоть просто список, но с методом then, чтобы работала do-нотация (async/await)

Не, там по ссылке таки годная реализация do-нотации через генераторы

а, ну ок

чет блядь подозрительно

зачем тебе столько акков?

эт кто

хз

Народ, а как использовать линзы (например lensProp) на функторах? В официальной справке сигнатура у lensProp такая: Lens s a = Functor f => (a → f a) → s → f s А вот как это применить?

Что означает второй аргумент?

а что ramda юзает Identity/Const функторы?

Попробовал написать так, но не пашет: const xLens = lensProp(a => Maybe.Just(a), 'x') R.view(xLens, Maybe.Just({x: 1, y: 2}));

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

а что ramda юзает Identity/Const функторы?

В доке не уточняется

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

лол)

Попробовал написать так, но не пашет: const xLens = lensProp(a => Maybe.Just(a), 'x') R.view(xLens, Maybe.Just({x: 1, y: 2}));

и тут не линза должна быть, а призма

https://www.stackage.org/haddock/lts-8.23/lens-4.15.1/Control-Lens-Prism.html#v:_Just

Попробовал написать так, но не пашет: const xLens = lensProp(a => Maybe.Just(a), 'x') R.view(xLens, Maybe.Just({x: 1, y: 2}));

и что ты хочешь получить тут?

Я просто попытался понять как использовать в рамде линзы с функторами, и как понять то, что сказано в их сигнатуре )

Не понял что значит аргумент "s"

Не понял что значит аргумент "s"

тип что должен вернуться после применения линзы и view

Так в рамде вообще с функторами линзы работают или нет?

Так в рамде вообще с функторами линзы работают или нет?

видимо ты хочешь такое preview (_Just . _1) (Just (1, 2)) => Just 1

Я сейчас просто хотел понять как выглядит использование этой сигнатуры на практике: Lens s a = Functor f => (a → f a) → s → f s Например для view

ну по хорошему нужно понимать как ведут себя 2 функтора Identity и Const но в рамде такого нет, так что хз ( я не думаю что эта сигнатура правильная в случае рамды)

Ок, спасибо!