Говнокод #27901 — JavaScript

Говнокод: по колено в коде.

Нашли или выдавили из себя код, который нельзя назвать нормальным, на который без улыбки не взглянешь? Не торопитесь его удалять или рефакторить, — запостите его на говнокод.ру, посмеёмся вместе!

JavaScript / Говнокод #27901

interface Animal {
  live(): void;
}
interface Dog extends Animal {
  woof(): void;
}
 
type Example1 = Dog extends Animal ? number : string;
 
type Example2 = RegExp extends Animal ? number : string;

function main() {

    let a: Example1;
    a = 10.0;

    print(a);
  
    let b: Example2;
    b = "asd";

    print(b);

    print("done.");
}

"Условные типа" подвезли.... ура ... теперь можно всякую х. наговнокодить..

Запостил:

ASD_77, 28 Декабря 2021

Комментарии (22) RSS

ASD_77 28.12.2021 16:11 # 0
вот более прикольный примерчик
```
type IdLabel = number;
 
type NameLabel = string;

type NameOrId<T extends number | string> = T extends number
  ? IdLabel
  : NameLabel;

function main() {

    let a: NameOrId<number>;
    a = 10.0;

    print(a);
  
    let b: NameOrId<string>;
    b = "asd";

    print(b);

    print("done.");
}
```
Ответить
- guest6 28.08.2023 13:46 # 0
  
  Ребят, спасибо вам всем большое за минусы (тем кто поддерживает конечно же огромное уважение).
  Ответить

ASD_77 28.12.2021 18:14 # 0

а где мои коменты?

Ответить

guest6 28.12.2021 18:18 # +2

я их удалил
Ответить

Steve_Brown 28.12.2021 18:30 # 0

Тут бы придумать какой-нибудь реальный пример.

Ответить

ASD_77 28.12.2021 18:55 # +1

export type Maybe<T> = null | undefined | T;

export interface Path {
    readonly prev: Path | undefined;
    readonly key: string | number;
    readonly typename: string | undefined;
}

/**
 * Given a Path and a key, return a new Path containing the new key.
 */
export function addPath(
    prev: Readonly<Path> | undefined,
    key: string | number,
    typename: string | undefined,
): Path {
    return { prev, key, typename };
}

/**
 * Given a Path, return an Array of the path keys.
 */
export function pathToArray(
    path: Maybe<Readonly<Path>>,
): Array<string | number> {
    const flattened = [];
    let curr = path;
    while (curr) {
        flattened.push(curr.key);
        curr = curr.prev;
    }
    flattened.reverse();
    return flattened;
}

function main() {
    print("Hello");
    let pathArray = pathToArray({
        key: "path",
        prev: undefined,
        typename: undefined,
    });
    for (let x of pathArray) {
        print(x);
    }

    print("Done.");
}

такой пойдет? шас буду проверять работает или нет

Ответить

CHayT 28.12.2021 20:02 # +1

Неправильное у вас Maybe. Второй кейз должен быть обёрнут в конструктор, иначе простое Nullable говно получается, которое нестить нельзя. См. случай T = null или T = Maybe T'.
Ответить
- ASD_77 28.12.2021 23:23 # 0
  
  если T = null то юнион тип не измениться
  Ответить
  - CHayT 29.12.2021 00:39 # 0
    
    Ну так. И это сломает семантику >>= для твоего Maybe.
    Ответить

bormand 28.12.2021 22:18 # 0

А от значений типы могут зависеть?

Например type x = a > 42 ? string : number
Ответить
- bormand 28.12.2021 23:03 # 0
  
  Можно ли описать тип функции, которая возвращает number если её аргумент больше 42 и string в противном случае?
  Ответить
  - 3.14159265 28.12.2021 23:21 # 0
    
    Юнион же: number|string
    Ответить
    - bormand 28.12.2021 23:36 # 0
      
      А где здесь "если её аргумент больше 42"?
      Ответить
      - 3.14159265 28.12.2021 23:44 # 0
        
        Думаю в теле функции.
        А в каких языках такое задаётся прямо в типе?
        
        > Either Int String
        Ответить
        
        CHayT 28.12.2021 23:52 # +2
        
        В петузе, например.
        
        . Inductive req_t : Type := | pd_get | pd_erase | pd_put : Val -> req_t. Definition ret_t req : Type := match req with | pd_get => option Val | pd_put _ => True | pd_erase => True end. Definition State := Map Val. Definition step (pid : PID) (s : State) (req : req_t) : State * ret_t req := match req with | pd_get => (s, s !! pid) | pd_put new_val => (<[pid := new_val]> s, I) | pd_erase => (delete pid s, I) end.
        Ответить
        
        CHayT 29.12.2021 00:32 # 0
        
        P.S. True -- это тип населённый одним единственным элементом, а не булевское значение, если что. Здесь он используется в сёмантике "похуй на возвращаемое значение".
        Ответить
        
        bormand 29.12.2021 00:38 # 0
        
        А можно в одной из веток сделать возвращаемый тип False, чтобы запретить клиенту передавать какие-то значения?
        Ответить
        
        CHayT 29.12.2021 00:49 # 0
        
        См. step, он конструирует значение ret_t. Так что не выйдет. Вообще, это кусок кода про тотальные детерминированные IO handler'ы. Запрет на передачу значений проще закодировать в виде констрейнтов в req_t, чтобы это by construction энфорсилось при написании программы, либо пользоваться другим более общим определением, которое такие вещи позволяет.
        Ответить
        
        Steve_Brown 29.12.2021 11:09 # 0
        
        Типа как в Паскале?
        
        TFigure = record X, Y: Integer; case Kind: Integer of 0: (Width, Height: Integer); // прямоугольник 1: (Radius: Integer); // окружность end;
        Ответить
  - ASD_77 28.12.2021 23:24 # 0
    
    42 это литеральный тип... и с ним можно делать только "!=" или "==". можно создать юнион типа (1 | 2 | 3 | 4 | 5) и сравнивать с ним.. т.е. 1-5 значения или другие
    Ответить
guest6 29.12.2021 02:06 # 0

пыхокал
Ответить
guest6 28.08.2023 13:47 # 0

Ребят, спасибо вам всем большое за минусы (тем кто поддерживает конечно же огромное уважение).
Ответить

Говнокод: по колено в коде.

JavaScript / Говнокод #27901

Комментарии (22) RSS

Добавить комментарий