Inhoudsopgave
4 relaties: Functioneel programmeren, Platform-onafhankelijke software, Technische Universiteit Chalmers, Turingvolledigheid.
- Functionele programmeertaal
- Haskell
- Programmeertaal
- Statisch getypeerde programmataal
Functioneel programmeren
In de informatica is functioneel programmeren een programmeerstijl en een programmeerparadigma.
Bekijken Agda en Functioneel programmeren
Platform-onafhankelijke software
Een toepassing op een computer of een aan een computer aangesloten apparaat, zoals een programmeertaal, software of hardware, heet multiplatform of cross-platform wanneer het op meer dan één systeemplatform werkt, bijvoorbeeld met Linux, Mac en Windows.
Bekijken Agda en Platform-onafhankelijke software
Technische Universiteit Chalmers
De technische universiteit Chalmers (Chalmers tekniska högskola) is een vooraanstaande universiteit op het gebied van natuurwetenschap en technologie.
Bekijken Agda en Technische Universiteit Chalmers
Turingvolledigheid
In de berekenbaarheidstheorie wordt een programmeertaal, of een ander systeem om bewerkingen mee uit te drukken, turingvolledig (vaker: turingcompleet) genoemd als het de uitdrukkingskracht heeft van een universele turingmachine.
Bekijken Agda en Turingvolledigheid
Zie ook
Functionele programmeertaal
- APL (programmeertaal)
- Agda
- C Sharp
- Clean (programmeertaal)
- Elixir (programmeertaal)
- Erlang (programmeertaal)
- Extensible Stylesheet Language Transformations
- F Sharp
- Haskell (programmeertaal)
- Haxe
- JavaScript
- Julia (programmeertaal)
- Lisp (programmeertaal)
- Logo (programmeertaal)
- ML (programmeertaal)
- Maple
- Ocaml
- R (softwarepakket)
- Ruby (programmeertaal)
- Rust (programmeertaal)
- Scala (programmeertaal)
- Swift (programmeertaal)
- XQuery
- قلب
Haskell
Programmeertaal
- ABAP
- APL (programmeertaal)
- Ada (programmeertaal)
- Agda
- Algol 68
- AppleScript
- B (programmeertaal)
- BASIC
- C Sharp
- COMAL
- Clipper (programmeertaal)
- D (programmeertaal)
- Elixir (programmeertaal)
- Erlang (programmeertaal)
- Extensible Stylesheet Language Transformations
- Forth (programmeertaal)
- FreeBASIC
- Go (programmeertaal)
- Groovy
- Haxe
- Java (programmeertaal)
- Julia (programmeertaal)
- Kotlin (programmeertaal)
- Lisp (programmeertaal)
- Logo (programmeertaal)
- Lua (programmeertaal)
- PHP
- PL/M
- Perl (programmeertaal)
- Perl 6
- Processing
- Programmeertaal
- PureBasic
- Python (programmeertaal)
- Scala (programmeertaal)
- Self (programmeertaal)
- Simula
- Smalltalk (programmeertaal)
- Swift (programmeertaal)
- Vala (programmeertaal)
- Visual Basic
- Visual FoxPro
Statisch getypeerde programmataal
- Ada (programmeertaal)
- Agda
- C (programmeertaal)
- C Sharp
- C++
- COBOL
- D (programmeertaal)
- F Sharp
- Fortran
- FreeBASIC
- Go (programmeertaal)
- Hack (programmeertaal)
- Haskell (programmeertaal)
- Haxe
- Java (programmeertaal)
- Kotlin (programmeertaal)
- ML (programmeertaal)
- Modula-2
- Oberon (programmeertaal)
- Ocaml
- Rust (programmeertaal)
- Scala (programmeertaal)
- Swift (programmeertaal)
- TypeScript
- Vala (programmeertaal)