|
|
|
A unsorted list of programming languages that are interesting in some way.
|
|
|
|
|
|
|
|
- Haskell
|
|
|
|
- GHC uses [System F](https://en.wikipedia.org/wiki/System_F) as intermediate representation, extended with GADTs to System F~c~
|
|
|
|
- Idris
|
|
|
|
- [Idris2](https://github.com/edwinb/Idris2) uses "quantitative type theory", look into that
|
|
|
|
- They have a intermediate (TTImp) and a core language
|
|
|
|
- Agda
|
|
|
|
- [Cayenne](http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.155)
|
|
|
|
- first dependent language, interesting paper
|
|
|
|
- [Luna](https://www.luna-lang.org/)
|
|
|
|
- Very interesting graphical representation and design stuff
|
|
|
|
- Erlang
|
|
|
|
- Actors
|
|
|
|
- Elixir
|
|
|
|
- Erlang in more functional
|
|
|
|
- Python
|
|
|
|
- Indentation syntax
|
|
|
|
- Some parts of the Zen
|
|
|
|
- Go
|
|
|
|
- Rust
|
|
|
|
- Trait naming
|
|
|
|
- Modern and nice ecosystem
|
|
|
|
- (Common) Lisp / Scheme
|
|
|
|
- Homoiconicity?
|
|
|
|
- S-expressions
|
|
|
|
- M-expressions (never really implemented?)
|
|
|
|
- (Standard) ML
|
|
|
|
- Clojure
|
|
|
|
- F#
|
|
|
|
- Scala
|
|
|
|
- Kotlin
|
|
|
|
- Java (ewww, but it's popular, so...)
|
|
|
|
- C#
|
|
|
|
- Smalltalk
|
|
|
|
- [Reflection](https://en.wikipedia.org/wiki/Reflection_(computer_programming))
|
|
|
|
- OCaml
|
|
|
|
- Coq
|
|
|
|
- Nix (not a programming languae per se)
|
|
|
|
- Nim
|
|
|
|
- Elm
|
|
|
|
- [PureScript](https://en.wikipedia.org/wiki/PureScript)
|
|
|
|
- uses `Effect` of `IO`, look at that
|
|
|
|
- TypeScript
|
|
|
|
- Dart
|
|
|
|
- Cedille (λ encodings) |
