То есть метаданные типа в рантайме

блин давайте обозначим проблему

И это хз зачем нужно

блин давайте обозначим проблему

проблема в том что зигоморфный постит котлин

в джаве типы есть в рантайме но не параметры типов и котлин самую малость позволяет использовать is в компайлтайме так как будто всё ок

это reified видимо

о нет, джава проблемы

Орнул

слово refined не помню и отношения к джс отсюда не вижу

это вообще не достижение языка. просто адхок

слово refined не помню и отношения к джс отсюда не вижу

refined types

предикаты

всё вспомнил

тоже фигня

ну тип офигеть достижение всяких фантомов засовывать в тип

лол

ну тип офигеть достижение всяких фантомов засовывать в тип

Не уверен что мы об одном и том же вообще, каких фантомов?

assert

assert

Поговорил с копипастой — день прошёл не зря ?

Не уверен что мы об одном и том же вообще, каких фантомов?

ну хотя мб и не фантомы. ну тип рефайнед = тип + некоторая информация об ограничении на тип. например только положительные числа (хз какой пример привести с нелитеральными типами). ну и само ограничение на присваивание = рантайм адхок

Я ничё не понял))

Мы описываем функцию, которая выводит тип, нигде кроме её возвращаемого типа еётипы не используются, потому что на тип предиката всем вообще по барабану, а снаружи используется уже нормальный выведеный тип

Ну да, и ещё раз отмечу, что никакая информация об ограничениях на тип вообще не указывается, так как $Pred<N> вообще абстрактен, неспецифичен

https://cs.stackexchange.com/questions/21728/dependent-types-vs-refinement-types

(я воспользовался гуглом и кажется он мне посоветовал что-то не то)

Ну в флоу type refinement это одна из основных концепций, позволяющая статически проверять тип, значение которого выведено в рантайме

ммм

довольно фундаментальное понятие

жаль что узнал о нём только сейчас

https://cs.stackexchange.com/questions/21728/dependent-types-vs-refinement-types

О, второй ответ отсюда поясняет, откуда $Pred

Ну и вкратце в доке https://flow.org/en/docs/lang/refinements/

Ток там без $Refine описано, азы ?

Карочи, котлин не нужен

блин это так всё мелочно

лучше бы зигохистоморф просто кинул ссылку про рс и тип очередной язык с рс – можно спокойно жить

блин это так всё мелочно

чего ты хотел в жс чате

https://github.com/browserify/rustify

блин это так всё мелочно

Тебя зигоморф покусал

Прописываю месячный курс бейсика внутримышечно

((

))

https://github.com/browserify/rustify

ее раст

Не уверен что мы об одном и том же вообще, каких фантомов?

Это норма в чате фп

Чат фп здесь @fp_ru

?

Бля лисперы в чате

((

))

Ретард алерт

рич хикки алерт

Бля алеф нуль пришёл

Щас начнётся лекция

всё в порядке?

Flood programming

бля лол

FP

Flood Reactive Programming

лол

на свифте же можн хорошо писать

ну свифт это для многих просто джава-синтаксис в обжектив-с

ну и да восклицательных знаков много

ну свифт это для многих просто джава-синтаксис в обжектив-с

ват

ну и да восклицательных знаков много

!meme!?.something

ERROR: S client not available

любой человек который хоть немного его знает поймет что это не так

Flood Reactive Programming

Это типа Как только кто-то меняет тему, все мгновенно подхватывают изменения и продолжают набрасывать?

и с проды приходят репорты мол SEGFAULT

а ну да

свифт любит сегфолтить

Эппл как обычно крч

Все свое

ват

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

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

ещё из рофлов тут есть /* abstract */ /* protected */

лол

Что это

ну тип когда ты хочешь сделать протектед как в джаве а злой эпл суёт тебе палки в колёса

(на самом деле видимо это была их тактика против многоуровнево наследования)

(на самом деле видимо это была их тактика против многоуровнево наследования)

Чем это плохо?

это хорошо

В свифте же протоколы

Какие классы и наследование

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

ну наследование тоже есть

блин

в свифте и ооп и поп

проще всё таки сделать BaseLicensesViewController

однвременно

поп?

протокол ориентед

лол ты не сам это придумал?

так протокол это не трейт/тайпкласс?

да оно

тайпкласс без НКТ

тайпкласс без НКТ

ряя

так что всё таки аналогия с трейтом ближе