VSCODE智能感知來自何處？

Question

在VSCODE中，我看到以下智能提示：

在探索node_modules/sanctuary/index.js ，我找到了一個toMaybe函數，但是它似乎沒有定義來自這里，因為它們不匹配

//# toMaybe :: a? -> Maybe a
//.
//. Takes a value and returns Nothing if the value is `null` or `undefined`;
//. Just the value otherwise.
//.
//. ```javascript
//. > S.toMaybe (null)
//. Nothing
//.
//. > S.toMaybe (42)
//. Just (42)
//. ```

這與通常顯示的其他功能相反：

兩個問題：

1. 我下一步應該去哪里？
2. 我該如何記錄自己的功能？

更新：

Lukas Bach和ippi指出， Sanctuary.Static.toMaybe<A>(p: A): Maybe<A>來自自動類型獲取功能。

即使從~/Library/Caches/typescript/2.9/node_modules/types-registry刪除了所有@types之后，我仍然看到一些文檔。

我也無法在@types/sanctuary/index.d.ts文件或@types目錄中的任何位置找到文本toMaybe :: a -> Maybe a 。

Answer 1

編程語言TypeScript是JavaScript的超集，它允許為函數和變量定義適當的類型。 可以將TypeScript編譯為JavaScript，從而刪除所有類型注釋，並且可以在編譯過程中導出單獨的類型定義文件（* .d.ts）。 如今，通常直接在模塊存儲庫本身中或作為DefinitelyTyped存儲庫的一部分為JS模塊提供TypeScript類型定義。

要為您自己的代碼獲取此類類型注釋，您可以首先在TypeScript中編寫代碼，也可以自己編寫其他自定義類型定義文件。

這不是編寫類型定義的唯一方法，而是目前最突出的方法。

編輯：好的，我沒有真正調查您之前提到的軟件包。 但是我已經嘗試過了，這就是它給我的IntelliSense批注。

這似乎來自TS鍵入：

toMaybe<A>(p: A | null | undefined): Maybe<A>;

這些類型位於https://www.npmjs.com/package/@types/sanctuary 。