Spis treści
10 kontakty: Automatyczne dowodzenie twierdzeń, Język programowania, Ocaml, Polimorfizm (informatyka), Programowanie funkcyjne, Programowanie obiektowe, Przetwarzanie współbieżne, Robin Milner, Standard ML, Wartościowanie leniwe.
- Języki funkcyjne
- Proceduralne języki programowania
Automatyczne dowodzenie twierdzeń
Automatyczne dowodzenie twierdzeń (ang. automated theorem proving) – proces, w którym komputer rozstrzyga czy dane twierdzenie jest dowodliwe w jakiejś teorii, często przy okazji generując jego dowód.
Zobaczyć Meta Language i Automatyczne dowodzenie twierdzeń
Język programowania
Język programowania – zbiór zasad określających, kiedy ciąg symboli tworzy program komputerowy oraz jakie obliczenia opisuje.
Zobaczyć Meta Language i Język programowania
Ocaml
#TAM OCaml.
Zobaczyć Meta Language i Ocaml
Polimorfizm (informatyka)
Polimorfizm (z gr. wielopostaciowość) – mechanizmy pozwalające programiście używać wartości, zmiennych i podprogramów na kilka różnych sposobów.
Zobaczyć Meta Language i Polimorfizm (informatyka)
Programowanie funkcyjne
Programowanie funkcyjne – filozofia i metodyka programowania będąca odmianąprogramowania deklaratywnego, w której wykorzystuje się to, że funkcje należądo typów pierwszoklasowych.
Zobaczyć Meta Language i Programowanie funkcyjne
Programowanie obiektowe
Programowanie obiektowe (ang. object-oriented programming, OOP) – paradygmat programowania, w którym programy definiuje się za pomocąobiektów – elementów łączących stan (czyli dane, nazywane najczęściej atrybutami) i zachowanie (czyli procedury, tu: metody).
Zobaczyć Meta Language i Programowanie obiektowe
Przetwarzanie współbieżne
Przetwarzanie współbieżne (ang. concurrent computing) – przetwarzanie oparte na współistnieniu wielu wątków lub procesów, operujących na współdzielonych danych.
Zobaczyć Meta Language i Przetwarzanie współbieżne
Robin Milner
Robin Milner (ur. 13 stycznia 1934 w Plymouth, zm. 20 marca 2010 w Cambridge) – brytyjski informatyk, Laureat nagrody Turinga w 1991 roku i EATCS w roku 2005.
Zobaczyć Meta Language i Robin Milner
Standard ML
Standard ML (SML) – język programowania funkcyjnego powstały w 1990 roku jako pierwszy standard języka ML (ang. Meta Language).
Zobaczyć Meta Language i Standard ML
Wartościowanie leniwe
Wartościowanie leniwe (ang. lazy evaluation, ewaluacja leniwa) – strategia wyznaczania wartości argumentów funkcji tylko wtedy, kiedy sąpotrzebne (na żądanie).
Zobaczyć Meta Language i Wartościowanie leniwe
Zobacz także
Języki funkcyjne
- APL (język programowania)
- C Sharp
- Clojure
- Common Lisp
- Elixir (język programowania)
- Erlang (język programowania)
- F Sharp
- Haskell
- Haxe
- Interlisp
- JavaScript
- Julia (język programowania)
- Lisp
- Logo (język programowania)
- Maple
- Meta Language
- Nemerle
- OCaml
- R (język programowania)
- REBOL
- Racket
- Ruby (język programowania)
- Rust (język programowania)
- Scala (język programowania)
- Standard ML
- Swift (język programowania LLVM)
- Unlambda
- XQuery
- XSL Transformations
Proceduralne języki programowania
- ABC (język programowania)
- ALGOL
- Action!
- AmigaE
- Autocode
- B (język programowania)
- BCPL
- Boo
- C (język programowania)
- CHILL
- CLIST
- CLU
- COBOL
- CPL (język programowania)
- Comal (język)
- Common Lisp
- D (język programowania)
- Euphoria (język programowania)
- Fortran
- Gambas
- Go (język programowania)
- Hollywood (język programowania)
- Information Processing Language
- Julia (język programowania)
- Meta Language
- Modula
- Nemerle
- Oberon (język programowania)
- Occam
- PHP
- PL/I
- PL/M
- Perl
- Plankalkül
- PowerShell
- PureBasic
- RPG (język programowania)
- Rapira
- Rust (język programowania)
- SPARK (informatyka)
- Sawzall
- Standard ML
- Tcl (język programowania)
- Visual Basic
- Visual FoxPro