From 61609c95a9f9671cec4253e8bc5f6110b6de27a7 Mon Sep 17 00:00:00 2001 From: Josh Hanson Date: Sun, 2 Jul 2017 15:04:46 -0400 Subject: [PATCH] Added dependent types (Idris) into emerging technologies --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 2cc6c63..9b4da08 100644 --- a/README.md +++ b/README.md @@ -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)