iiinova — where your digital self keeps evolving

Reposted by Functional Programming India

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 25/09/2026

Attending #IndiaFoss on the 26th of Sep (i.e. tomorrow)? Come join us for a small and informal #FPIndia post conference gathering #FunctionalProgramming #Bangalore #meetup

021

Functional Programming India @fpindia.bsky.social · 25/09/2026

Attending #IndiaFoss on the 26th of Sep (i.e. tomorrow)? Come join us for a small and informal #FPIndia post conference gathering #FunctionalProgramming #Bangalore #meetup

031

Reposted by Functional Programming India

FOSS United @fossunited.mas.to.ap.brid.gy · 16/09/2026

Date: 26th September 2026 Time: 2:00 PM Venue: Hall 3 (Ground Floor), Bengaluru #IndiaFOSS, the largest gathering for the country’s digital commons communities, is back for 2026! Sept 25 onwards | Blr, India #UnitedByFOSS

Compiler Devroom Lightning Talk: Databases in Ethereum Nodes. Speaker: M Sudeep Kumar, Protocol Engineer, Erigon Tech.

Compiler Devroom Talk: Bend, don't Break. Modern Techniques for Flexibility in Strongly Typed Functional Programming. Speaker: Anupam Jain, UI Architect, Arista Networks.

Compiler Devroom Lightning Talk: One Language, All GPU: How Julia Targets different GPU backends from a Single Kernel. Speaker: Shreyas Hegde, Member, JuliaGPU.

023

Functional Programming India @fpindia.bsky.social · 13/09/2026

Another fantastic #FPIndia #Bangalore #meetup wrapped up! Coffee, food, and scintillating conversation about everything ranging from #Clojure and #Haskell, #AI and the #job market, to #music and #hobbies! Watch this space if you want to be a part of the next meetup! #FunctionalProgramming #events

045

Functional Programming India @fpindia.bsky.social · 05/09/2026

Informal #FPIndia gathering next Sunday in #Bangalore. This is *very* limited space, and informal, so we don't have a predefined agenda. Come hang out, eat, drink, and have some chill conversations with fellow #FunctionalProgramming enthusiasts! luma.com/xpbc4v4q #Haskell #PureScript #Rust #Elixir

luma.com

Informal FPIndia Gathering · Luma

032

Reposted by Functional Programming India

Haskell programming language @haskell.org · 28/08/2026

Hi to all our new followers! You can get started with this wiki page on how to write a Haskell program: wiki.haskell.org/index.php?ti... #Haskell

wiki.haskell.org

How to write a Haskell program - HaskellWiki

0262

Reposted by Functional Programming India

Tikhon Jelvis @jelv.is · 29/08/2026

at o9, we have a proprietary query language (as one does), and I've been writing a typed PureScript library for it PureScript is great and row types are fucking amazing I've long maintained that row types are the biggest thing Haskell is missing, and I'm even more convinced now

161

Functional Programming India @fpindia.bsky.social · 07/08/2026

What do #FPIndia gatherings look like? Here are a few pictures from a past #Bangalore #Meetup. We don't usually take a lot of pictures, but will share some from each meetup going forward. #FunctionalProgramming

010

Functional Programming India @fpindia.bsky.social · 05/08/2026

#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

120

Reposted by Functional Programming India

Haskell programming language @haskell.org · 16/07/2026

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...

blog.haskell.org

Enterprise Haskell at H-E-B | The Haskell Programming Language's blog

How Haskell earned its place in H-E-B's supply chain.

12912

Reposted by Functional Programming India

Hazel Weakly @hazelweakly.me · 18/07/2026

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

2397

Functional Programming India @fpindia.bsky.social · 14/07/2026

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

hasgeek.com

Bangalore FP July 2026 meetup

FPIndia Meetup for the month of July 2026

000

Reposted by Functional Programming India

Functional Programming India @fpindia.bsky.social · 12/07/2026

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

011

Functional Programming India @fpindia.bsky.social · 12/07/2026

A million lines of AI generated #Rust code isn't cool? You know what's cool? A Billion lines of #AI generated Rust code. Has #bun ever thought of doing that?

000

Functional Programming India @fpindia.bsky.social · 08/07/2026

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.

luma.com

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…

000

Functional Programming India @fpindia.bsky.social · 06/07/2026

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

030

Functional Programming India @fpindia.bsky.social · 03/07/2026

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

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

000

Functional Programming India @fpindia.bsky.social · 27/06/2026

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

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

010

Functional Programming India @fpindia.bsky.social · 24/06/2026

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...

hasgeek.com

Bangalore FP June 2026 meetup

0111

Reposted by Functional Programming India

gabby @fullmoon.id · 23/06/2026

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...

haskellforall.com

Record type inference for dummies

Gentle tour of type inference for records

18412

Functional Programming India @fpindia.bsky.social · 04/06/2026

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

hasgeek.com

Bangalore FP June 2026 meetup

031

Functional Programming India @fpindia.bsky.social · 21/05/2026

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...

hasgeek.com

Bangalore FP May 2026 meetup

000

Functional Programming India @fpindia.bsky.social · 17/05/2026

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

hasgeek.com

Bangalore FP May 2026 meetup

052

Reposted by Functional Programming India

Rohit 🫨 @diru.bsky.social · 11/03/2026

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

041

Reposted by Functional Programming India

Anupam λ≡ @haskman.bsky.social · 27/02/2026

Starting a new video series on #CategoryTheory. Please provide feedback. Brickbats welcome, especially of the constructive kind! #FunctionalProgramming www.youtube.com/watch?v=aKIu...

youtube.com

Category Theory for the Working Programmer - 1.0 - Prologue

YouTube video by The Strong Static Type

021

Reposted by Functional Programming India

José A. Alonso @jalonso.eurosky.social · 15/10/2025

Arrows to arrows, categories to queries. ~ Sandy Maguire. reasonablypolymorphic.com/blog/arrows-... #Haskell #FunctionalProgramming

051

Reposted by Functional Programming India

Satnam Singh @satnam6502.bsky.social · 15/10/2025

The video recording of my ICFP 2025 keynote talk Functional Programming for Hardware Design is up on YouTube. www.youtube.com/watch?v=1oBO...

youtube.com

[ICFP/SPLASH'25] Orchid Plenary Ballroom - ICFP Papers and Events (Oct 13th)

YouTube video by ACM SIGPLAN

1225

Reposted by Functional Programming India

Anil Madhavapeddy @anil.recoil.org · 12/10/2025

Completely full house for our OxCaml tutorial at #icfpsplash25! conf.researchr.org/details/icfp...

0212

Reposted by Functional Programming India

dan @danabra.mov · 11/10/2025

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.

1023122

Reposted by Functional Programming India

Haskell programming language @haskell.org · 08/10/2025

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...

youtube.com

Cowboys from Haskell

YouTube video by r. guitars

0122

Reposted by Functional Programming India

Alexander Bandukwala @bandukwala.me · 07/10/2025

I can finally do some real work.

Hazel programming language with a parsed csv and table of pokemon

2234

Reposted by Functional Programming India

Manuel Chakravarty @tacticalgrace.justtesting.org · 30/06/2025

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.

1124

Reposted by Functional Programming India

miguelraz_t @movraxrax.bsky.social · 22/09/2025

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 ✊

rust-lang.github.io

Proposed goals - Rust Project Goals

1142

Reposted by Functional Programming India

Functional Programming India @fpindia.bsky.social · 21/09/2025

Uhh

121

Reposted by Functional Programming India

Joe @doscienceto.it · 16/09/2025

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/

doscienceto.it

How I Use Haskell for 3D Printing

053

Reposted by Functional Programming India

Michael Evans @teamtock.bsky.social · 16/09/2025

"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/

0137

Reposted by Functional Programming India

Haskell programming language @haskell.org · 14/09/2025

3D printing at #MuniHac! #Haskell

1354

Reposted by Functional Programming India

Haskell programming language @haskell.org · 12/09/2025

All the cool kids are doing Haskell these days!

"Haskell" written on a whiteboard with the S drawn as The Cool S

3301