Hacker News
- Befreak is a purely reversible two-dimensional programming language (2003) http://tunes.org/~iepos/befreak.html 9 comments
- Befreak is a purely reversible two-dimensional programming language http://tunes.org/~iepos/befreak.html 2 comments
- Pure Programming Language https://agraef.github.io/pure-lang/ 22 comments
- Frege: A JVM pure functional programming language in the spirit of Haskell https://github.com/Frege/frege 107 comments
- Interview With Albert Gräf - Author of the Pure Programming Language http://blueparen.com/node/6 6 comments
- The Pure programming language http://code.google.com/p/pure-lang/ 12 comments
- Pure: a modern functional programming language based on term rewriting https://agraef.github.io/pure-lang/ 34 comments
- Pharo: pure object-oriented programming language http://pharo.org/ 8 comments
Lobsters
- Bosatsu: a python-ish pure and total functional programming language https://github.com/johnynek/bosatsu 8 comments plt
- Pure Programming Language http://purelang.bitbucket.org/ 3 comments programming
- Befreak is a purely reversible two-dimensional programming language http://tunes.org/~iepos/befreak.html 43 comments programming
- The Pure Programming Language https://agraef.github.io/pure-lang/ 4 comments programming
- Idris is a general purpose pure functional programming language with dependent types https://www.idris-lang.org/ 10 comments programming
- Frege: a JVM pure functional programming language in the spirit of Haskell https://github.com/frege/frege 22 comments haskell
- Humus - A Pure Actor-based Programming Language http://www.dalnefre.com/wp/humus/ 45 comments programming
- Fexl is a programming language based on pure functions. http://fexl.com/basics 15 comments programming
- Implementing Pure Functions in D Programming Language http://drdobbs.com/blogs/tools/230700070#.tfnsfvvexsk;reddit 52 comments programming
- TIL A purely functional programming language called Clean http://wiki.clean.cs.ru.nl/clean 63 comments programming
- Interview With Albert Gräf - Author of the Pure Programming Language http://blueparen.com/node/6 7 comments programming
- Clean: A Pure Functional Programming Language http://clean.cs.ru.nl/index.html 4 comments programming
- Stabel v0.2.0-alpha: A pure, concatinative programming language, now with modules. https://fossils.stabel-lang.org/compiler/technote/ac09a67207a9d59053492364dc586bc263ef71cf 3 comments programming
- Luna: Hybrid visual-textual purely functional programming language http://www.luna-lang.org/ 28 comments haskell
- [ANN]: A port of the Shen programming language to pure Elisp. Run Shen entirely within Emacs with no other dependencies! https://github.com/deech/shen-elisp 5 comments programming
- Koka is a function-oriented programming language that separates pure values from side-effecting computations http://research.microsoft.com/en-us/projects/koka/ 4 comments rust
- Pure - a new functional programming language based on term rewriting from the developer of Q http://pure-lang.sourceforge.net/ 25 comments programming
- Spedn is a high level smart contracts programming language for Bitcoin Cash. It is purely functional, statically typed and easy to learn. http://spedn.pl/ 6 comments btc
- If you are only concerned about efficiency in programming, it may not depend purely on what language you use so much as the architecture of the system as a whole https://lampstudy.net/what-does-efficiency-mean-in-the-programming/ 3 comments compsci
- If you are only concerned about efficiency in programming, it may not depend purely on what language you use so much as the architecture of the system as a whole https://lampstudy.net/what-does-efficiency-mean-in-the-programming/ 15 comments coding
- LibF++ -- Enabling C++ as a pure functional programming language through immutable strings, vectors, maps, etc. https://github.com/gjduck/libf 67 comments programming
- Futhark is a data-parallel pure functional programming language compiling to optimised GPU code that we've been working on, and we're interested in comments and feedback http://futhark-lang.org 130 comments programming
- Eta language is a new, pure, lazy, strongly typed functional programming language on the JVM. http://eta-lang.org 43 comments programming
- Ur/Web is a domain-specific language for programming webapps backed by SQL databases. Statically-typed, purely functional, and with features from dependently-typed languages like the logic behind Coq. http://www.impredicative.com/ur/?repost 59 comments programming
- Ur/Web is a domain-specific language for programming webapps backed by SQL databases. Statically-typed, purely functional, and with features from dependently-typed languages like the logic behind Coq. http://www.impredicative.com/ur/ 58 comments programming
- Pure: a modern-style functional programming language based on term rewriting. http://code.google.com/p/pure-lang/ 38 comments programming
- Seeking feedback on possible Msc Thesis idea: Exploring the benefits of purely functional programming languages for mobile computation offloading https://www.reddit.com/r/haskell/comments/6nk9dw/seeking_feedback_on_possible_msc_thesis_idea/ 3 comments haskell
- mjoy, a purely functional programming language with postfix notation for turtle graphics experiences and list processing https://twitter.com/Fpstefan/status/1760054351299563713 5 comments functionalprogramming
- “Haskell's semantics, plus Lisp's macros. Meet Axel: a purely functional, extensible, and powerful programming language.” https://axellang.github.io 31 comments programming
- “Haskell's semantics, plus Lisp's macros. Meet Axel: a purely functional, extensible, and powerful programming language.” https://axellang.github.io 54 comments haskell
- Finch: a simple bytecode-interpreted, purely object-oriented, prototype-based, dynamically-typed programming language. http://finch.stuffwithstuff.com/ 60 comments programming