Синтаксис такой будет

что бы это ни значило

и все равно я Algebra без этого гемороя не напишу HKT

Ну да

вот когда hkt появится вот тогда и поговорим :D а так это два поделия

link?

https://github.com/facebook/flow/releases/tag/v0.49.0

Added support for parsing opaque types. Type system support coming soon.

В 50 версии на гитхабе вроде уже вообще должно работать)

вот когда hkt появится вот тогда и поговорим :D а так это два поделия

^_

спамеры

В 50 версии на гитхабе вроде уже вообще должно работать)

че там с мтпрото?

opaque type Counter: Box<T> = Container<T>

А что это Оо

https://github.com/gpujs/gpu.js

А что это Оо

Хороший вопрос ? Я увидел в релизе загадочный анонс opaque types, пошерстил в репе и нашёл, как они будут выглядеть; это — пример из валидного теста. Предназначение могу только предполагать)

https://github.com/gpujs/gpu.js

воу

Хороший вопрос ? Я увидел в релизе загадочный анонс opaque types, пошерстил в репе и нашёл, как они будут выглядеть; это — пример из валидного теста. Предназначение могу только предполагать)

какие преположения?

https://en.wikipedia.org/wiki/Opaque_data_type

Да, эту статью я в первую очередь открыл)

как это связано с этим синтаксисом неясно от слова совсем

Вот да)

а ссылку можно на что-нибудь? на пул реквест или то где ты достал ту строку

не гуглится никак

какие преположения?

Новый тип на основе старого, например. Видишь как бы контейнер меняется, как monad transformer

https://github.com/facebook/flow/releases/tag/v0.49.0

вот здесь)

Ща сам файл скину

Интригует, что это далеко не всё, что добавили в теччении всего одного релиза

https://github.com/facebook/flow/blob/master/src/parser/test/flow/types/opaque_aliases/valid/opaque_subtype.js

хыхы https://github.com/gcanti/recursion-schemes-ts

до пизды

на анаморфизме js дохнет

потому что лени нет

крч это как алиасы. declare opaque type FBID = number; видимо предназначены для экспорта

хотя хз в счём разница тогда с алиасами - зачем новое слово

Интригует, что это далеко не всё, что добавили в теччении всего одного релиза

А именно — добавили $ElementType — mapped types const obj = { number: 1, string: "test" } function getValue<Key: string>(key: Key): $ElementType<typeof obj, Key> { return obj[key]; } const x: number = getValue('number') const y: string = getValue('string') // errors below // const a: string = getValue('number') // const b: number = getValue('string') И, та даам, $Values — видимо решили проблему с $ObjMap

хотя хз в счём разница тогда с алиасами - зачем новое слово

Они непрозрачны и не равняются старому типу, opaque type Num = number Num не будет принимать значения number

Старые типы были всегда структурно равны

хмм. opaque... непрозрачны...

ну ладно ок

крутая штука

а как для них конструктор объявить?

const a: Num = ???

наверное вывод будет

ну или тип они только в одну сторону приводятся

ладно, оставим гадания на кофейной гуще

ладно, оставим гадания на кофейной гуще

+

функция с Num аргументом принимает number но не наоборот

Они непрозрачны и не равняются старому типу, opaque type Num = number Num не будет принимать значения number

это типо brand?

или tagged

ХЗ

)

Я только вижу, что в примере мы как-то поменяли контейнер, сохранив дженерик) Если это так, то на этом можно строить HKT и прочее

да ну

в котлине вон тоже тайпалиасы с дженериками

никак не помогает НКТ

Я просто давно экспериментировал с этим вслед за gcanti, вижу тут несколько новых идей для реализации ?

он или я его мысли вчера прочиатли)) https://github.com/gcanti/recursion-schemes-ts/blob/master/src/index.ts#L5

Я просто давно экспериментировал с этим вслед за gcanti, вижу тут несколько новых идей для реализации ?

не сделать норм HKT ни в flow, ts...

не сделать норм HKT ни в flow, ts...

У них абсолютно разные подходы, не надо обобщать) В flow нормальный вывод типов, проблема в отдельных косяках технического плана. Например existential type — мощная фича для механизма вывода типов. Но на другом уровне закостылили понятие файла и поэтому * работает только при объявлении и выводе в одном файле

https://github.com/gcanti/recursion-schemes-ts/issues/1

надо обобщать для изоморфизма любого, а не для A -> Fix, Fix -> A

клингонский ?

алгебра должна быть не завязана на одном Fix

нужны только embed, project а все эти cata,ana,para и прочие просто выводятся через них

Читаю сейчас обсуждения насчет sanctuary, и ее сравнения с ramda. Он том насколько она более соответствует строгости следования fandasy-land и вообще работе с типами, по сравнению с ramda. И думаю, почему такие местные продвинутые люди как @xgrommx до сих-пор не перешли еще на sanctuary? )

Читаю сейчас обсуждения насчет sanctuary, и ее сравнения с ramda. Он том насколько она более соответствует строгости следования fandasy-land и вообще работе с типами, по сравнению с ramda. И думаю, почему такие местные продвинутые люди как @xgrommx до сих-пор не перешли еще на sanctuary? )

?

ERROR: S client not available

В смысле, для тебя преимущества sanctuary не очевидны?

Строгость не нужна?

какие? что это медленно?

у меня haskell и purescript есть для строгости

Я ее сам еще не использовал. Но судя по обсуждениям, я так понял, что медленность у нее начинается только если включены рантайм проверки

еще в sanctuary filterM не правильный

у меня haskell и purescript есть для строгости

Это все-таки другие языки ) Я так понял что рамду ты используешь из-за необходимости работы в стэке js (сам вроде говорил)

ох блин

я понял как сделать мутуморфизм

mutu :: Recursive t => (Base t (a, a) -> a) -> (Base t (a, a) -> a) -> t -> a mutu = go where go f g = g . fmap (go g f &&& go f g) . project

evenOdd :: Nat -> Bool evenOdd = mutu f g where f ZeroF = False f (SuccF (b, _)) = b g ZeroF = True g (SuccF(b, _)) = b

прелесть мутуморфизма вроде в том, что callstack элиминируется

а как вам такая рыба?)) infixr 9 <>< f <>< g = f . project . g

кто скажет зачем это?)

:t project

ну почти тоже что и Fix

project :: Recursive t => t -> Base t t

Не, сдаюсь

Рекурсив, бейс

это позволяет делать композиции для алгебр, потом просто скормить эту композицию в cata и это будет одна проходка для катаморфизма

(cata $ map'' (* 10) <>< map'' (* 100) <>< filter'' even) [1 .. 10]

бля

параморфизм через хистоморфизм myPara :: (Corecursive t, Recursive t) => (Base t (t, a) -> a) -> t -> a myPara psi = snd . histo (embed . fmap (fst . extract) &&& psi . fmap extract)

Читаю сейчас обсуждения насчет sanctuary, и ее сравнения с ramda. Он том насколько она более соответствует строгости следования fandasy-land и вообще работе с типами, по сравнению с ramda. И думаю, почему такие местные продвинутые люди как @xgrommx до сих-пор не перешли еще на sanctuary? )

Я не юзаю, потому что жирноватый подход)

параморфизм через хистоморфизм myPara :: (Corecursive t, Recursive t) => (Base t (t, a) -> a) -> t -> a myPara psi = snd . histo (embed . fmap (fst . extract) &&& psi . fmap extract)

а что за &&&

а что за &&&

Иии

это из стрелок, можно взять более категориальное например бифунктор

это значит \t -> (f t, g t)

f &&& g

Иии

:D

cata проще через histo cata' :: Recursive t => (Base t a -> a) -> t -> a cata' f = histo (f . fmap extract)