Gradual Typing
Gradual Typing 英語表記: Gradual Typing 概要 段階的型付け（Gradual Typing）とは、一つのプログラム内で静的型付けの安全性と動的型付けの柔軟性を共存させるための、ハイブリッドな […]
静的型強化
このカテゴリの用語
Flow（フロウ）
Flow（フロウ） 英語表記: Flow 概要 Flowは、主にJavaScript言語のために設計された静的型チェッカーです。JavaScriptのように実行時に型が決まる動的型付け言語に対して、開発段階で型エラーを検 […]
TypeScript（タイプスクリプト）
TypeScript（タイプスクリプト） 英語表記: TypeScript 概要 TypeScriptは、Microsoftによって開発されたオープンソースのプログラミング言語で、既存のJavaScriptに「静的型付け […]