type-checking

👷 TypeScript 最大型別工具函式庫

面向人類的函數參數驗證

🔮 一種令人耳目一新的函數式深度學習方法，與您喜愛的函式庫相容

Teal 的編譯器，Teal 是一種具備型別的 Lua 方言

Ruby 的型別簽章語言

Python 型別檢查器 / 語言伺服器

Python高效能Vision函式庫。擴展你的研究，而非重複的程式碼。

🗺️ 使用最佳實踐的 Python 專案範例 🐍 https://github.com/johnthagen/python-blueprint

🏝 透過 Elixir 函式與 Mock 的型別檢查來實現自動化合約測試

TypeCheck：為 Elixir 專案提供快速且靈活的執行時期型別檢查。