Functional Programming India 🇮🇳《ミ》λ≡

Uniting Functional Programming Language enthusiasts across India. Zulip: Telegram:

[Functional Programming India 🇮🇳《ミ》λ≡ @FunctionalIndia]

What does #FunctionalProgramming and #Python have in common? A LOT apparently.

Come join us for an offline joint #meetup between #FPIndia and @__bangpypers__ , and find out more.

All skill levels welcome!

#Haskell #Clojure #TypeScript #Rust #Elixir #FP

https://t.co/EQgU9WiB1p

[BangPypers @__bangpypers__]

Announcing our third speaker — Kartik Sahu from EPAM!

Topic: Lumen – AI for BI

A conversational BI agent that turns business questions into analysis, explainable insights, evidence-backed reasoning and interactive visualizations.

24 Oct | @EPAMSystems Office, Bengaluru

[富良美雄 @FlavioCorpa]

Haskell + Elm + Nix + deploying to a nixOS VPS is the most pleasurable experience ever, and the best part is LLMs are good enough to nail this stack already… haven’t yet seen a weird bug in @konekokanji and the stupid bugs are 1 line UI fixes! 🙌🏻💯

[BangPypers @__bangpypers__]

Announcing our next speaker for the October Meetup — Benjamin Philip!
He’ll be speaking on “The BEAM Odyssey: From Industrial Telephony to Modern Domains”,
In collaboration with @FunctionalIndia .
Thanks to @EPAMSystems for hosting us.
24 Oct | 10:30 AM – 2:00 PM | Bengaluru

[borar @Savlambda]

Whoever is interested in this should really take a look at PureScript.

[Ryan Peterman @ryanlpeterman]

Martin Odersky (creator of Scala, @odersky) on why types will become the contract between humans and AI-written code:

I think right now we're sort of in an existential crisis. We have AI generating the code, but humans being asked impossible tasks, like to review all these mountains of code, which will never work.

And at the same time, AI has also gotten extremely good at exploiting vulnerabilities in code. Like we all heard of Fable and things like that, that you can't use it anymore because it's too dangerous. It will exploit things.

So we are at a moment where it's very dangerous that we lose control as humans of what actually happens here. And that's a challenge that I think programming languages can help meet. Definitely not only programming languages, that's no silver bullet, but they definitely can help.

If the code is AI-generated, then the focus has to go elsewhere. And I think the focus will go to the interfaces and to the types. I expect types will become a lot stronger and more precise than what we had, because types are the handle that we can make a contract between the human and the AI, that the human can understand, that's concise enough to be reviewed, and that the AI can keep to.

We have to level our game quite a lot, because right now, let's face it, type systems are mostly recommendations. They're mostly things that mostly hold, but not always. There are no guarantees, because you can always have a cast, or use some dirty memory. There are a lot of techniques to undermine the type systems.

[BangPypers @__bangpypers__]

Thanks to @EPAMSystems Bengaluru for hosting us.
24 Oct | 10:30 AM – 2:00 PM | Bengaluru
#Haskell #FunctionalProgramming #BangPypers #Python

[BangPypers @__bangpypers__]

Announcing our first speaker for the October Meetup -Sanchayan Maity!
He’ll be speaking on “Introduction to Haskell”, exploring Haskell and some of the ideas behind functional programming.
This edition is in collaboration with @FunctionalIndia.

[Grady Booch @Grady_Booch]

You wrote "Remember IBM's UML and Rationale Rose, etc.? Those were created to communicate bugs and defects from US based analysts to Indian bases devs".

You have a remarkable relationship with the truth.

I'm the inventor of the UML.

I created the Booch method which morphed into the UML, and both were designed to visualize, reason about, construct, and document the artifacts of software-intensive systems.

Furthermore, the UML and Rational Rose existed about a decade before IBM acquired Rational.

I suggest you reconsider your life choices.

[BangPypers @__bangpypers__]

CFP is open for our October meetup with @FunctionalIndia.
Theme: Functional Programming + Python
If you’re building or doing interesting work in this space, come share it with the community.
24 Oct | @EPAMSystems Office, Bengaluru
Submit: https://t.co/tHspXNyGAF

[BangPypers @__bangpypers__]

October Meetup is coming up!
BangPypers × @FunctionalIndia
24 Oct 2026
10:30 AM – 2:00 PM
@EPAMSystems Office, Bengaluru
Bringing Bengaluru’s Python and functional programming communities together for talks, learning and conversations.
https://t.co/MGsLHz5zQl

[KC Sivaramakrishnan @kc_srk]

The talk is here.

https://t.co/uPBcbFqix6

[Ashutosh Pandey @ashpande18]

The crowd at the “Compilers, Programming Languages and Systems” Devroom is crazy! Amazing that so many people are here.

@FOSSUnited #IndiaFOSS @fp_launchpad @pointblank_club

[Rúnar @runarorama]

The next release of Unison will have both GADTs and indexed abilities. Stay tuned.

[Sean Parsons @seanparsons]

Here's me just building stuff in Haskell and being able to read the code the AI generates.

Feeling more validated about my choice with each passing day.

[Edward Kmett @kmett]

THC now covers at least nominally all ~1500 or so of GHC 9.14.1’s primops, handles GHC’s full traced callstack and async exceptions, and can load and run real applications using cabal: e.g. hscolour, happy, alex, doctest, etc.

I’m very close on running pandoc (a minor wibble about mixing native and managed libraries and lack of rtsopt pass thru kept me from declaring victory) and can just barely load GHC itself as a library with a small source modification (due to limitations around signal handling and the JVM), so I have a path to a REPL.

Need to fix up disparities between the bytecode and AST backends to fully declare async exceptions resolved and both as supported.

And I still want native-image and/or crac support for pre-canning executables.

https://t.co/nVViUniPE7

[Animesh Ghosh @theOnlyMaDDogx]

@IndiaFOSS @FunctionalIndia Benchmarking OCaml in Hall 3 at @IndiaFOSS 2026 🏎️

[Animesh Ghosh @theOnlyMaDDogx]

@IndiaFOSS Anupam's from @functionalindia talk at @indiafoss 2026 Hall 3 is packed!

[Functional Programming India 🇮🇳《ミ》λ≡ @FunctionalIndia]

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