Arto's Notes re: programming

Currently Exploring

Programming languages & environments that I'm currently learning or exploring:

• ATS
• CakeML
• Coq
• Crystal
• D
• F*
• Isabelle
• Ivory/Tower
• MATLAB
• Julia
• Rust

Currently Practicing

Programming languages that I currently use on daily or weekly basis:

• C++ (C++11, C++14, C++17)
• Dart
• Elixir
• Go
• JavaScript
• Kotlin
• Python (3.4 to 3.6)
• Ruby (2.0 to 2.5)

Previously Mastered

Programming languages that I've mastered in the past but use less frequently, if at all, these days:

• BASIC (QB)
• C (C89, C99, C11)
• Common Lisp
• Java (1.0 to 8)
• Lua
• OCaml (4.01 to 4.05)
• PHP (3.0 to 5.5)
• Python (2.0 to 2.7)
• Ruby (1.8 to 1.9)
• Scheme (R4RS, R5RS)
• Visual Basic (1.0 to 6.0)

Previously Used

Programming languages that I've used in the past but don't at present:

• Clojure
• Erlang
• Forth (ANS Forth)
• Groovy
• Nim
• Objective-C
• Rust
• Scala (2.7, 2.8)
• Wolfram Language (Mathematica)

Academically Interesting

Programming languages that I've previously learned or explored out of academic interest:

• Ada/SPARK
• Agda
• Factor
• Idris
• Joy
• Mozart/Oz
• Haskell
• Prolog
• Smalltalk
• Standard ML

Deliberately Ignored

Programming languages that I've chosen to deliberately ignore, for various reasons:

• C#
• C++ (C++98, C++03)
• F#
• Fortran
• Pascal
• Perl
• Scheme (R6RS)
• Swift
• Tcl

See Also

• Computer programming in Wikipedia