Trending Programming Languages
4.9K views | +1 today
Follow
Trending Programming Languages
Programming Languages Everybody Talk About But It Feels Like Almost Nobody Really Use Them
Your new post is loading...
Your new post is loading...
Scooped by Flávio de Sousa
Scoop.it!

The Crystal Programming Language

The Crystal Programming Language | Trending Programming Languages | Scoop.it
A compiled language with Ruby like syntax and type inference
Flávio de Sousa's insight:
Modern languages should be like that: leave the heavy lifting for the compiler.
more...
No comment yet.
Scooped by Flávio de Sousa
Scoop.it!

The ATS Programming Language

Flávio de Sousa's insight:

ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Anairiats) is written in ATS itself. It can be as efficient as C/C++ and supports a variety of programming paradigms.

more...
No comment yet.