я думал ща сделают хоть какой-нибудь способ кодогенерации по типам и получим программирование на шаблонах как в плюсах

babel

у нас тут в соседнем отделе на плюсах такие конструкции заворачивают

babel

ну кстати да)

babel

а что бабель, у меня свои код трансформы есть, это не проблема. В языке бы из коробки

Ну кстати вообще полнота для генерации реально не необходимое и даже не обязательное условие

а что бабель, у меня свои код трансформы есть, это не проблема. В языке бы из коробки

Зачем?

typelevel-ts это пакет

тогда окэй, спс

так подожди, что хорошего дает тьюринг-комплит система типов?

У тебя есть коробка)

Зачем?

я тайпскриптом один язык в другой компилю. Flash -> typescript. И компилятор ts использую как платформу, у него api для ast трансформов есть. Не сказать чтоб шибко удобное, но есть

я тайпскриптом один язык в другой компилю. Flash -> typescript. И компилятор ts использую как платформу, у него api для ast трансформов есть. Не сказать чтоб шибко удобное, но есть

какой ужас)

какой ужас)

почему ужас?

мыло на шило

gist.github.com

там же нет компилятора тс))

там же нет компилятора тс))

а это не код блэд это ссылка тогда goo.gl

я тайпскриптом один язык в другой компилю. Flash -> typescript. И компилятор ts использую как платформу, у него api для ast трансформов есть. Не сказать чтоб шибко удобное, но есть

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

мыло на шило

а что делать, мыло протухло, а его много тонн

Я просто не понимаю кейса "давайте сделаем хитровывернутые конструкции чтобы было похоже на настоящий язык" когда ты теперь и так можешь просто юзать код для генерации)

Я просто не понимаю кейса "давайте сделаем хитровывернутые конструкции чтобы было похоже на настоящий язык" когда ты теперь и так можешь просто юзать код для генерации)

ну например D так и сделали, там вообще можно в компил тайме код на D испольнять

идрис))

ну например D так и сделали, там вообще можно в компил тайме код на D испольнять

D вообще никому не нужен

мифический язык, на котором ничего нет

и вот этот интерпретатор — это ж ваще полный провал

зачем он там?

чтобы метапрограммить, кодогенерировать и писать на этом же языке генерацию его самого, чтоб не извращаться как на плюсах. Ещё чтобы для заранее известных констант предпосчитать всё и тп

это провал

мифический язык, на котором ничего нет

ты ещё скажи что Александресу с Уолтером Брайтом лохи

как оно работает? там интерпретатор или компиляция?

во время исполнения

ты ещё скажи что Александресу с Уолтером Брайтом лохи

они не лохи, но сделали никому ненужное, а как сейчас еще и выяснилось, — охеренно ацтойное говно

которое либо компили при исполнении, либо с недоинтерпретатором

не хочешь - не ешь. Никто же не навязывает тебе такое делать

но все мы знаем, что если есть возможность сделать говно, то кто-то его обязательно сделает

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

пойду сделаю говно

https://img-9gag-fun.9cache.com/photo/a1Kgv56_700b.jpg

export type Optional<O, K extends keyof O> = Pick<O, Omit<keyof O, K>> & Partial<Pick<O, K>>;

уфффффф

черная магия

import { ObjectOverwrite as Overwrite, StringOmit as Omit } from 'typelevel-ts'; export type Optional<O, K extends keyof O> = Pick<O, Omit<keyof O, K>> & Partial<Pick<O, K>>; export type OptionalCommandInfo = Partial<Overwrite<CommandInfo, { args: Optional<ArgumentInfo, 'prompt'>[]; }>>;

эт че

это мне надо было сделать одну пропертю опциональной в ArgumentInfo

пришлось магию осваивать ?

))

ну и в CommandInfo опциональным вообще всё

Ребза, привет. А есть способ сделать nullable не nullable? Пример: type Indexed<T = {}> = {[key: string]: T} type Extract<T extends Indexed, K extends string> = { data: T[K] } // ... interface Foo { bar: {baz: number} | null } type ExtractedBar = Extract<Foo, 'bar'> // type null is not assignable to type {}

Не хочется потом использовать что-то вроде const bar = this.data! // ExtractedBar

Через Maybe<T> работать

Через Maybe<T> работать

не поможет же

не поможет же

С чего это?

а каким образом поможет?

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

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

А вот дальше она должна быть не nullable

На счет maybe - не получится

fromNullable(value) .map( safeType => )

Это GraphQL сгенерированные типы

fromNullable(value) .map( safeType => )

так тип ж нужен)

Аа, ну там свои приколюхи

Вида type TypeName = { ns1: { ns2: struct... } }

Иногда бывает, что ns2: {...} | null

так тип ж нужен)

fromNullable(x: T | null | void): Maybe<T>

у него есть Maybe<T>, а нужен T

fromNullable(value) .map( safeType => )

напомни пожалуйста, где взять хорошую реализацию maybe?

Может я не догоняю, но да, мне нужно обратное от Maybe

ERROR: S client not available

Sure<T>

Sure<T>

Just<T>

AreYouSure<T>

Причем для const foo = this.data! можно хотя бы так сделать, а для типа type Foo = Maybe<Foo>! не сделаешь

Может я не догоняю, но да, мне нужно обратное от Maybe

Нет, Maybe<T> — это на самом деле структура которая имеет два типа (даже класса) type Maybe<T> = Just<T> | Nothing<T> И фича в том что применение функции fromNullable делит данные на две категории, оставляя внутри .map только безопасные для использования значения

Это для любого типа унифицированная идея

У тебя просто по определению в map не будет нуллов

напомни пожалуйста, где взять хорошую реализацию maybe?

Я свою написал https://github.com/zerobias/apropos/blob/develop/packages/maybe/src/index.h.js В этом на самом деле ничего сложного нет

Хм, наверное я тупой, но не очень понимаю как это применить в рамках react компонента

Я свою написал https://github.com/zerobias/apropos/blob/develop/packages/maybe/src/index.h.js В этом на самом деле ничего сложного нет

понимаю, но хочется реюзать везде одинаковую стандартную реализацию

Вот поэтому я это и написал

оо

а @apropos/maybe публичен?

классно, спасибо!!!

Да, плюс я через основной неймспейс юзаю 'apropos'

о

core

тоже так сделал у себя)

Как минимум все остальные упускают из вида главное — это два простых типа одновременно, ввиду чего меня прям коробило видеть реализации Maybe с проверками isJust() в каждом методе :( А у меня в о многих случаях объекты проходят bypass, и получается максимально дешёвая структура, просто объект { value }

Как минимум все остальные упускают из вида главное — это два простых типа одновременно, ввиду чего меня прям коробило видеть реализации Maybe с проверками isJust() в каждом методе :( А у меня в о многих случаях объекты проходят bypass, и получается максимально дешёвая структура, просто объект { value }

isJust, ееее

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

тоже так сделал у себя)

signature глянь))

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

Я просто решил что раз кода немного, то нет смысла лениться и расписывал каждый кейс дататайпа отдельно

ну если их много и дублируются, можно всегда сделать третий тайп, в котором общие вещи лежат)

Здесь декораторы юзаются потому что формально не меняют тип класса. Это просто вызовы интеропа с системой типов sanctuary и fantasy-land

ну если их много и дублируются, можно всегда сделать третий тайп, в котором общие вещи лежат)

Да,, я сделал его, там toString() лежит) Туи как раз таки такая ситуация, что эти типы практически везде полностью зеркальны (что логично, раз они отражают значение и его отсутствие)

Ввиду чего нет смысла экономить на спичках и пытаться обобщить их, лучше уже с их помощью обобщения делать)

Посмотрел, не понял как это в моем случае поможет.

Ребят, уже писал по поводу яндекс карты. У меня тут неловкий вопрос. Как правильно подключить @types/**** чтобы это потом вошло в релизную сборку. Ибо в отладке у меня все нормально работает, но когда деплою, не находится этот модуль

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