Network programming language list
![network programming language list network programming language list](https://www.anastasia-kovba.com/wp-content/uploads/2017/01/iOS-Simulator-Screen-Shot-30-нояб.-2014-г.-22.23.01-576x1024.png)
Spiral - Functional language with intensional polymorphism and first-class staging.Pikelet - Small, functional, dependently typed programming language.Functa - Flexible, fully functional dynamic programming language.Never - Statically typed, embedded functional programming language.Amulet - ML-like functional programming language.TopShell - Purely functional, reactive scripting language.Bright ML - Statically-typed programming language based on "F-ing modules".
![network programming language list network programming language list](https://i.ytimg.com/vi/Lc2Uv4_-GZ0/mqdefault.jpg)
![network programming language list network programming language list](https://image.slidesharecdn.com/listofprogramminglanguagesbytype-180126075126/95/list-of-programminglanguagesbytype-12-638.jpg)
Futhark - Purely functional data-parallel programming language.Flix - Statically typed functional- and logic programming language inspired by Scala, OCaml, F#, Haskell, and Datalog.F* - General-purpose functional programming language with effects aimed at program verification.Eve - Programming language based on years of research into building a human-first programming platform.Eff - Functional language with handlers of not only exceptions, but also of other computational effects such as state or I/O.Amulet - Simple functional programming language in the ML tradition, with support for higher-rank parametric polymorphic types and row-polymorphic records, pattern matching with algebraic data types, and tail recursion elimination.Alice ML - Functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming.Agda - Dependently typed functional language.Accelerate - Embedded language for high-performance array computations.Please read contribution guidelines before contributing.