Static Typing

JavaScript

JavaScript is a high-level, interpreted scripting language that runs natively in web browsers and, via runtimes like Node.js, on servers — making it the primar…

Dart

Dart is a client-optimized, object-oriented programming language developed by Google, best known as the language behind the Flutter cross-platform app framewor…

Elm

Elm is a purely functional programming language that compiles to JavaScript, designed for building reliable front-end web applications with no runtime exceptio…

F#

F# is a functional-first, statically typed programming language on the .NET platform, combining functional programming with object-oriented and imperative capa…

OCaml

OCaml is a statically typed, functional-first programming language from the ML family, known for its strong type system, performance, and use in compilers, for…

Nim

Nim is a statically typed, compiled systems programming language that emphasizes Python-like readable syntax, efficiency, and flexibility through metaprogrammi…

Visual Basic .NET

Visual Basic .NET (VB.NET) is an object-oriented programming language from Microsoft, built on the .NET runtime, designed as the successor to classic Visual Ba…

Delphi

Delphi is an object-oriented programming language and integrated development environment, based on Object Pascal, originally released by Borland in 1995 for ra…

Pascal

Pascal is a procedural, statically typed programming language created by Niklaus Wirth in the early 1970s, designed to encourage structured, disciplined progra…

PowerShell

PowerShell is a cross-platform task automation and configuration management framework from Microsoft, combining a command-line shell with a scripting language…

Haskell

Haskell is a purely functional, statically typed programming language named after logician Haskell Curry, distinguished by lazy evaluation, strong type inferen…

Generics

Generics allow functions, classes, and interfaces to be written in terms of placeholder types that are specified when the code is actually used, enabling reusa…

Static Typing

Static typing is a language design approach in which the type of every variable is known and checked at compile time, before the program runs.

Dynamic Typing

Dynamic typing is a language design approach in which variable types are determined and checked at runtime rather than at compile time, so the same variable ca…

Type Inference

Type inference is a compiler feature that automatically determines the type of an expression or variable from context, without requiring the developer to write…

TypeScript vs JavaScript: What Is the Difference?

TypeScript is a superset of JavaScript that adds a static type system checked at compile time, catching type-related bugs before code ever runs, while JavaScri…

What Are Generics in TypeScript and Why Use Them?

Generics let you write functions, interfaces, and classes that work with a type parameter decided at the call site, so you get full type safety without duplica…