gf4
/
OSSU-computer-science
mirror of https://git.hackliberty.org/Awesome-Mirrors/OSSU-computer-science
2
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Added dependent types (Idris) into emerging technologies

pull/414/merge
Josh Hanson 2017-07-02 15:04:46 -04:00
parent 9809809adf
commit 61609c95a9
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
README.md
View File

@ -480,6 +480,7 @@ These aren't the only specializations you can choose. Check the following websit
- Pay attention to emerging technologies in the world of software development:
+ Explore the **actor model** through [Elixir](http://elixir-lang.org/), a new functional programming language for the web based on the battle-tested Erlang Virtual Machine!
+ Explore **borrowing and lifetimes** through [Rust](https://www.rust-lang.org/), a systems language which achieves memory- and thread-safety without a garbage collector!
+ Explore **dependent type systems** through [Idris](https://www.idris-lang.org/), a new Haskell-inspired language with unprecedented support for type-driven development
![keep learning](http://i.imgur.com/REQK0VU.jpg)