User:Bkil/Interests
From Wikipedia, the free encyclopedia
Note that this is only a preliminary upload, many items are missing! (especially non-computer related articles)
Interested in (note that interest does not always imply fluency)
Maths
Graphics
Logic
Cognitive science
Computer science
MISC
Curry-Howard correspondence, Persistence (computer science), Threaded code, Linked timestamping
Computation
Genetic programming, OpenStack, GPGPU, Multiseat configuration, Nonlinear dimensionality reduction, Proof-carrying code
Development
Legacy programming languages
SPARK (annotated Ada subset), Cyclone (type-safe C), Cython, Java Modeling Language (annotated Java)
Preferred programming languages
Erlang & Elixir (actor based light FP), Haskell (_the_ standardized FP), Haxe (AS & OCaml-inspired), Objective Caml, renamed OCaml (ML with objects), CAL (Haskell-inspired), Scala & Kotlin (high-level Java), Genie (C and GObject based, clean syntax), Rust (strongly typed low level)
Research programming languages
ATS (ML-derived), Fan (high-level Java & C#), Fortress (maths & Haskell-resembling), Timber (O'Haskell-inspired strict embedded)
Libraries
Methods
Maintainability, Modular programming, Software testing, Static code analysis
Tools
Expect testing glue, Java Pathfinder, Lightweight markup language, Retrotranslator