#FPIndia is looking for #meetup hosts in #Bangalore Connect with senior devs and architects Showcase your engineering culture Engage with the community Space for ~30 people and a screen, for ~3 hours DM or comment! #FunctionalProgramming #haskell #elixir #rust #typescript #clojure #formalmethods
Functional Programming India
@fpindia.bsky.social
Uniting Functional Programming Language enthusiasts across India. Zulip: https://zulip.functionalprogramming.in Telegram: http://t.me/fpncr Web: https://functionalprogramming.in/
Reminder folks - #FPIndia #Bangalore #Meetup this weekend. Sat 1st Aug, 11AM - 1PM. We have two great talks lined up around #FunctionalProgramming, #Haskell, and #FormalMethods. We have very limited seating, so please RSVP if you are coming - luma.com/zjekrlft
Functional Programming India Bangalore Meetup · Luma
FPIndia Meetup for the month of July 2026 An offline meetup for all Functional Programming enthusiasts in Bangalore India. Come meet fellow FP heads, have…
luma.com
The second instalment of our series "Haskellers from the trenches" is about Enterprise #Haskell at H-E-B, the Texan grocery chain. Blog post: blog.haskell.org/enterprise-h... Discourse: discourse.haskell.org/t/enterprise...
Enterprise Haskell at H-E-B | The Haskell Programming Language's blog
How Haskell earned its place in H-E-B's supply chain.
blog.haskell.org
Haskell is used in way more places than you might think! I wish more companies were comfortable talking about what they use and why, but it’s delightful to see H-E-B talking about it here Give it a read! It’s got something for everyone, from mainframes to coding agents and everything in between
The second instalment of our series "Haskellers from the trenches" is about Enterprise #Haskell at H-E-B, the Texan grocery chain. Blog post: blog.haskell.org/enterprise-h... Discourse: discourse.haskell.org/t/enterprise...
Announcing the July FPIndia #Bangalore #Meetup lineup! 1. Ramit will talk about Symbolic Trajectory Evaluation to verify ECC #FormalVerification 2. Anupam will talk about Type Generic Programming techniques in #Haskell hasgeek.com/fpindia/bang... luma.com/zjekrlft zulip.functionalprogramming.in
Bangalore FP July 2026 meetup
FPIndia Meetup for the month of July 2026
hasgeek.com
Stealing programming language logos seems to be a theme with transport corporations 😆 In pictures - 1. Delhi Transport Corporation Logo 2. Dutch Railways Logo 3. PureScript programming language logo
Now you can RSVP for any #FPIndia #meetup on Luma as well! luma.com/zjekrlft The original HasGeek page is still the primary place for RSVP, and the only place where you can submit talks. Hoping this makes the events more accessible to some people already on Luma.
Bangalore FPIndia July 2026 Meetup · Luma
FPIndia Meetup for the month of July 2026 An offline meetup for all Functional Programming enthusiasts in Bangalore India. Come meet fellow FP heads, have…
luma.com
Announcing the July #Bangalore #FPIndia #Meetup! When: 1st August (yep 😆) CFP is open: hasgeek.com/fpindia/bang... Come meet fellow FP heads, have great conversations, all skill levels welcome! #PureScript #Typescript #Rust #Erlang #Scala #OCaml #FunctionalProgramming
hasgeek.com
Update on the #FPIndia #Zulip migration - We now have a #Telegram <-> Zulip bridge! Zulip is quite a bit nicer and more welcoming than Telegram, so you should definitely join our Zulip instance, however telegram users will also not miss out on any discussions. zulip.functionalprogramming.in
Functional Programming India
Uniting Functional Programming Language enthusiasts across India. | Discussions: https://zulip.functionalprogramming.in, https://t.me/fpncr Web: https://functionalprogramming.in
zulip.functionalprogramming.in
Big news! #FPIndia is now on Zulip! We are planning to move our community from #Telegram to #Zulip for more open and accessible conversations. Zulip is FOSS, has mobile, desktop, web, and even TUI apps. Works better for us long term! Come say hi! zulip.functionalprogramming.in
Functional Programming India
Uniting Functional Programming Language enthusiasts across India. | Discussions: https://zulip.functionalprogramming.in, https://t.me/fpncr Web: https://functionalprogramming.in
zulip.functionalprogramming.in
Reminder: we have the #Bangalore #FPIndia #meetup this Saturday at Pre6! We have two planned talks - 1. Abhinav will talk about type level programming in #Haskell 2. Srijan will talk about #MachineLearning in pure languages, specifically with #HaskTorch hasgeek.com/fpindia/bang...
Bangalore FP June 2026 meetup
Bangalore FP June 2026 meetup
hasgeek.com
I wrote up a post that explains how type inference for anonymous records works, including row polymorphism The post is also a gentle introduction to type theory for newcomers: haskellforall.com/2026/06/reco...
Record type inference for dummies
Gentle tour of type inference for records
haskellforall.com
Happy to announce another confirmed talk for the #FPIndia #Bangalore June #meetup! Srijan will talk about Formalising #MachineLearning for Functional Languages! hasgeek.com/fpindia/bang... #Haskell #PureScript #Typescript #Rust #Erlang #Scala #OCaml #FormalMethods #AI
Bangalore FP June 2026 meetup
Bangalore FP June 2026 meetup
hasgeek.com
Announcing the June #Bangalore #FPIndia #Meetup! Our first talk is Type-level Programming in #Haskell, presented by Abhinav! Like always, meet fellow FP heads, have great conversations, all skill levels welcome! RSVP hasgeek.com/fpindia/bang... #PureScript #Typescript #Rust #Erlang #Scala #OCaml
Bangalore FP June 2026 meetup
Bangalore FP June 2026 meetup
hasgeek.com
We have another confirmed talk for the #FPIndia #Bangalore #meetup tomorrow! Ishaan will talk about Discrete optimisation and #MiniZinc! hasgeek.com/fpindia/bang... #Haskell #PureScript #Erlang #Scala #OCaml #Rust #Clojure
Bangalore FP May 2026 meetup
Bangalore FP May 2026 meetup
hasgeek.com
We have 22 signups for #FPIndia #Bangalore #meetup this Saturday, which is about the limit of the number of people we can accommodate. If you already registered, we will see you there! hasgeek.com/fpindia/bang...
Bangalore FP May 2026 meetup
Bangalore FP May 2026 meetup
hasgeek.com
The wait is over #Bangalore! #FPIndia #meetup this weekend! Saachi will talk about building chess provers using #Lean. Plus, the usual nerdy debates, and catching up with fellow FP heads. Don't miss it! hasgeek.com/fpindia/bang... #Haskell #PureScript #Erlang #Scala #OCaml #TypeScript #Rust #Clojure
Bangalore FP May 2026 meetup
Bangalore FP May 2026 meetup
hasgeek.com
4 more days to submit your ideas for the first-ever #Rust India conference! 🦀 Submit on @hasgeek.com: hasgeek.com/rustbangalor... More details on: rustindia.org @rustfoundation.org #RustLang #Conference #Community
Starting a new video series on #CategoryTheory. Please provide feedback. Brickbats welcome, especially of the constructive kind! #FunctionalProgramming www.youtube.com/watch?v=aKIu...
Category Theory for the Working Programmer - 1.0 - Prologue
YouTube video by The Strong Static Type
youtube.com
Reminder: We are meeting tomorrow morning for a #FunctionalProgramming #meetup. Everyone is welcome to attend! See you there! #FunctionalProgramming #India #Meetup #Haskell #PureScript #Erlang #Scala #OCaml #TypeScript #Rust #Clojure
Not in Bangalore but want to attend an #FPIndia meetup? No problems! Join us for an online meetup open to all. RSVP at hasgeek.com/fpindia/fpin... #FunctionalProgramming #India #Meetup #Haskell #PureScript #Erlang #Scala #OCaml #TypeScript #Rust #Clojure
Not in Bangalore but want to attend an #FPIndia meetup? No problems! Join us for an online meetup open to all. RSVP at hasgeek.com/fpindia/fpin... #FunctionalProgramming #India #Meetup #Haskell #PureScript #Erlang #Scala #OCaml #TypeScript #Rust #Clojure
FPIndia Online - Feb 2026
FPIndia Online Meetup for the month of Feb 2026
hasgeek.com
Announcing our first offline meetup for 2026! #FPIndia #Bangalore #Meetup! Talk submissions are also open. Please RSVP if you wish to attend: hasgeek.com/fpindia/bang... #Haskell #PureScript #Elixir #Erlang #Scala #Clojure #India #FunctionalProgramming
Bangalore FP January 2026 meetup
Bangalore FP January 2026 meetup
hasgeek.com
Arrows to arrows, categories to queries. ~ Sandy Maguire. reasonablypolymorphic.com/blog/arrows-... #Haskell #FunctionalProgramming
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
youtube.com
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!