Ctrl+Enter bg ', v new tab d domain search t Top !, 1 !bang dropdown esc out of bangs s Did you mean r related topics m main results More explanation...
Statically typed programming languages
Ada (programming language) Ada is a structured, statically typed, imperative, wide-spectrum, and object-oriented high-level computer programming language, extended from Pascal and other languages.
Adenine (programming language) Adenine, named after the nucleobase adenine, is a scripting language that is cross-platform, which is developed in the context of project Haystack and Project Oxygen of the Massachusetts Insti...
Ateji PX Ateji PX is an object-oriented programming language extension for Java.
Boo (programming language) Boo is an object-oriented, statically typed, general-purpose programming language that seeks to make use of the Common Language Infrastructure's support for Unicode, internationalization, and web applications, while using a Python-inspired syntax and a special focus on language and compiler...
C (programming language) In computing, C is a general-purpose programming language initially developed by Dennis Ritchie between 1969 and 1973 at AT&T Bell Labs.
C Sharp (programming language) C♯ is a multi-paradigm programming language encompassing strong typing, imperative, declarative, functional, procedural, generic, object-oriented (class-based), and component-oriented programming disciplines.
C++ C++ is a general purpose programming language that is free-form and compiled.
D (programming language) The D programming language is an object-oriented, imperative, multi-paradigm system programming language created by Walter Bright of Digital Mars.
F Sharp (programming language) F# is a strongly typed, multi-paradigm programming language encompassing functional, imperative and object-oriented programming techniques.
Fortran Fortran (previously FORTRAN, derived from Formula Translating System) is a general-purpose, imperative programming language that is especially suited to numeric computation...
Genie (programming language) Genie is a modern, general-purpose high-level programming language in active development since 2008. It was designed as an alternative, simpler and cleaner dialect for the Vala compiler, while preserving the same functionality of the Vala language.
GNU Pascal GNU Pascal (GPC) is a Pascal compiler composed of a frontend to GNU Compiler Collection (GCC), similar to the way Fortran and other languages were added to GCC. GNU Pascal is ISO 7185 compatible...
Haskell (programming language) Haskell is a standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing. It is named after logician Haskell Curry. In Haskell, "a function is a first-class citizen" of the programming language.
Java (programming language) Java is a computer programming language that is concurrent, class-based, object-oriented, and specifically designed to have as few implementation dependencies as possible.
ML (programming language) ML is a general-purpose functional programming language developed by Robin Milner and others in the early 1970s at the University of Edinburgh, whose syntax is inspired by ISWIM. Historically, M...
Pascal-XSC Pascal-XSC is a Pascal compiler oriented towards scientific computation.
Pascal/MT+ Pascal/MT+ was an ISO 7185 compatible Pascal compiler written in 1980 by Michael Lehman, founder of MT MicroSYSTEMS of Solana Beach, California.
PEARL (programming language) PEARL, or Process and Experiment Automation Realtime Language, is a computer programming language designed for multitasking and real-time programming.
Plus (programming language) Plus is a "Pascal-like" system implementation language from the University of British Columbia (UBC), Canada, based on the SUE system language developed at the University of Toronto, circa 1971.
Prospero Pascal Prospero Pascal is an ISO 10206-compatible Pascal compiler, produced by Prospero Software of England.
Scala (programming language) Scala is an object-functional programming and scripting language for general software applications, statically typed, designed to concisely express solutions in an elegant, type-safe and lightweight manner. Scala has full support for functional programming.
Seed7 Seed7 is an extensible general-purpose programming language designed by Thomas Mertes.
SPARK (programming language) SPARK is a formally-defined computer programming language based on the Ada programming language, intended to be secure and to support the development of high integrity software used in applicati...
Umple Umple is a language for both object-oriented programming and modeling with class diagrams and state diagrams.
Vala (programming language) Vala is an object-oriented programming language with a self-hosting compiler that generates C code and uses the GObject system.
Visual Prolog Visual Prolog, also formerly known as PDC Prolog and Turbo Prolog, is a strongly typed object-oriented extension of Prolog.