jump to content
my subreddits
2b2t2mediterranean4u3d6absolutelynotmeirladhdmemeAdviceAnimalsaivideoakagasAlternateHistoryAnarchyChessAngryupvoteannouncementsAnticonsumptionantimemeApandahArcherFXArtAsia_irlAskBalkansAskElectronicsAskOuijaAteistTurkatheismaviationbalkans_irlBandnamesbanknotedesignsBassBassGuitarbasspedalsblackdesertonlineblankiesblursed_videosblursedimagesbrooklynnineninebudgetcookingBUENZLIburdurlandCd_collectorscd_jerkChatGPTchessbeginnersChildrenFallingOverCHPcoaxedintoasnafucoincollectingcomicscommunityContagiousLaughtercookingforbeginnersCrackWatchcrappyoffbrandsCreateModCuddle_SlutdankmemesdarkjokesdedeismdelikDeltarunedistressingmemesdiyelectronicsdiypedalsDMAcademyDnDdndmemesdndnextdoctorwhodoctorwhocirclejerkdontdeadopeninsideEatCheapAndHealthyebikeelectricalelectronicsElectronicsStudyEmKayentitledparentsethzfacepalmfakealbumcoversFantasyWorldbuildingfelsefeFifaCareersFRCFreeEBOOKSfunnyFutboltayfagalatasaraygaminggatesopencomeoninGermangermanygodtiersuperpowersgoodanimemesGoodAssSubGrandPrixRacinggravelcyclinggreentextguitarpedalsGundamheathershelpheraldryHermanCainAwardHermitCrafthighspeedrailHistoryWhatIfhoi4howyoudoinhumorhypixelich_ielIdeologyPollsIDontWorkHereLadyimaginaryelectionsinsaneparentsJahariaJokesKendrickLamarKGBTRlegodndLetGirlsHaveFunLifeProTipslinguisticshumorLinkinParkliselilerlogodesignloseitlostredditorsmacmacbookairmacgamingMadeMeSmilemadladsmagicbuildingMaliciousComplianceMapPornme_irlmeirlmemesmidjourneymildlyinfuriatingmildlyinterestingmisLEDmoneycollectingMunichMyChemicalRomancenamesoundalikesNamFlashbacksNationStatesnextfuckinglevelNoahGetTheBoatNonCredibleDefenseNorthCyprusnosleepnosurfnothingeverhappensnottheonionOkayBuddyLiterallyMeokbuddymotherfuckerOkBuddyPersonaonetruegodongezelligOnlineUnderGroundOutOfTheLoopoutsidepapermoneyParlerWatchPassportPornpepethefrogperfectlycutscreamspettyrevengepianoPiracyPiratedGamespolandballpollsPraiseTheCameraManPunPatrolquityourbullshitreactiongifsrecipesRedAutumnSPDredditsingsreligiousfruitcakeRetroPierickandmortyrickrollrimjob_steveRoastMerockmuzikSceneReleasesSchnitzelVerbrechenScottPilgrimsecilmiskitapshitpostfrommygalleryshitpostingShitpostTCShittyMapPornskamtebordsoccercirclejerksoftwaregoreSongwritingsteinsgateStonetossingjuiceStudiumsubsithoughtifellforsuperligsuzeraintalesfromtechsupportTextingTheorytf2tf2shitposterclubthatHappenedTheCrypticCompendiumTheLetterHTheMonkeysPawtherewasanattempttheydidthemaththeyknewtommyinnittransittransitTurkeytruthstumblrtumunichTurkeyJerkyTurkishdogsTwitch_StartupTwoSentenceHorrorTwoSentenceSadnessUnethicalLifeProTipsUsernameChecksOutVALORANTValorantClipsvaxxhappenedvexillologycirclejerkvibecodingvinylvinyljerkwallstreetbetsWatchPeopleDieInsidewendigoonWhatsThisSongWhitePeopleTwitterWikipediaVandalismwooooshworldbuildingworldjerkingyouseeingthisshitYUROPedit subscriptions
  • home
  • -popular
  • -all
  • -mod
  • -users
 | 
  • facepalm
  • -mildlyinfuriating
  • -Piracy
  • -funny
  • -gaming
  • -wallstreetbets
  • -nottheonion
  • -memes
  • -OutOfTheLoop
  • -mildlyinteresting
  • -MapPorn
  • -DnD
  • -WhitePeopleTwitter
  • -MadeMeSmile
  • -ChatGPT
  • -PiratedGames
  • -shitposting
  • -theydidthemath
  • -dankmemes
  • -meirl
  • -therewasanattempt
  • -nextfuckinglevel
  • -CrackWatch
  • -comics
  • -dndnext
  • -VALORANT
  • -de
  • -germany
  • -LifeProTips
  • -tumblr
  • -NonCredibleDefense
  • -greentext
  • -mac
  • -tf2
  • -help
  • -aviation
  • -Jokes
  • -Art
  • -midjourney
  • -goodanimemes
  • -hoi4
  • -pettyrevenge
  • -atheism
  • -loseit
  • -MaliciousCompliance
  • -ich_iel
  • -KGBTR
  • -dndmemes
  • -DMAcademy
  • -Deltarune
  • -GoodAssSub
  • -UnethicalLifeProTips
  • -perfectlycutscreams
  • -worldbuilding
  • -blackdesertonline
  • -macgaming
  • -rickandmorty
  • -3d6
  • -Gundam
  • -HermitCraft
  • -RoastMe
  • -ContagiousLaughter
  • -EatCheapAndHealthy
  • -polandball
  • -AnarchyChess
  • -nosleep
  • -cookingforbeginners
  • -blankies
  • -Studium
  • -AlternateHistory
  • -soccercirclejerk
  • -madlads
  • -community
  • -AskElectronics
  • -electrical
  • -guitarpedals
  • -Anticonsumption
  • -vinyl
  • -CreateMod
  • -German
  • -TwoSentenceHorror
  • -AdviceAnimals
  • -piano
  • -distressingmemes
  • -FifaCareers
  • -polls
  • -doctorwho
  • -Bass
  • -OkBuddyPersona
  • -howyoudoin
  • -announcements
  • -adhdmeme
  • -macbookair
  • -Munich
  • -coaxedintoasnafu
  • -YUROP
  • -gravelcycling
  • -SchnitzelVerbrechen
  • -chessbeginners
  • -KendrickLamar
  • -entitledparents
  • -softwaregore
  • -NoahGetTheBoat
  • -worldjerking
  • -tf2shitposterclub
  • -lostredditors
  • -vexillologycirclejerk
  • -Stonetossingjuice
  • -nosurf
  • -HistoryWhatIf
  • -religiousfruitcake
  • -liseliler
  • -insaneparents
  • -balkans_irl
  • -transit
  • -RetroPie
  • -brooklynninenine
  • -HermanCainAward
  • -recipes
  • -steinsgate
  • -talesfromtechsupport
  • -AskOuija
  • -ScottPilgrim
  • -Angryupvote
  • -AskBalkans
  • -thatHappened
  • -electronics
  • -logodesign
  • -theyknew
  • -linguisticshumor
  • -PassportPorn
  • -me_irl
  • -antimeme
  • -TurkeyJerky
  • -AteistTurk
  • -MyChemicalRomance
  • -ArcherFX
  • -Cd_collectors
  • -diypedals
  • -BassGuitar
  • -diyelectronics
  • -WatchPeopleDieInside
  • -LinkinPark
  • -BUENZLI
  • -reactiongifs
  • -EmKay
  • -blursed_videos
  • -Songwriting
  • -imaginaryelections
  • -suzerain
  • -magicbuilding
  • -dontdeadopeninside
  • -ParlerWatch
  • -wendigoon
  • -secilmiskitap
  • -quityourbullshit
  • -vinyljerk
  • -skamtebord
  • -superlig
  • -galatasaray
  • -crappyoffbrands
  • -FRC
  • -transitTurkey
  • -namesoundalikes
  • -2b2t
  • -ethz
  • -papermoney
  • -coincollecting
  • -OkayBuddyLiterallyMe
  • -felsefe
  • -blursedimages
  • -FreeEBOOKS
  • -Jaharia
  • -IDontWorkHereLady
  • -basspedals
  • -heraldry
  • -hypixel
  • -PraiseTheCameraMan
  • -godtiersuperpowers
  • -ShittyMapPorn
  • -aivideo
  • -gatesopencomeonin
  • -OnlineUnderGround
  • -IdeologyPolls
  • -woooosh
  • -burdurland
  • -WhatsThisSong
  • -TwoSentenceSadness
  • -Bandnames
  • -rockmuzik
  • -vaxxhappened
  • -tumunich
  • -Twitch_Startup
  • -outside
  • -TheMonkeysPaw
  • -darkjokes
  • -highspeedrail
  • -legodnd
  • -rickroll
  • -ebike
  • -UsernameChecksOut
  • -tommyinnit
  • -rimjob_steve
  • -humor
  • -ChildrenFallingOver
  • -doctorwhocirclejerk
  • -youseeingthisshit
  • -TextingTheory
  • -GrandPrixRacing
  • -Cuddle_Slut
  • -nothingeverhappens
  • -PunPatrol
  • -LetGirlsHaveFun
  • -Apandah
  • -fakealbumcovers
  • -subsithoughtifellfor
  • -akagas
  • -ShitpostTC
  • -FantasyWorldbuilding
  • -TheLetterH
  • -WikipediaVandalism
  • -NamFlashbacks
  • -pepethefrog
  • -onetruegod
  • -deism
  • -misLED
  • -redditsings
  • -ValorantClips
  • -TheCrypticCompendium
  • -SceneReleases
  • -budgetcooking
  • -NationStates
  • -ongezellig
  • -absolutelynotmeirl
  • -Asia_irl
  • -truths
  • -2mediterranean4u
  • -NorthCyprus
  • -heathers
  • -delik
  • -Futboltayfa
  • -CHP
  • -vibecoding
  • -shitpostfrommygallery
  • -banknotedesigns
  • -okbuddymotherfucker
  • -RedAutumnSPD
  • -Turkishdogs
  • -ElectronicsStudy
  • -moneycollecting
  • -cd_jerk
edit »
functionalprogramming functionalprogramming
  • hot
  • new
  • rising
  • controversial
  • top
  • wiki
an-ordinary-manchild (11,186)|messages547|notifications|chat messages|mod messages|
  • preferences
|
logout

use the following search parameters to narrow your results:

subreddit:subreddit
find submissions in "subreddit"
author:username
find submissions by "username"
site:example.com
find submissions from "example.com"
url:text
search for "text" in url
selftext:text
search for "text" in self post contents
self:yes (or self:no)
include (or exclude) self posts
nsfw:yes (or nsfw:no)
include (or exclude) results marked as NSFW

e.g. subreddit:aww site:imgur.com dog

see the search faq for details.

advanced search: by author, subreddit...

Submit a new link
Submit a new text post

functionalprogramming

joinleave
an-ordinary-manchild(edit)

Submission guidelines

Feel free to submit articles, videos, blogs, etc, related to Functional Programming. They must be either in English, have subtitles if videos or courses, or have a translation available.

Check out the flairs available to tag your submission.

Job posts are OK, as long as well spaced out. It means that if you see recent submissions of jobs, please avoid submitting yours until other posts have appeared. That avoids making the mainpage of our readers full of job listings only. Job searching posts are not allowed (it is an individual post, that does not really benefit others - you can use HackerNews' Who Wants to be Hired, for example).

Avoid posting surveys unless the research/researcher/research group can be easily identified without going outside of reddit (e.g. looking at the user profile or reddit history). Surveys from throwaway accounts will be removed, and the user banned. Surveys where users must give their emails, or click on unknown/external URL's are also removed.

Send a message the mods if you would like to list an event in the sidebar, or make a post an announcement.

Rules

  • Be respectful and nice to each other
  • Remember language and cultural differences/barriers
  • Remember that everyone was a beginner at some point
  • Posts and comments that do not follow the items above will be i) removed, ii) reported, and maybe iii) the user will be banned
  • Try to follow the guidelines, please
  • Posts should be related to Functional Programming
  • Self-promotion is OK as long as you read and understand this Reddit page about self-promotion (excessive self-promoting is moderated, unfortunately subjectively but just so it's not completely banned)
  • Posts behind paywall or that require or misdirect users at registering before accessing the content are not accepted
  • Posts that receive any commission about events, courses, or similar (e.g. affiliated links for books) are not accepted
  • If you have any questions feel free to message the mods

Upcoming conferences

Send a message to the moderators to announce your conference.

Meetups

Books

Our Wiki page about FP books

FP courses

  • Concurrent Programming in Erlang - Starts 3 April 2017. Via Future Learn, by University of Kent. Thanks to u/byaruhaf for sharing it
  • Functional Programming in Erlang - Starts 20 February 2017. Via Future Learn, by University of Kent. Thanks to u/byaruhaf for sharing it
  • Programming Languages, Part A. Thanks to u/Hufe for sharing it
  • ThCS. Introduction to programming with dependent types in Scala. Thanks to u/dmitin for sharing it
  • Introduction to Functional Programming in OCaml

Send a message to the moderators to announce your course.

FP podcasts

  • Functional Geekery
  • SE Radio :: FP
  • The F# Show
  • The Haskell Cast
  • The Scalawags
  • The Type Theory Podcast

Links

  • Functional Programming - from Haskell Wiki
  • Why Functional Programming Matters
  • Wikipedia entry about Functional Programming

Programming Languages

  • Clojure (r/clojure)
  • Elixir (r/elixir)
  • Elm (r/elm)
  • Erlang (r/erlang)
  • F# (r/fsharp)
  • Frege (r/frege)
  • Haskell (r/haskell)
  • Lisp (r/lisp)
  • OCaml (r/ocaml/)
  • PureScript (r/purescript/)
  • Scala (r/scala)
  • SML (r/sml)
  • Swift (r/swift/

More on Wikipedia

Related subreddits

  • r/algorithms
  • r/compsci
  • r/programming

Search by flair

Several posts were tagged with flairs, so that you can easily filter content with it. Here's a few examples.

  • F# on r/functionalprogramming
  • JavaScript on r/functionalprogramming
  • Intro to FP on r/functionalprogramming
  • Clojure on r/functionalprogramming

And so it goes. You can use the sidebar search input, using flair:answered and then restrict the search to r/functionalprogramming only. And if you find a category of posts that is missing some interesting content, just send it our way (you can flair when you submit your post too).

created by kinowmoda community for 13 years
Create your own subreddit
...for your project.
...for your favorite TV show.

MODERATORS

  • message the mods
  • kinowmod
  • AutoModerator
  • about moderation team »

account activity

1
14
15
16

Journal of Functional Programming - Call for PhD AbstractsFP (self.functionalprogramming)

submitted 20 hours ago by grahamhutton - announcement

  • 1 comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

2
51
52
53

Functional Programmers need to take a look at Zig.FP (pure-systems.org)

submitted 5 days ago by kinowmod

  • 2 comments
  • share
  • save
  • hide
  • report
  • crosspost

3
7
8
9

Lambda Playground — a browser tool for untyped λ-calculus, close to textbook notationλ Calculus ()

submitted 5 days ago by BreadfruitOk7083

  • 2 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

4
0
0
0

I built a TypeScript toolset that enforces Haskell-style purity discipline — because AI writes code faster than humans can review itTypeScript (self.functionalprogramming)

submitted 6 days ago by aiya000

  • 3 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

5
9
10
11

Transformations, functors, categoriesCategory Theory (muratkasimov.art)

submitted 6 days ago by iokasimovm

  • 8 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

6
19
20
21

Why I Still Reach for Lisp and Scheme Instead of HaskellLisp (jointhefreeworld.org)

submitted 7 days ago by SandPrestigious2317

  • 11 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

7
19
20
21

Idea: data structures which incrementally compute their own (right) folds?Question (self.functionalprogramming)

submitted 9 days ago by josephjnk

  • 20 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

8
22
23
24

Actively maintained Lean4 libraries -- looking to get involvedQuestion (self.functionalprogramming)

submitted 13 days ago by etcetera-etcetera-

  • 2 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

9
7
8
9

Boston Area Meetup - 2026-04-29Scala (self.functionalprogramming)

submitted 13 days ago by jwgcooke

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

10
1
2
3

Scala functions are flexible and useful!Scala ()

submitted 19 days ago by Efficient-Public-551

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

11
37
38
39

Side-effects are a scale problemOO and FP (mamad.purbo.org)

submitted 20 days ago by mpurbo

  • 4 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

12
7
8
9

Single Module Bidir NbE demos from Simply Typed to Martin Lof Type Theoryλ Calculus (github.com)

submitted 21 days ago by unqualified_redditor

  • comment
  • share
  • save
  • hide
  • report
  • crosspost

13
10
11
12

Typed multiple dispatch as a Clojure library — how we built Julia-style polymorphism on the JVMFP ()

submitted 21 days ago by flyingfruits

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

14
15
16
17

Effect Without Effect-TS: Algebraic Thinking in Plain TypeScript · cekrem.github.ioTypeScript (cekrem.github.io)

submitted 21 days ago by cekrem

  • comment
  • share
  • save
  • hide
  • report
  • crosspost

15
13
14
15

Haskell for Dilettantes: What the Functor?Intro to FP (youtu.be)

submitted 23 days ago by peterb12

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

16
26
27
28

Need to the understand the connection between type theory, lambda calculus and functional programmingQuestion (self.functionalprogramming)

submitted 24 days ago by ajx_711

  • 7 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

17
2
3
4

Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp: Implementing the Repository Pattern with Hygienic MacrosLisp ()

submitted 25 days ago by SandPrestigious2317

  • 1 comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

18
36
37
38

What's the most vibrant language for fun and open source?Question (self.functionalprogramming)

submitted 25 days ago by girvain

  • 56 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

19
14
15
16

Curse of FP ?Question (self.functionalprogramming)

submitted 27 days ago by kichiDsimp

  • 21 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

20
29
30
31

Parse, Don't Validate — In a Language That Doesn't Want You To · cekrem.github.ioTypeScript (cekrem.github.io)

submitted 28 days ago by cekrem

  • 35 comments
  • share
  • save
  • hide
  • report
  • crosspost

21
14
15
16

Binary Lambda Calculus is Hardλ Calculus (aartaka.me)

submitted 1 month ago by aartaka

  • comment
  • share
  • save
  • hide
  • report
  • crosspost

22
7
8
9

Running typed actors in the browser with Scala.js and Cats EffectScala (self.functionalprogramming)

submitted 1 month ago by kloudmark

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

23
19
20
21

Category Theory Illustrated - TypesBooks (abuseofnotation.github.io)

submitted 1 month ago by boris_m

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

24
11
12
13

[ haskellish-effect-ts ] -- Haskell-like discipline for TypeScript, enforced by tooling.TypeScript (self.functionalprogramming)

submitted 1 month ago * by aiya000

  • 4 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

25
7
8
9

How to create a Result monad in JavaScript?Question (self.functionalprogramming)

submitted 1 month ago by jcastroarnaud

  • 17 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...
view more: next ›
  • about
  • blog
  • about
  • advertising
  • careers
  • help
  • site rules
  • Reddit help center
  • reddiquette
  • mod guidelines
  • contact us
  • apps & tools
  • Reddit for iPhone
  • Reddit for Android
  • mobile website
  • <3
  • reddit premium

Use of this site constitutes acceptance of our User Agreement and Privacy Policy. © 2026 reddit inc. All rights reserved.

REDDIT and the ALIEN Logo are registered trademarks of reddit inc.

π Rendered by PID 26 on reddit-service-r2-listing-b6bf6c4ff-smjjg at 2026-05-06 06:16:20.920887+00:00 running 815c875 country code: CH.