Category:Statically typed programming languages

From Wikipedia, the free encyclopedia

Jump to navigation Jump to search

Wikimedia Commons has media related to Statically typed programming languages.

This category lists statically-typed programming languages.

Subcategories

This category has the following 5 subcategories, out of 5 total.

A

• Ada (programming language)‎ (1 C, 33 P)

C

• COBOL‎ (45 P)

D

• Dependently typed languages‎ (14 P)

P

• Pascal (programming language)‎ (6 C, 15 P)

R

• Rust (programming language)‎ (1 C, 1 P)

Pages in category "Statically typed programming languages"

The following 59 pages are in this category, out of 59 total. This list may not reflect recent changes (learn more).

A

• A Manufacturing Language
• Action! (programming language)
• Ada (programming language)
• Agda (programming language)
• AssemblyScript
• Ateji PX

B

• Ballerina (programming language)
• Boo (programming language)

C

• C++
• C (programming language)
• C Sharp (programming language)
• C++23
• COBOL
• Crystal (programming language)
• Cuneiform (programming language)

D

• D (programming language)
• Dafny

E

• EC (programming language)
• Elm (programming language)
• Euclid (programming language)

F

• F Sharp (programming language)
• Fantom (programming language)
• Fortran

G

• Genie (programming language)
• GNU Pascal
• Go (programming language)

H

• Hack (programming language)
• Haskell
• Haxe
• Hope (programming language)

J

• Java (programming language)
• JS++
• Judoscript

K

• Kotlin (programming language)

M

• Mesa (programming language)
• ML (programming language)
• Modula-2

N

• Nim (programming language)

O

• Oberon (programming language)
• OCaml

P

• PascalABC.NET
• PEARL (programming language)
• Plus (programming language)
• PureScript

R

• Reason (programming language)
• Rust (programming language)

S

• Scala (programming language)
• Seed7
• SequenceL
• Solidity
• SPARK (programming language)
• StaDyn (programming language)
• Swift (programming language)

T

• Turing (programming language)
• TypeScript

U

• Umple

V

• Vala (programming language)
• Visual Prolog

Z

• Zig (programming language)

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Statically_typed_programming_languages&oldid=1002657193"

Categories:

• Programming languages

Hidden categories:

• Commons category link from Wikidata