Scala (programming language)

• Functional languages

  • Erlang (programming language)
  • Clojure
  • Ocaml
  • Haskell (programming language)
  • Lisp (programming language)
  • Rebol

• Concurrent programming languages

  • Java language
  • Erlang (programming language)

• Java programming language family

  • Aspectj
  • JavaFX Script

• Object-oriented programming languages

  • Jruby
  • Mixins
  • Jython
  • Smalltalk
  • Ruby (programming language
  • Ocaml
  • Java language

• Curly bracket programming languages

  • Java language
  • Ruby (programming language

• Programming language topics (8)

  • (programming) language
  • Programming paradigms
  • Type safe
  • Software transactional memory
  • Programming language design
  • Programming language design
  • (programming) paradigm
  • Visual programming language
  • Join calculus
  • more...

• Functional programming (52)

  • Algebraic types
  • Anonymous functions
  • Currying
  • Higher order functions
  • ICFP
  • ICFP
  • Immutable objects
  • Parser combinators
  • Simon Peyton Jones
  • Actant
  • Administrative normal form
  • Append
  • Apply
  • Arrow (functional programming)
  • Brouwer–- Heyting–Kolmogorov interpretation
  • Combinatory logic
  • Constructed product result analysis
  • Continuati- on-passing style
  • Deforestation (computer science)
  • Erik Meijer (computer scientist)
  • F-algebra
  • First-class function
  • Functional languages
  • Functional reactive programming
  • Generalized algebraic data type
  • Graph reduction
  • Graph reduction machine
  • Higher-order functions
  • Initial algebra
  • Journal of Functional Programming
  • Lambda calculus
  • List of functional programming topics
  • Lout
  • Monad (functional programming)
  • Monad transformer
  • Option type
  • Philip Wadler
  • Prince XML
  • Pure function
  • Purely functional
  • Quark Framework
  • Recursion schemes
  • Regular number
  • SECD machine
  • Single assignment
  • Strictness analysis
  • System F-sub
  • Total functional programming
  • Type class
  • Type polymorphism
  • Type variable
  • Zipper (data structure)
  • cons
  • more...

• Java platform (8)

  • JVM languages
  • Jvm
  • Lift (web framework)
  • Java byte code
  • JavaRebel
  • JavaRebel
  • Java virtual machine
  • OpenJDK
  • Java language
  • more...

• Programming language classification (24)

  • General-purpose (programming language)
  • Imperative programming
  • Strongly typed
  • (programming) paradigm
  • Applicative programming language
  • Applicative programming language
  • Expression-oriented programming languages
  • Fifth-generation programming language
  • First-generation programming language
  • Fourth-generation programming language
  • High-level programming language
  • Interpreted language
  • Logix (programming language)
  • Low-level programming language
  • Mohol programming languages
  • Pattern directed invocation programming language
  • Programming language generations
  • Programming paradigms
  • Quantum programming
  • Second-generation programming language
  • Synchronous programming language
  • Third-generation programming language
  • Transformation language
  • Very high-level programming language
  • Wide-spectrum language
  • more...

• Programming paradigms (8)

  • Language oriented programming
  • Object-oriented languages
  • Event-based programming
  • Meta programming
  • Prototype based
  • Prototype based
  • Functional programming
  • (programming) paradigm
  • Imperative programming
  • more...

• Type system

  • Dynamically typed
  • Statically typed
  • Type checking
  • Type system (Compatibility: equivalence and subtyping)
  • Type system (Existential types)
  • Type system (Static and dynamic typing)

• Type theory (74)

  • Abstract type
  • Type inference
  • Abstract data type
  • Algebraic types
  • Automath
  • Automath
  • Axiom of reducibility
  • Bottom type
  • Calculus of constructions
  • Calculus of inductive constructions
  • Composite data type
  • Container (Type theory)
  • Covariance and contravariance (computer science)
  • Curry–Howard correspondence
  • Dependent type
  • Duck typing
  • Effect system
  • Enumerated type
  • Generalized algebraic data type
  • Higher-order abstract syntax
  • Initial algebra
  • Intuitionistic type theory
  • Kind (type theory)
  • LF (logical framework)
  • Lambda cube
  • Linear type system
  • Liskov substitution principle
  • Manifest typing
  • Mathematical structure
  • New Foundations
  • Nominative type system
  • Open/closed principle
  • Option type
  • Ordered pair
  • POPLmark challenge
  • Parametricity
  • Principal type
  • Principia Mathematica
  • Product type
  • Prototype based
  • Pure type system
  • Recursive data type
  • Reference type
  • Setoid
  • Signedness
  • Strongly typed
  • Structural type system
  • Substitutability
  • Subtype polymorphism
  • System F
  • System F-sub
  • Tagged union
  • Top type
  • Trait (abstract type)
  • Traits class
  • Tuple
  • Twelf
  • Type checking
  • Type class
  • Type constructor
  • Type conversion
  • Type inhabitation
  • Type polymorphism
  • Type safe
  • Type signature
  • Type soundness
  • Type system
  • Type variable
  • Typed lambda calculus
  • Typeful programming
  • Uniqueness type
  • Unit type
  • Variable (programming)
  • Void type
  • Weak typing
  • more...

• Java programming language

  • Java generics
  • Java concurrency
  • Javapolis
  • Java Posse
  • Jvm
  • OpenJDK
  • Java language

• Articles with example Haskell code (17)

  • Lazy evaluation
  • Algebraic types
  • Comparison of programming languages (list comprehension)
  • Conditional (programming)
  • Filter (higher-order function)
  • Filter (higher-order function)
  • Fold (higher-order function)
  • Generalized mean
  • Guard (computing)
  • Haskell (programming language)
  • Hylomorphism (computer science)
  • Lehmer mean
  • List comprehension
  • Map (higher-order function)
  • Nullary constructor
  • One-liner program
  • Pattern matching
  • Tree traversal
  • more...

• See also (20)

  • Scala, Inc
  • Martin Odersky
  • Tail recursive
  • Syntactic sugar
  • Concurrency
  • Concurrency
  • The Importance of Being Earnest
  • Concurrent programming
  • Message passing
  • Multi-paradigm programming language
  • Dynamic Languages
  • The Pragmatic Programmers
  • Pattern matching
  • Monadic predicate calculus
  • Computer software
  • Twitter
  • Jorge Ortiz de Pinedo
  • Project Euler
  • Alex Payne
  • Pi calculus
  • Antlr
  • more...

more categories...