r/functionalprogramming

9k subscribers
created in 2012
last scan 6/13/2019


A subreddit for functional programming related material.
https://reddit.com/r/functionalprogramming/

subreddits related to r/functionalprogramming

sort by
best match
r/haskell
42k  subs
The Haskell programming language community. Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more...
https://reddit.com/r/haskell/
r/Clojure
17k  subs
Clojure is a dynamic programming language / Lisp that targets the Java Virtual Machine.
https://reddit.com/r/Clojure/
r/elm
8k  subs
Friendly online community for Elm users. Beginners welcome!
https://reddit.com/r/elm/
r/fsharp
6k  subs
This group is geared towards people interested in the "F#" language, a functional-first language targeting .NET, JavaScript, and (experimentally) WebAssembly. More info about the language can be found at https://fsharp.org
https://reddit.com/r/fsharp/
This subreddit is dedicated to discussion of programming languages, programming language theory, design, their syntax and compilers. Post your ideas and get constructive criticism.
https://reddit.com/r/ProgrammingLanguages/
r/elixir
13k  subs
Elixir is a dynamic, functional language designed for building scalable and maintainable applications. Elixir leverages the Erlang VM, known for running low-latency, distributed and fault-tolerant systems, while also being successfully used in web development and the embedded software domain.
https://reddit.com/r/elixir/
r/compsci
544k  subs
Computer Science Theory and Application. We share and discuss any content that computer scientists find interesting. People from all walks of life welcome, including hackers, hobbyists, professionals, and academics.
https://reddit.com/r/compsci/
r/lisp
19k  subs
A subreddit for the Lisp family of programming languages.
https://reddit.com/r/lisp/
r/Idris
2k  subs
Idris is a pure, Pac-Man-complete functional programming language with dependent types. Website: http://www.idris-lang.org See also our IRC channel at #idris on Freenode.
https://reddit.com/r/Idris/
r/purescript
2k  subs
A small strongly, statically typed language which compiles to Javascript.
https://reddit.com/r/purescript/
r/rust
62k  subs
A place for all things related to the Rust programming language—an open-source systems language that emphasizes performance, reliability, and productivity.
https://reddit.com/r/rust/
r/emacs
30k  subs
The extensible, customizable, self-documenting real-time display editor.
https://reddit.com/r/emacs/
r/javascript
610k  subs
All about the JavaScript programming language!
https://reddit.com/r/javascript/
r/java
130k  subs
News, Technical discussions, research papers and assorted things of interest related to the Java programming language NO programming help, NO learning Java related questions!
https://reddit.com/r/java/
r/typescript
17k  subs
TypeScript is a language for application-scale JavaScript development. TypeScript is a typed superset of JavaScript that compiles to plain JavaScript.
https://reddit.com/r/typescript/
Agda, Idris, Coq, and Type Theory
https://reddit.com/r/dependent_types/
r/Kotlin
18k  subs
Discussion about Kotlin, statically typed programming language for the JVM, Android and the browser.
https://reddit.com/r/Kotlin/
Linus is wearing a blue shirt! zomg noSQL u guise! Apple Google Facebook NSA I rewrote "hello world" in ~~Fortran~~ ~~Pascal~~ ~~C~~ ~~Perl~~ ~~Ruby~~ ~~Lisp~~ ~~Haskell~~ ~~Clojure~~ ~~NodeJS~~ ~~Go~~ ~~Rust~~ Blockchain
https://reddit.com/r/programmingcirclejerk/
r/vim
80k  subs
For Vim enthusiasts and anyone interested in Vim.
https://reddit.com/r/vim/
r/reactjs
118k  subs
A community for learning and developing web applications using React by Facebook.
https://reddit.com/r/reactjs/
r/golang
78k  subs
Gophers of the world unite!
https://reddit.com/r/golang/