Functional Programming India 🇮🇳《ミ》λ≡ @FunctionalIndia
Uniting Functional Programming Language enthusiasts across India. Zulip: https://t.co/oINfYtMdwE. Telegram: https://t.co/dIBZ5JqZTg functionalprogramming.in India Joined February 2020-
Tweets1K
-
Followers547
-
Following359
-
Likes1K
The talk is here. kcsrk.info/ocaml/teaching…
If you wanna know why this is a win, come to my talk tomorrow fossunited.org/c/indiafoss/20…
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
holy shit, I just found out there is a whole category of bugs that aren't related to memory safety is anyone working on creating a language to prevent these?
The next release of Unison will have both GADTs and indexed abilities. Stay tuned.
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.
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. github.com/ekmett/thc
@IndiaFOSS @FunctionalIndia Benchmarking OCaml in Hall 3 at @IndiaFOSS 2026 🏎️
@IndiaFOSS Anupam's from @FunctionalIndia talk at @IndiaFOSS 2026 Hall 3 is packed!
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
@kmett Exciting! I remember hearing you talk enthusiastically about using graal to optimise functional language runtimes, back in... 2019. At Functional Conf India
THC just successfully imported Control.Lens and ran code directly from it... before it was capable of running "Hello World". My priorities may be a _little_ skewed. github.com/ekmett/thc/ #Haskell
We are very excited to announce that FP Launchpad will be hosting the 2027 edition of FunOCaml in Bangalore! This will be the first edition of FunOCaml (or any major OCaml conference) in India.
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
The Haskell Foundation is calling for applications to the new Technical Leadership Committee, a new committee formed to formulate and enact the Haskell Foundation’s technical vision. Details within! haskell.foundation/news/2026-08-0…
If you use Haskell Language Server or the Haskell Debugger, Well-Typed have implemented whole project loading to make the developer experience better: well-typed.com/blog/2026/09/w…
The year is 2047 and Java adds dependent types.
The most exciting thing we have seen all day! #PureScript
Actually in one of Haskell, PureScript, or Erlang, depending on what the code is trying to do.
Most application code being written in Rust should be written instead in Go. (And most of the rest, on the JVM.)
Interested to see where this goes. Haskell's type system means this has potential to be one of the safest environment to run (useful) agentic code, and we may see real progress on that here.
native swift/objc desktop app, linked directly with the haskell-agent implementation. finally smooth macOS scrolling :)
Edward Kmett @kmett
17K Followers 810 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/OduL9QvPz7 https://t.co/XwbnuaOUzq https://t.co/wYaTDISbEB
KC Sivaramakrishnan @kc_srk
6K Followers 4K Following Profing @iitmadras. Running @fp_launchpad. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Talia Ringer 🕊🪬 @TaliaRinger
34K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Prabhat Suresh @prabhat_suresh
0 Followers 46 Following
Neeraj Bijarnia @Neeraj_bijarnia
1 Followers 305 Following
afsal ಅಫಲ್ ا... @afsal
209 Followers 3K Following
Tapan Prakash T @tapanprakasht
25 Followers 1K Following
Saptarshi Nag @Saptarshi108
249 Followers 3K Following Embedded Systems Developer, French learner and Art lover 🇮🇳🇫🇷 He/Him. Likes are not Endorsement
Ujjwal Thakur @subgraphdev
374 Followers 2K Following Researcher @RareSkills_io | Formal Verification • Lean 4 • Program Correctness
OP @putt_nah_yuck
0 Followers 54 Following
Saankhya @sankytankyo
3 Followers 158 Following
Vishnu Dileesh @vi_c0de
337 Followers 2K Following Engineer. Entrepreneur. Educator. Head of Engineering & Product. 3x College Dropout | 3x Startup Founder Exploring Functional Programming
krishnansh @dawkrish
12 Followers 188 Following 21 agra/blr - programming at fintech. I like functional programming, football, movies & anime.
Avinash Thakur @80avin
0 Followers 47 Following
Anirudh Sudhir @anirudh_sudhir
134 Followers 252 Following Systems Engineering Enthusiast | Research Intern @fp_launchpad | Prev. Intern @InMobi, @BytebeamHQ, @innovation_pes
kushalpsv @kushal_psv
19 Followers 667 Following dumbass who loves money and learning (like hearing wisdom and knowledge)
Blank @null1one
3 Followers 243 Following
Sribooshan @sribooshan
15 Followers 260 Following Digital IC Design Engineer | Indian Classical Music | सदा मम हृदये वस श्रीहरे !
./domes @Gronka_Bob
195 Followers 849 Following DMs open || 21 || 🌚 || shitpost || randompost || unprofessionalpost || incomprehensiblepost || nopost
何 @AvimanyuRoy3
945 Followers 7K Following
Michael Litchard @lambdafan
19 Followers 164 Following
Benjamin Philip @bjmphilip
36 Followers 152 Following
Yashwanth @yash1th_tweets
134 Followers 8K Following E quindi uscimmo a riveder le stelle. alum @mahindrauni
Yuvraj @yuvicodes
609 Followers 756 Following Softmaxxxing Transformers | Dev @dognosis | Member @SuperteamIN | Building @pawdexx
Srikanth Kurni @srikanthkurni
107 Followers 414 Following
IDENCIES @idencies05
11 Followers 97 Following
Samyak @Samyak210
225 Followers 621 Following systems, PL, open source, rust | work @e6data (query engines - perf, joins, distributed execution)
choudhary @0x1bits
20 Followers 132 Following IITian | Building for today! Founder of 2 failed saas products!
Aastha @aastha1729
0 Followers 18 Following
Harshit Ruwali @harshitruwali
228 Followers 288 Following aka sp00fexpl01t | homelab | Arch+i3wm since 2021 | opinions are my own
Bhavik Limbani 🦀 @BhavikLimani
206 Followers 2K Following Software Engineer & Leading @Widle_Studio Learning & applying - AI Factories | Building a community ⏳ - Learning, Building and Upskilling. 🦀
Akhil 🧑💻 @akhiltulluri_
278 Followers 2K Following On https://t.co/S05WroVGmf and https://t.co/amLMOqxxj0 | Systems and PL
Faruk Cebeci @cbcfrk
1 Followers 71 Following
Ankita 🌱 @Ano_myself
72 Followers 812 Following A computer engineer who loves music, photography + some physics & math :) Love, get hurt, accept your shortcomings, Live ❤️ sharingphotos @ankitaclicks
Moltti @molttest
301 Followers 4K Following
Naren Laxmidas @naren_laxmidas
22 Followers 300 Following
Graham Hutton @haskellhutt
9K Followers 704 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Satnam Singh @satnam6502
23K Followers 3K Following Scottish-Punjabi-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Erik Meijer @headinthebox
37K Followers 0 Following
Edward Kmett @kmett
17K Followers 810 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/OduL9QvPz7 https://t.co/XwbnuaOUzq https://t.co/wYaTDISbEB
Shriram Krishnamurthi... @ShriramKMurthi
24K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
KC Sivaramakrishnan @kc_srk
6K Followers 4K Following Profing @iitmadras. Running @fp_launchpad. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Matt Parsons @mattoflambda
5K Followers 597 Following Haskell jock. Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Tweag by Modus Create @tweagio
7K Followers 327 Following Improving the craft of software engineering.
Joachim Breitner @nomeata
3K Followers 1 Following Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 https://t.co/9Sjz02h8dL
Hillel @hillelogram
19K Followers 1 Following Developer educator at @AntithesisHQ. Formal methods, software history, chocolatiering. Newsletter: https://t.co/YrRPK2p8Pc Book: https://t.co/omGN29k6LJ
Rúnar @runarorama
13K Followers 123 Following Icelander. Eudaimonist. Individualist. Comonad enthusiast. Co-creator of the Unison programming language. Co-author of Functional Programming in Scala.
Stephen Diehl @smdiehl
54K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
Graham Christensen @grhmc
6K Followers 2K Following Nix! In! Spaaaaceeee!!!!! @DeterminateSys 📻 NO5IG
Mara @m_ou_se
44K Followers 401 Following Rust dev, Electronics engineer, Author, @rustlang Library team lead, ADHD, Polyamorous, Lesbian, She/Her
Alexis King @lexi_lambda
13K Followers 23 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
富良美雄 @FlavioCorpa
3K Followers 297 Following Senior Haskell Engineer @Scrive ♟️Adult chess improver #chesspunks 🏯日本語を勉強中(N3)
gabby @GabriellaG439
16K Followers 79 Following Author of https://t.co/KlpbciE0Hl, @dhall_lang, and https://t.co/YzieN4kyo2 I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
Swanand @_swanand
10K Followers 973 Following CTO, Mentor, Nerd. "Ship fast, ship often." On a mission to unf*ck product engineering everywhere.
Yaron (Ron) Minsky @yminsky
23K Followers 370 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Haskell Foundation @haskellfound
5K Followers 58 Following https://t.co/fFbaw17S1M • a non-profit for building the future of Haskell
compilertech @compiler_tech
257 Followers 69 Following Innovation In Compiler Technology Workshop 2025 Playlist : (https://t.co/V2focXosTr)
Abhijeet Dipke @abhijeet_dipke
529K Followers 1K Following Founder & Convenor - Cockroach Janta Party Contact: [email protected]
Spacekayak @spacekayak
5K Followers 7 Following Agentcy for frontier tech companies and future of internet, come for taste & imagineering | 100+ startups | $1B+ funds raised by our portco BLR | SF | MUC
Paul Finney @paulfinneyx
7K Followers 4K Following Techno Romantic, Founder & Chief Tastemaker @spacekayak, Building @sanctuaryparc, Store boy @freshwaterso 100+ venture funded startups & counting..
Arnav Bansal @itsarnavb
8K Followers 2K Following supporting young talent at @_lagrangepoint. Interests: Computing history, Talent, Education, Industrialization ex: @replit (2020-2024)
Dillon Mulroy @dillon_mulroy
42K Followers 4K Following principal engineer @cloudflare • tweets about functional programming, typescript, neovim, & formula 1 • https://t.co/6Vr6DiQmze • https://t.co/tlUe9v8Ha4
Philip Mocz @PMocz
3K Followers 1K Following Computational Physics & AI | now at @twosigma. Previously @FlatironInst, @Livermore_Lab, @Princeton, @Harvard (PhD). Views are my own.
Arjun @arjunslays
453 Followers 2K Following I am Jake Gyllenhaal🍃, Guitar Nerd, λ Dev ||⚡, Fear is the mind killer 👾
Quint @quint_lang
795 Followers 28 Following Capture what your software should do, control every change, and know your tests have you covered. By @informalinc
Benjamin Philip @bjmphilip
36 Followers 152 Following
Soham Sankaran @sohamsankaran
4K Followers 7K Following I run @PopVaxIndia (https://t.co/dOKb3wZ7pr) – we develop mRNA vaccines and therapeutics using computational protein design. I write at https://t.co/reAXhjkSrU
AI Engineer @ Paris �... @aiDotEngineer
65K Followers 81 Following We gather the world's best AI engineers, leaders, founders, and researchers, and publish all their best work for free, through conferences and workshops. Help!
Abhinandan Sekhri @AbhinandanSekhr
164K Followers 754 Following Co-founder Newslaundry & Small Screen. Director producer writer entrepreneur. Building an alternative news model https://t.co/OFgxiOOM7z
Ryan Peterman @ryanlpeterman
30K Followers 467 Following Quit my job to build the podcast & ergonomic keyboard I wish existed • ex-software engineer @instagram, @meta • See what I'm building here ↓
saladi rahul @saladi_rahul
1K Followers 341 Following Assistant Professor, IISc Bangalore. Modern Algorithms and Data Structures. Certified Isha Hata Yoga Teacher. Other interests: cricket, football, and music!
absurd @absurdit_y
18 Followers 18 Following Fanatically open-source kits, products and workshops ✳️
fp_launchpad @fp_launchpad
158 Followers 20 Following Research and education for crafting efficient, reliable and trustworthy software. Located in IIT Madras, Chennai.
RustINDIA @IndiaRust
200 Followers 129 Following Just one day to go, grab your tickets to Rust Conference now! 🦀 https://t.co/UNoFvs4jot
DRDO @DRDO_India
1.7M Followers 119 Following DRDO is the R&D wing of Ministry of Defence Govt. of India https://t.co/zDS51rN8ln
Justin Lê @mstk
2K Followers 1K Following jle / mstksg / Lê Anh Khoa: Computational Science PhD, Physics BS, Haskeller & amateur musician; he / him
Ryan Haskell @HeyRyanHaskell
914 Followers 2 Following Professional @elmlang engineer sharing https://t.co/b81Kk5bYhn, free learning resources, and developer tooling! (🦋 Moved to https://t.co/N3Jctmm8L3)
derek guy @dieworkwear
1.6M Followers 1K Following Menswear writer. Editor at @putthison. Bylines at The New York Times, Bloomberg, The Financial Times, Politico, Esquire, and Mr. Porter
hirrolot @hirrolot
565 Followers 52 Following A software engineer and computer science enthusiast. I mostly use C, OCaml, Rust, and Golang. [email protected]
Alina Banerjee | ಅ�... @interregnumish
54 Followers 59 Following 이모, baby PL thingy @fp_launchpad, sitar-strummer, 🇮🇳, inhabiting the settler-migrant continuum.
Max ⊶ New @maxsnew@... @maxstewartnew
1K Followers 199 Following Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️
CyberCat Institute @CyberCatInst
1K Followers 104 Following Institute for Categorical Cybernetics - applied category theory for social good in economics, machine learning and software engineering
Ilya Sergey @ilyasergey
8K Followers 993 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Robert Graham @robertgraham
69K Followers 2K Following Created (BlackICE,IPS,sidejacking,masscan). Doing (blog,code,cyber-rights,Internet-scanning). Macrodata refiner.
zio @zioscala
4K Followers 129 Following ZIO is a Type-safe composable asynchronous and concurrent programming library for Scala that is based on pure functional programming
Bart Blast @Bart_Blast
1K Followers 804 Following Building Hologram, a full-stack Elixir web framework
NixOS @nixos_org
13K Followers 87 Following
scalac.io @scalac_io
3K Followers 534 Following Over 10 years of aiding Tech Companies to scale. Specializing in #Scala, #Java, #Spark, #Rust, #Akka, #React, #Angular #Kafka #blockchain
Bryan Richter @chreekat
188 Followers 237 Following Haskell and bicycles in an unordered heap. Now even more unordered as the DevOps Engineer for the Haskell Foundation!
Afsal Thaj @afsalt2
677 Followers 527 Following Passionate on #Scala #Rust #FP. Durable Agent Runtime Development @GolemCloud US. https://t.co/ZyjNeZ7tjw
Elad Ben-Israel @emeshbi
4K Followers 2K Following Playing with agents | Previously: CTO at Bellboy Robotics, CEO & Co-Founder at Wing Cloud, Creator of the AWS CDK, Amazon Prime Air, Microsoft
Manuel Chakravarty�... @TacticalGrace
6K Followers 752 Following Lambda scientist ･ functional programming, programming languages & cryptography • Swift, Haskell & Agda • @HaskellForMac dev • Volt Policy DigiCom
Aaron W. Hsu @arcfide
150 Followers 17 Following Computing Artiste, APL Apostle, focused on human-centered computing experiences. Preferred Contact: [email protected]
svs 🇮🇳 @_svs_
21K Followers 2K Following Tech recruiter. Prev CTO at https://t.co/fRXzo9kpka and https://t.co/8Y1nUjaNsj. 2x founder. Newsletter - https://t.co/KiGz0PU2WV. Resumes - https://t.co/qfFZFQf2kvYou might like
