спасибо

А это разве быстро?

В хаскеле - да

в лени да

На оба поста ответ нет

По крайней мере автор не справился

Но естественно это не значит что это невозможно, просто как факт — текущая имплементация — не быстрая

Насколько можно об этом говорить в хаскеле

хммм

а какое применение?

@ZeroBias как делать полиморфные константы?

const nil: List<T> = new Nil<T>(); типа такого

?????

В плане, как? ? Не оч понял

const nil: List<T> = new Nil<T>(); типа такого

extends ?)

?????

?

Я через интерфейс определял

не в этом дело, нужно, чтобы одна и та же переменная nil имена разный тип в зависимости от использования

cons(1, nil) // nil: Nil<number> cons("q", nil) // nil: Nil<string>

Аа, ну тут уже сложнее Но вообще это контрвариант

тайпкласс ?)

Не

ааа

Сложнее в том плане что вчерашний код по ряду причин не оч к этому готов

Но вообще class Nil<-T>{ }

const nil = new Nil(); const cons = <T>(head: T, tail: List<T>): Cons<T> => new Cons(head, tail); все немного изменилось

Минус — контрвариант, то есть тип, определяемый только на запись (что нам и нужно)

При этом лучше не экономить и каждый Nil создавать через new по месту использования

Минус — контрвариант, то есть тип, определяемый только на запись (что нам и нужно)

+ - ковариант

+ - ковариант

А я про контрварианты)

в скале весело с +/- играться)

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

А это разве быстро?

не быстро не просто не понятно —- три кита функционального программирования

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

не быстро не просто не понятно —- три кита функционального программирования

Сохранил

не быстро не просто не понятно —- три кита функционального программирования

мемы

мемы

я старался

Че вы тут мутите вообще

С нилами

С консами

Че вы тут мутите вообще

Linked list

Если мутишь — мути тихо

Если мутишь — мути тихо

Но вы мутите громко

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

на жс

Ясно

Но вы мутите громко

Если номер не знаком — не поднимай трубку

тардис основан на RState

короч, есть класс List, у него два ребенка - Nil и Cons. Я сделал if (x instanceof Nil) return. Может ли flow понять, что после этого ифа у нас однозначно Cons?

Да

Если это не противоречит твоему типу

const toArray = <T>(arr: List<T>): T[] => { if (arr instanceof Nil) { return []; } return [ $(arr.head), ...toArray(arr.tail) ]; }

Я например сначала объявил, что функция принимает List а потом сделал type inference для Nil И флооу такой — ЭЭэ

property 'head'. Property not found in List

Ну вот да, про это противоречие я и написал, у тебя должен быть либо интерфейс какой-то, либо ещё что

Нельзя вывести тип который противоречит декларации По которой в List есть head

Cons<T> | Nil<T> сойдет?)

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

Cons<T> | Nil<T> сойдет?)

Думаю да

Либо прямо в параметре, либо через дженерик <T, L: Cons<T> | Nil<T>>

ну вот https://gist.github.com/kana-sama/d4520b97b7b64ea0e5f95b6bb3df43e8

убрал всю ненужную лень для перформанса

и типы добавил

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

Я их пишу обычно в другом файле

index.h.js

У всех обмбит с этого, но мне нрм))

https://github.com/zerobias/telegram-mtproto/blob/feature/mtproto3/packages/telegram-mtproto/src/state/index.h.js Типа вот так

Удобно, без циклических зависимостей, ну и так далее

annot x : number; const x = 1; Синтаксис говно такой, но идея понятна

type meme = (a: { is: 'Meme' }) => { _: 'ok' } const meme: meme = (a) => { return { _: 'ok' } } meme(1)

только так)

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

говно

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

в тс можно)

только оно не работает все равно

Ну в контексте жс это хорошо, иначе поехать можно

говно

еее зигоморфизм

\0 \0

ахахахахх

annot x : number; const x = 1; Синтаксис говно такой, но идея понятна

Кстати в большинстве случаев это вообще излишне

для функций мне бы это

Нужно пояснять только дженерики и прочие затруднительные места, остальное должно выводиться самостоятельно

в тс так можно function meme(a: string): void function meme(a) { }

в флоу не уверен

ну вот небольшой бенчмарк

lazy: 995.10693359375ms strict: 157.68798828125ms

разница невелика, можно пользоваться)

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

Без понятия, взято отсюда: http://lambdasoft.ru/posts/2016-03-05--tardis.html

Автор буквально выебнулся базовыми знаниями СТО и ОТО а также стандартной модели даже не приводя никакой корреляции с темой, лол. Неужели у тардиса действительно есть какой-то практичный юзкейс?

Я про этот коммент выше писал

жаль, что я не умею читать

Ну сильно выше) Про то что автор не вывез оптимизацию