Functional Programming India 🇮🇳《ミ》λ≡
@FunctionalIndia
Followers
515
Following
1K
Media
37
Statuses
1K
Uniting Functional Programming Language enthusiasts across India. Discussions on https://t.co/dIBZ5Jqs3I. Bsky: https://t.co/jPZ6faePR6
India
Joined February 2020
Announcing the October #FPIndia #Bangalore #Meetup! #Haskell #PureScript #Elixir #Erlang #Scala #Clojure #India #FunctionalProgramming RSVP:
hasgeek.com
Bangalore FP October 2025 meetup
0
1
2
Fil-C is pretty cool. A garbage-collected fully source-compatible C that turns unsafe memory access into segfaults? Freaking great. It's not compile-time checking, but it is something, and something is often better than nothing.
6
4
85
Yeah. I’ve not done it myself but if I were in grad school I would definitely invest time in learning Lean now.
I firmly believe we are at a watershed moment in the history of mathematics. In the coming years, using LLMs for math research will become mainstream, and so will Lean formalization, made easier by LLMs. (1/4)
1
3
47
When I started working in python, I got lazy with “single assignment”, and I need to nudge myself about it. You should strive to never reassign or update a variable outside of true iterative calculations in loops. Having all the intermediate calculations still available is
194
187
3K
I’m on the latest episode of the @HaskelInterlude talking about GHC, the FFI, type families, parallel programming in Haskell and also about the relationship of Haskell and Swift: https://t.co/yhPh8XsGr5
#haskell
0
3
3
You can now run GHC in your browser: https://t.co/F3UGRHjwSB
#haskell
4
5
33
If you can only learn two languages, they should be: 1. one of (Rust, Zig) - will teach you to program at a lower level of abstraction, more aligned with the underlying hardware 2. one of (Haskell, Scala, OCaml) - will teach you to program at a higher level of abstraction
If you can only learn two languages, they should be: Rust TypeScript
26
13
228
"use workflow" is a functor. 🏃
"use workflow" And your async await calls become durable. Supported everywhere TypeScript runs https://t.co/G0kGMr3M0X
1
3
22
The greatest trick Rust ever pulled was turning all of my functional programmer homies into systems programmers.
Mostly working in Rust but keeping a curious eye on Zig - it's always interesting to compare the techniques offered by the two. That reflects a lot on the philosophy of language design that they embrace .. Here are four ways to model “interfaces” in Zig (and they compare to
6
13
365
The realtime cooperative scheduler for the bare metal
Greetings Haskellers, I'm looking for some elegant pieces of Haskell code. If you have any cool algorithms to share, I'd much appreciate it. Longer functions are welcome too.
2
2
14
Imagine if it was possible to setup an operating system in a stateless, declarative and infinitely reproducible way. Maybe using some sort of a functional config language even…
77
48
2K
Does anyone know of an experimental study of the efficacy of AI agents when working with statically typed vs dynamically typed codebases and languages? I'd be very curious to see results in this space!
17
6
77
how a typefucker sees the world
1
6
55
A type system? No no no no. Why would you go after types? If you show people types, they'll ask "how expressive?" -- and it will never be enough. The lang that was the Java Script killer becomes another Elm. But if your lang has no types, you can say it's pre-types -- and it's a
28
93
1K
OCaml compiler office hours is starting this Friday https://t.co/gIId3kuUJq
discuss.ocaml.org
Given the current votes, I propose to pick Friday October 10th UTC 11:00 – UTC 12:30 as the time slot for this test run of OCaml compiler office hours. Save the date! I propose to try This online...
0
7
30
I googled "Lean meetup in Bangalore" and only found "Lean startup" & "Lean In" communities. 🤦♂️ Anybody interested in an in-person @leanprover workshop? I really think more people should be fluent in the language that's driving AI in math and science.
4
1
25
A friend needed lots of sophisticated C code to be written for his systems startup so he decided to advertise and interview for OCaml programmers (not a language he himself was very familiar with). This turned out to be a brilliant filter for hiring very highly skilled
economist.com
It involves the use of an obscure, French programming language
22
37
658
There was a performance bug in recent Ormolu. The fix is terrifying
github.com
A tiny fix, that tested on a closed-source codebase of over 16k modules took formatting inplace from ~10.5 minutes to ~19seconds. This fixes #1176
0
1
5