Jak określić dokładne pochodzenie typu?

Tak się złożyło że w mam w teście dwie zależności "mocha" oraz "typescript". Obie one precyzują typ Document.

Jak deklaruję zmienną, powiedzmy const value: Document, to IDE podpowiada mi że value może być zarówno typu Document z "mocha" jak i z "typescript". Są to inne typy, nie mają ze sobą nic wspólnego oprócz nazwy. Ja konkretnie chcę użyć Document jako typ z "mocha".

Jak sprecyzować dokładnie skąd ma być wzięty ten typ?

Nie możesz zaliasować tego importu?

import { Document as MochaDocument } from 'mocha';

Saalin napisał(a):

Nie możesz zaliasować tego importu?

Kopiuj

import { Document as MochaDocument } from 'mocha';

A jak zaimportować typ Document z "typescript"?

Riddle napisał(a):

A jak zaimportować typ Document z "typescript"?

ekhm... no dosłownie:

import Document from 'typescript';

:)

No ale jak nie zaimportujesz typu z mocha to będzie użyty ten domyślny, czyż nie?
Możesz też użyć:

const value: globalThis.Document

Albo po prostu użyć typu zwracanego przez coś innego:

const value: ReturnType<typeof funkcjaZwracajacyDobryTyp>;

to ostatnie jest przydatne do setTimeout które potrafi zwrócić number lub NodeJS.Timeout w zależności gdzie użyjemy kodu a musimy użyć tego samego typu do clearTimeout.

obscurity napisał(a):

Riddle napisał(a):

A jak zaimportować typ Document z "typescript"?

ekhm... no dosłownie:

Kopiuj

import Document from 'typescript';

No coś nie bardzo. Może coś robię źle?

tsconfig.json:

{
  "compilerOptions": {
    "lib": ["DOM"],
    "allowImportingTsExtensions": true
  }
}

TSError: ⨯ Unable to compile TypeScript:
render/unit/render.ts(8,9): error TS2305: Module '"typescript"' has no exported member 'Document'.

    at createTSError (C:\Users\riddle\WebstormProjects\4play.v2\test\node_modules\ts-node\src\index.ts:859:12)
    at reportTSError (C:\Users\riddle\WebstormProjects\4play.v2\test\node_modules\ts-node\src\index.ts:863:19)

Zarówno import z "typescript" jak i "ts-node" mówi że nie ma Document. Jak odpalam kod i piszę typ Document, nigdzie go nie deklarując to działa normalnie, tylko problem jest taki że to jest implicit.

A ja chciałbym wskazać explicit skąd ten typ jest. Tylko właśnie problem jest taki że nie wiem skąd jest :D

Riddle napisał(a):

render/unit/render.ts(8,9): error TS2305: Module '"typescript"' has no exported member 'Document'.

No masz rację, to importuje typ ts jako Document i co prawda jakoś to się kompiluje ale robi co innego. Widzę że Document jest zdefiniowane w typescript/lib ale nie wyeksportowane.

Szczerze to co robisz nie jest standardową praktyką i nie za bardzo rozumiem co chcesz osiągnąć? Czemu po prostu nie możesz nie importować innych typów i w ten sposób zostaniesz ze standardowym? Kartkując internet wydaje się że globalThis jest rozwiązaniem na Twój "problem".
Możesz też zrobić własny plik jakiś dom.ts i reeksportować ten dokument

export interface Document extends globalThis.Document {}

wtedy możesz "zaimportować" go ze swojego pliku i uniknąć pisania globalThis za każdym razem.

obscurity napisał(a):

Szczerze to co robisz nie jest standardową praktyką i nie za bardzo rozumiem co chcesz osiągnąć? Czemu po prostu nie możesz nie importować innych typów i w ten sposób zostaniesz ze standardowym?

To nie jest tak że ja "coś robię".

Zapytałem jak zaimportować Document, i powiedziałeś że import Document from 'typescript'; - co się okazało później że się nie da, bo nie jest eksportowane.

Tak, mea culpa, tak na szybko napisałem w ramach testu i nawet się skompilowało i zadziałało (bez dodawania nawiasów) ale robi to całkiem co innego, dałem natomiast 3 inne działające rozwiązania

obscurity napisał(a):

Tak, mea culpa, tak na szybko napisałem w ramach testu i nawet się skompilowało i zadziałało (bez dodawania nawiasów) ale robi to całkiem co innego, dałem natomiast 3 inne działające rozwiązania

W sumie to dałeś jedno, bo "nie importować", to jest to co mam teraz w kodzie; a drugie to użyć globalThis, przy czym to też nie jestem do końca tego pewien, bo przecież inne moduły też mogą zadeklarować Document w globalnej przestrzeni, ? dobrze myslę?

A chciałbym to zaimportować, żeby wiedzieć skądś jakie typy się biorą, i żeby kod był samoopisowy. Jak buduję np graf, i widze typ Node to chciałbym wiedzieć czy on się wziął z TS, czy to jest mój typ czy się wziął z biblioteki jakiejs.

Riddle napisał(a):

W sumie to dałeś jedno, bo "nie importować", to jest to co mam teraz w kodzie; a drugie to użyć globalThis, przy czym to też nie jestem do końca tego pewien

Z tym to dałem nawet 4 rozwiązania:

1. Nie importowanie innego dokumentu (normalne podejście)
2. użycie globalThis.Document
3. re-eksport typu Document z pliku który na pewno nie importuje innego dokumentu, wtedy masz pewność że używasz właściwego
4. użycie ReturnType na czymś co zwraca Document

przecież inne moduły też mogą zadeklarować Document w globalnej przestrzeni, ? dobrze myslę?

Typescript się musi tłumaczyć na javascript. Jak ktoś nadpisze Document w globalnej przestrzeni javascript to jeśli go sobie wcześniej nie zapisałeś do innej zmiennej to żadna magia typescripta tego nie przywróci, możesz go sobie jedynie odzyskać z document.__proto__.__proto__.
A typescript nie pozwoli na redefinicję Document, jedynie na jego rozszerzanie. To by było mega dziwne gdyby jakiś moduł nadpisywał globalne typy.

Ale słaby ten typescript, żeby Document był implicitly imported.

Nawet nie mam "DOM" w "libs", więc czemu mi wsadził ten typ z niczego? Co to w ogóle za dziwna magia że używa się typu, który nie dość że jest domyślnie władowany w scope, to jeszcze nie jest nawet exportowany że nie można go explicitly zaimportować ;|

Riddle napisał(a):

Ale słaby ten typescript, żeby Document był implicitly imported.

Co to w ogóle za dziwna magia że używa się typu, który nie dość że jest domyślnie władowany w scope, to jeszcze nie jest nawet exportowany że nie można go explicitly zaimportować ;|

To w ogóle nie własność typescripta tylko javascript który ma domyślne "zaimportowane" typy w zależności od środowiska. Trochę inne dostępne typy będą w przeglądarce, inne w node.js.
W tsconfig.json masz lib a tam dom i w tym module masz te deklaracje które trafiają do globalnego kontekstu. Przykładowo React i inne frameworki deklarują te globalne typy samemu żeby dało się użyć w testach @types/react/global.d.ts bez używania libki dom. Tak to po prostu działa, javascript jest starszy niż moduły i namespace'y.

Nawet nie mam "DOM" w "libs", więc czemu mi wsadził ten typ z niczego?

Nie powinno go tam być, naciśnij F12 żeby zobaczyć skąd przyszedł, pewnie tak jak pisałem wyżej dostarczył go framework którego używasz

obscurity napisał(a):

Riddle napisał(a):

Ale słaby ten typescript, żeby Document był implicitly imported.

Co to w ogóle za dziwna magia że używa się typu, który nie dość że jest domyślnie władowany w scope, to jeszcze nie jest nawet exportowany że nie można go explicitly zaimportować ;|

To w ogóle nie własność typescripta tylko javascript który ma domyślne "zaimportowane" typy w zależności od środowiska. Trochę inne dostępne typy będą w przeglądarce, inne w node.js.
W tsconfig.json masz lib a tam dom i w tym module masz te deklaracje które trafiają do globalnego kontekstu. Przykładowo React i inne frameworki deklarują te globalne typy samemu żeby dało się użyć w testach @types/react/global.d.ts bez używania libki dom. Tak to po prostu działa, javascript jest starszy niż moduły i namespace'y.

Ale ja nie mam "dom" w "lib", więc nie wiem czemu ten typ ejst dodany tak czy tak.

obscurity napisał(a):

Nie powinno go tam być, naciśnij F12 żeby zobaczyć skąd przyszedł, pewnie tak jak pisałem wyżej dostarczył go framework którego używasz

Jakie F12, o czym Ty gadasz? Przecież ja tego nie uruchamiam w przeglądarce, tylko normalnie na localu, mam typescript, mocha do testów i nic więcej. Nie mam "dom" w "lib", a i tak typ Document jest wsadzony.

obscurity napisał(a):

Riddle napisał(a):

Ale słaby ten typescript, żeby Document był implicitly imported.

Co to w ogóle za dziwna magia że używa się typu, który nie dość że jest domyślnie władowany w scope, to jeszcze nie jest nawet exportowany że nie można go explicitly zaimportować ;|

To w ogóle nie własność typescripta tylko javascript który ma domyślne "zaimportowane" typy w zależności od środowiska.

No tak, i JavaScript w Node nie ma document, więc tego typu powinno nie być, zwłaszcza że nie mam "dom" w "lib".

obscurity napisał(a):

F12 w visual studio code, przejdzie do definicji typu

Pokazuje interface Document extends Node, DocumentOrShadowRoot, FontFaceSource, GlobalEventHandlers, NonElementParentNode, ParentNode, XPathEvaluatorBase z lib.dom.d.ts.

a lib w tsconfig masz puste czy w ogóle brak bo to dwie różne rzeczy? Jeśli nie masz w ogóle lib to dołączane są standardowe definicje, w tym dom, możesz nie importować niczego dodając do tsconfig

"noLib": true, 

ale wtedy nie będziesz miał nawet najbardziej podstawowych typów typu Array

obscurity napisał(a):

a lib w tsconfig masz puste czy w ogóle brak bo to dwie różne rzeczy? Jeśli nie masz w ogóle lib to dołączane są standardowe definicje, w tym dom, możesz nie importować niczego dodając do tsconfig

Kopiuj

"noLib": true, 

ale wtedy nie będziesz miał nawet najbardziej podstawowych typów typu Array

No to powiem, super ten typescript.

A jak mieć typ array, ale nie mieć "dom"? Innymi słowy, jak mieć typy które daje node?

dając puste lib albo tylko wersję standardu

"lib": ["ES2023"],

obscurity napisał(a):

dając puste lib albo tylko wersję standardu

Kopiuj

"lib": ["ES2023"],

Jak to dałem, to typ Document nadal jest zdefiniowany niejawnie.

Faktycznie jak dam "noLib": true, to Document już nie jest dodawany niejawnie, ale tak jak mówiłes, Array też nie ma.

Riddle napisał(a):

Jak to dałem, to typ Document nadal jest zdefiniowany niejawnie.

To ciekawe, "u mnie działa".
Może mocha dodaje jakoś ten typ niejawnie? Pokaż całe tsconfig

obscurity napisał(a):

Riddle napisał(a):

Jak to dałem, to typ Document nadal jest zdefiniowany niejawnie.

To ciekawe, "u mnie działa".
Może mocha dodaje jakoś ten typ niejawnie? Pokaż całe tsconfig

tsconfig.json

{
  "compilerOptions": {
    "lib": ["ES2023"],
    "allowImportingTsExtensions": true
  }
}

Używam też ts-node/register żeby odpalić testy w TS.

wygląda to na kolejną ułomność intellij. A kompiluje się normalnie i działa ten typ czy tylko IDE tak pokazuje?

obscurity napisał(a):

wygląda to na kolejną ułomność intellij. A kompiluje się normalnie i działa ten typ czy tylko IDE tak pokazuje?

Kolejny nietrafiony wniosek, bo jak odpalam z command line'a to jest ten sam efekt.

Jeśli przez "kompiluje się i działa normalnie ten typ" masz na myśli "typescript niejawnie dodaje typ z domu, mimo że go nikt o to nie prosił", to tak.

Dobra, dzięki @obscurity za pomoc na razie. Idę programować dalej (z niejawnym Document w scopie jako prezent od typescripta).

No nie jestem w stanie "pomóc", w nowym projekcie działa to normalnie, prosty wniosek że masz coś zrąbane w swoim. Programuj, może dojdziesz do jakichś realnych problemów

obscurity napisał(a):

No nie jestem w stanie "pomóc", w nowym projekcie działa to normalnie, prosty wniosek że masz coś zrąbane w swoim. Programuj, może dojdziesz do jakichś realnych problemów

yarn add mocha
yarn add typescript
yarn add ts-node

tyle zrobiłem. tsconfig.json widziałeś. To nie jest "normalny" projekt?