Functional Programming India
LightNews LightNews
banner
fpindia.bsky.social
Functional Programming India
@fpindia.bsky.social
16 followers 68 following 13 posts
Uniting Functional Programming Language enthusiasts across India.

Discussions: https://t.me/fpncr
Web: https://functionalprogramming.in/
Posts Replies Media Videos
Pinned
fpindia.bsky.social
Functional Programming India @fpindia.bsky.social · Sep 10
Announcing the October #FPIndia #Bangalore #Meetup!

#Haskell #PureScript #Elixir #Erlang #Scala #Clojure #India #FunctionalProgramming

RSVP: hasgeek.com/fpindia/bang...
Bangalore FP October 2025 meetup
Bangalore FP October 2025 meetup
hasgeek.com
Reposted by Functional Programming India
jalonso.bsky.social
Arrows to arrows, categories to queries. ~ Sandy Maguire. reasonablypolymorphic.com/blog/arrows-... #Haskell #FunctionalProgramming
October 15, 2025 at 6:05 PM
Reposted by Functional Programming India
satnam6502.bsky.social
The video recording of my ICFP 2025 keynote talk Functional Programming for Hardware Design is up on YouTube. www.youtube.com/watch?v=1oBO...
[ICFP/SPLASH'25] Orchid Plenary Ballroom - ICFP Papers and Events (Oct 13th)
YouTube video by ACM SIGPLAN
www.youtube.com
October 15, 2025 at 7:56 AM
Reposted by Functional Programming India
anil.recoil.org
Completely full house for our OxCaml tutorial at #icfpsplash25! conf.researchr.org/details/icfp...
October 12, 2025 at 6:53 AM
Reposted by Functional Programming India
danabra.mov
i think the @react.dev Compiler team could include more of this type of messaging. i'm being a bit inflammatory here (and Haskell may not the best analogy), but the principle of "pure things are safe to move around" is fundamentally simple and has been known for decades. teach it to new generation!
You may not like it, but React is basically Haskell. The React Compiler works for the same exact reason that compilers for pure programming languages are able to make non-trivial optimizations. If your code is composed of pure functions, it is safe to re-order their computation, or save the result for some inputs and reuse it for later for same inputs. This is not some kind of a “workaround” or a hack — it’s one of the most exciting consequences of the functional programming paradigm which has been known and used for decades. Purity and idempotency make it safe to move stuff around without changing the final outcome. Following the "rules of React" is just ensuring your code is safe to move around like this.
October 11, 2025 at 12:14 PM
Reposted by Functional Programming India
therealoliver.bsky.social
👀😇😉 fertig
Puzzle: nicht zusammen gesetzt sondern aus den Puzzle Teilen einen Hund geformt.
October 11, 2025 at 4:23 PM
Reposted by Functional Programming India
haskell.org
The mad lads have made it: Two Haskellers went to the town of #Haskell, TX. They documented their journey here: www.youtube.com/watch?v=9KwW...

See on Reddit: www.reddit.com/r/haskell/co...
Cowboys from Haskell
YouTube video by r. guitars
www.youtube.com
October 8, 2025 at 10:00 PM
Reposted by Functional Programming India
bandukwala.me
I can finally do some real work.
Hazel programming language with a parsed csv and table of pokemon
October 7, 2025 at 1:53 PM
Reposted by Functional Programming India
tacticalgrace.justtesting.org
Are you interested in a new Haskell IDE for macOS? I’m looking for beta testers! Send me a DM with your email for a TestFlight invitation.
Screenshot of Applicative Code with a Haskell file open and a documentation popup for (++).
June 30, 2025 at 1:40 PM
Reposted by Functional Programming India
movraxrax.bsky.social
This is such an incredibly cool page for #rustlang to have

rust-lang.github.io/rust-project...

One day we will have this but for #julialang ✊
Proposed goals - Rust Project Goals
rust-lang.github.io
September 22, 2025 at 4:09 PM
Reposted by Functional Programming India
fpindia.bsky.social
Uhh
September 21, 2025 at 12:34 PM
Reposted by Functional Programming India
haskell.org
ARM infrastructure fundraiser update!

discourse.haskell.org/t/arm-infras...

#Haskell
ARM infrastructure fundraiser update
Hello Haskell community! As many of you know, the Haskell Foundation ran a fundraiser during the month of July, Infrastructure Independence!. I’m happy to provide an update on how those funds have be...
discourse.haskell.org
September 19, 2025 at 8:15 PM
Reposted by Functional Programming India
doscienceto.it
Over the weekend I gave a talk on using #Haskell for 3d Printing at MuniHac

No recording, but the slides are up here:
doscienceto.it/cad-talk/
How I Use Haskell for 3D Printing
doscienceto.it
September 16, 2025 at 7:57 AM
Reposted by Functional Programming India
teamtock.bsky.social
"We sat down with Phil Wadler, one of the most influential folks in the Haskell community, functional programming, and programming languages, responsible for type classes, monads, and much more. We take a stroll down memory lane, starting from Haskell’s inception."

haskell.foundation/podcast/70/
September 16, 2025 at 9:24 PM
Reposted by Functional Programming India
haskell.org
3D printing at #MuniHac!

#Haskell
Various 3D-printed dice of different sizes, pink or black, with a Haskell logo on them. Articulated keyrings are displayed as well
September 14, 2025 at 9:11 AM
Reposted by Functional Programming India
haskell.org
All the cool kids are doing Haskell these days!
"Haskell" written on a whiteboard with the S drawn as The Cool S
September 12, 2025 at 2:51 PM
Reposted by Functional Programming India
upcloud.com
Which is your favorite functional programming language and why? How many have you tried?
September 10, 2025 at 5:56 PM
Reposted by Functional Programming India
theophile.choutri.eu
That's how you know #Haskell is getting mainstream, the scams are getting at us
nativeassignment.bsky.social Native Assignment Help Australia @nativeassignment.bsky.social · Sep 11
we’ve got you covered at every step of your Haskell journey. ✍️ Struggling with functional programming concepts, code debugging, or project submissions? Our Haskell Assignment Help in Australia is here to make learning smooth and stress-free.
September 11, 2025 at 11:49 AM
fpindia.bsky.social
Announcing the October #FPIndia #Bangalore #Meetup!

#Haskell #PureScript #Elixir #Erlang #Scala #Clojure #India #FunctionalProgramming

RSVP: hasgeek.com/fpindia/bang...
Bangalore FP October 2025 meetup
Bangalore FP October 2025 meetup
hasgeek.com
September 10, 2025 at 9:54 AM
Reposted by Functional Programming India
fpindia.bsky.social
An intuitive way of seeing this that also generalizes to arbitrary categories not just Set/Types is -

Currying means that for any arbitrary object A, functions of the form -
(A,()) -> X
are the same as functions of the form -
A -> (() -> X)

1/2
September 7, 2025 at 5:04 PM
fpindia.bsky.social
Important clarification from the post: This is a remote position available internationally
September 7, 2025 at 5:50 AM
Reposted by Functional Programming India
shriram.bsky.social
The Lean project is looking for someone to work on a documentation tool for math/technical communication. This is likely to be very influential, so a chance for someone with the right skills to have great impact. See the announcement here:
leanprover.zulipchat.com#narrow/chann...
Public view of Lean | Zulip team chat
Browse the publicly accessible channels in Lean without logging in.
leanprover.zulipchat.com
September 6, 2025 at 2:28 PM
fpindia.bsky.social
Come learn Category theory at this meetup!
September 4, 2025 at 10:13 AM
Reposted by Functional Programming India
hugobarauna.com
Excited about Global Elixir Meetups! 🎉

A week of Elixir meetups all over the world. 🌍

Good opportunity to connect with your local Elixir community while being part of something global.

#ElixirLang
September 2, 2025 at 2:39 PM
Reposted by Functional Programming India
danabra.mov
the funny thing about my Lean posting is i remember some people were like Haskell posting or PureScript posting or whatever in 2013 and i was like ahhh i don't have patience to learn a pure functional thing, what's the point. and here i am
September 2, 2025 at 9:01 PM
Reposted by Functional Programming India
danabra.mov
⚛️📝 New on Overreacted: Lean for JavaScript Developers
Lean for JavaScript Developers — overreacted
Programming with proofs.
overreacted.io
September 2, 2025 at 3:42 PM