Functional Programming India 🇮🇳《ミ》λ≡ @FunctionalIndia
Uniting Functional Programming Language enthusiasts across India. Discussions on https://t.co/dIBZ5Jqs3I. Bsky: https://t.co/jPZ6faePR6 functionalprogramming.in India Joined February 2020-
Tweets998
-
Followers516
-
Following337
-
Likes1K
Imagine if you could type f, and have the IDE autocomplete with any values in scope that could be used as a valid argument
Imagine if you could type f, and have the IDE autocomplete with any values in scope that could be used as a valid argument
90
27
1K
85K
115
Download Image
Functional Programming India 🇮🇳《ミ》λ≡ retweeted
You want higher-kinded types so much, there are emulations for a dozen popular languages that don’t have them… <github.com/yallop/higher> …and a rapidly growing TypeScript library, @EffectTS_, has emulated them for two years: <github.com/Effect-TS/effe…>
We have two great talks lined up for the meetup this week! An Introduction to Category Theory by Anupam Jain Modules in OCaml by Sanchayan Maity Come join us #Haskell #PureScript #OCaml #Elixir #Erlang #Scala #Clojure #CategoryTheory #India #FunctionalProgramming #FPIndia
We have two great talks lined up for the meetup this week! An Introduction to Category Theory by Anupam Jain Modules in OCaml by Sanchayan Maity Come join us #Haskell #PureScript #OCaml #Elixir #Erlang #Scala #Clojure #CategoryTheory #India #FunctionalProgramming #FPIndia
We are looking for venues for our October meetup. Any companies in #Bangalore willing to host us? #FunctionalProgramming #India #Meetup #FPIndia #Haskell #PureScript #OCaml #Rust #Elixir #Clojure #Scala
Functional Programming India 🇮🇳《ミ》λ≡ retweeted
Functional Programming India 🇮🇳《ミ》λ≡ retweeted
Java will get typeclasses: youtube.com/watch?v=Gz7Or9…. #haskell finally coming to the masses!
Functional Programming India 🇮🇳《ミ》λ≡ retweeted
One reason why people find Rust difficult and have problems with the borrow checker is that bindings (not values) are mutable and implicitly mutated. Many Rust expressions are actually statements in the "binding language". To use Rust effectively one has to mentally compute the…
Functional Programming India 🇮🇳《ミ》λ≡ retweeted
We are delighted to welcome Standard Chartered as a Gold Haskell Ecosystem Supporter: well-typed.com/blog/2025/08/s…
Functional Programming India 🇮🇳《ミ》λ≡ retweeted
One of the most influential programming textbooks was first published as a paperback 40 years ago today: MIT's "Structure and Interpretation of Computer Programs." Read it for free here: rb.gy/5hvui
Functional Programming India 🇮🇳《ミ》λ≡ retweeted
The videos for the Haskell Implementors Workshop youtube.com/playlist?list=… (chaired by our own @andrherr) and Haskell Ecosystem Workshop youtube.com/playlist?list=… have been released! A few highlights from us below. Tell us *your* favourite talks!
Functional Programming India 🇮🇳《ミ》λ≡ retweeted
Sub-10-microsecond Haskell Sudoku solver implemented in hardware. unsafeperform.io/papers/2025-hs…
Functional Programming India 🇮🇳《ミ》λ≡ retweeted
Did you know, Unison has a @zeddotdev extension? It's built by our wonderful community! 🛸 The friendly programming language from the future plays nice with your favorite editors. 👽✌️ zed.dev/extensions/uni…
Functional Programming India 🇮🇳《ミ》λ≡ retweeted
If you are at all interested in type checking, you should definitely check out Stephen Diehl’s Typechecking Zoo! It has in-depth walkthroughs of implementing progressively more advanced type systems. Link below 👇
Functional Programming India 🇮🇳《ミ》λ≡ retweeted
IITM students are starting an OCaml reading and discussion group: github.com/prismlab/iitm_…. Folks not associated with IITM are welcome to join. Thanks @durwasa_dc for the initiative.
Functional Programming India 🇮🇳《ミ》λ≡ retweeted
every major untyped language is adding types feels like we’re winning
every major untyped language is adding types feels like we’re winning
Functional Programming India 🇮🇳《ミ》λ≡ retweeted
Dirty little secret: purely functional programming gives you this superpower by taking composition seriously. An "intermediate-to-senior @typelevel Scala" interview question I designed is basically "write a router that receives an incoming HTTP request, discovers all available…
Dirty little secret: purely functional programming gives you this superpower by taking composition seriously. An "intermediate-to-senior @typelevel Scala" interview question I designed is basically "write a router that receives an incoming HTTP request, discovers all available…
Functional Programming India 🇮🇳《ミ》λ≡ retweeted
The Steering Committee's statement on the extended duration for the pride NixOS logo: discourse.nixos.org/t/did-nixos-lo…
Functional Programming India 🇮🇳《ミ》λ≡ retweeted
This is amazing. @__dfreeman wrote a Unison _library_ that compiles Unison to WASM. share.unison-lang.org/@dfreeman/warp
“Haskellasaur”?!
Edward Kmett @kmett
16K Followers 824 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
HarryKen @harry_ken3960
7 Followers 447 Following
CL @CL2700
489 Followers 3K Following No task that is easy is ever worthwhile. Inefficiency is a slope whereupon one slides ever downwards, by degrees, until one reaches the nadir of unknowing.
Jerko @Jerko394
85 Followers 2K Following
Ali Jawed @javved1729
3 Followers 326 Following
Sawspa @Sawspa760988
81 Followers 2K Following
pilku @pilku10
21 Followers 49 Following
Zero @Kartiksingh8860
3 Followers 51 Following Aspiring Developer | BCA 2025 HTML • CSS • JS • Python | Eager to learn, build, and growFuture Entrepreneur | Passionate about tech, startups & innovation
Andor Pénzes @sverien
531 Followers 1K Following Functional programming,software development,compiler construction.
Bart Blast @Bart_Blast
708 Followers 5K Following Building Hologram, a full-stack Elixir web framework
SHREYANSH RAJ @ShreyanshR83525
0 Followers 12 Following
Vitthal Mirji @whoami_vim
574 Followers 1K Following Staff Data Engineer | Software Architect | Mumbai. Engineering the future of Data-Driven Decision APIs SDKs, Frameworks & AI-driven solutions | Open source | ML
Phoenix_4745 @phoenix_4745
3 Followers 58 Following
jamjam @_kashing_
18 Followers 94 Following CS Masters @ IITB | Exploring the software-hardware stack
Shreya Pawaskar 🌷 @pawaskar_shreya
378 Followers 126 Following 👨💻 Outreachy intern'25 @ Claudius OCaml || 🌟Opensource Contributer ||🎓 Btech AI & DS
Ari S. @Ari_S_123
422 Followers 5K Following CS @Northeastern | prev intern @ https://t.co/9Pq2PtygGS & @LexiaLearning
Raj🥑 @Raj_ghj
126 Followers 346 Following web3 , systems , gsoc'25 at @Stjuderesearch https://t.co/LHFafjt317 mail: [email protected]
DrunkRick @VapourMafia
463 Followers 1K Following Product Engineer | Co-Founder @gmserdotxyz @tigestclub | Internet is dead and we have killed it
Youtube Promotion @YouTubePromte
917 Followers 7K Following Let's boost your YouTube channel globally using genuine promotions. Every day you will receive organic engagements on your YouTube channel.
omkar garde @omkargarde6
35 Followers 418 Following frontend developer | react | typescript https://t.co/DejjPy7LVX https://t.co/Alvkr7vP6a
Kaustubh Kushte @kaustubhkushte
357 Followers 985 Following Ex-iOS Dev → Full Stack (NodeJS) + DevOps Lead | Travel hacking my way into 5-star hotels using reward points & smart swipes 💳 🏨💛
upendra @Uc62304993
40 Followers 243 Following 👨💻 Coding daily for 100 days | #100DaysOfCode | Frontend ⚡ Backend 🧠 Projects 🔥
peckos @peckos_offl
2 Followers 93 Following @peckos_offl is an official x handle for peckos a Modern Reporting platform with automation features.
Abhaya Agarwal @abhaga
2K Followers 2K Following Books. Technology. Languages. History. Ideas. Future. In various combinations. @sprintoHQ. @pothidotcom. Traveling with @jayajha.
Torseyez @TorseyezoYpd
31 Followers 701 Following
Renzo @renzocarbonara
2K Followers 4K Following Author of @atopbook, building software with types and functional programming. Unfollow me for less wisdom.
Senthilnathan @ssenthilnathan_
3 Followers 87 Following
Namit Patel @NamitKPatel
45 Followers 67 Following
Krishna Agarwal @krishnaa404
679 Followers 2K Following Founder @Teziapp - The communication & marketing OS for B2B domain - join me for #FoundersWalk to meet & discuss founder stories
Shivaraj B H @shivaraj_bh_
81 Followers 140 Following Bringing NixOS like services to flakes with https://t.co/Coi8eEwi0B
S @shettysach_
21 Followers 336 Following
Graham Hutton @haskellhutt
8K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Erik Meijer @headinthebox
31K Followers 2 Following
Edward Kmett @kmett
16K Followers 824 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Matt Parsons @mattoflambda
5K Followers 523 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Joachim Breitner @nomeata
2K 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
Inactive; Bluesky is ... @hillelogram
18K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com
Rúnar @runarorama
12K Followers 103 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
piq and 69 others @piq9117
3K Followers 1K Following 🇺🇸 • haskell • CEO @htmx_org • neovim extremist • competitive shooter
Graham Christensen @grhmc
6K Followers 1K Following Nix! In! Spaaaaceeee!!!!! @DeterminateSys. he/him. 📻 NO5IG
Mara @m_ou_se
45K Followers 415 Following Rust dev, Electronics engineer, Author, @rustlang Library team lead, ADHD, Polyamorous, Lesbian, She/Her
🌸🐑 mlep🥛🌸 @yandereidiot
6K Followers 873 Following 🪬 Former CTO of @haskellfound 🧘 Advisor/Core Eng Honcho @kadena_io 🐎 Horse and dairy lover 🤠 Cowgirl Utahn Reject modernity - return to pasture
Alexis King @lexi_lambda
12K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
@flaviocorpa.com 🦋 @FlavioCorpa
2K Followers 301 Following Senior Haskell Engineer @Scrive ♟️Adult chess improver #chesspunks 🏯日本語を勉強中(N3)
gabby @GabriellaG439
15K Followers 76 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
Swanand @_swanand
9K Followers 947 Following CTO, Leader, Mentor, Nerd, Coach. You'll find tweets on software, humor, education, teams, and careers. DMs open
Max ⊶ New @maxsnew@... @ProfMaxNew
1K Followers 208 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 ⚜️
Bruno Gavranović @bgavran3
9K Followers 923 Following Building structured neural networks using principles from category theory.
CyberCat Institute @CyberCatInst
1K Followers 109 Following Institute for Categorical Cybernetics - applied category theory for social good in economics, machine learning and software engineering
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Robert Graham @ErrataRob
66K Followers 2K Following Created (BlackICE,IPS,sidejacking,masscan). Doing (blog,code,cyber-rights,Internet-scanning). Macrodata refiner.
zio @zioscala
4K Followers 131 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
708 Followers 5K Following Building Hologram, a full-stack Elixir web framework
Nathan Potter @nathanrpotter
406 Followers 356 Following CTO @wander | AI, software & fusion energy enthusiast | Passionate about travel, nature & architecture | From Tomball, TX | Lived in SF, ATX, MN & on the road
NixOS @nixos_org
12K Followers 87 Following
scalac.io @scalac_io
3K Followers 543 Following Over 10 years of aiding Tech Companies to scale. Specializing in #Scala, #Java, #Spark, #Rust, #Akka, #React, #Angular #Kafka #blockchain
Bryan Richter @chreekat
198 Followers 239 Following Haskell and bicycles in an unordered heap. Now even more unordered as the DevOps Engineer for the Haskell Foundation!
Afsal Thaj @afsalt2
635 Followers 508 Following Passionate on #FP #Haskell #Scala #Rust @Ziverge | #Kerala, Lives in Melbourne | Loves speaking, skydiving, hiking & travelling.
Elad Ben-Israel @emeshbi
4K Followers 2K Following Playing with robots | Previously: CEO & Co-Founder Wing Cloud, AWS CDK, Amazon Prime Air, Microsoft
mike @stronglynormal
156 Followers 87 Following Audio & functional programming enthusiast. https://t.co/wnt6kwd6n3 | https://t.co/WGr6wSvXgj | https://t.co/7D5U5MYzOl
Manuel Chakravarty�... @TacticalGrace
6K Followers 764 Following Lambda scientist ･ functional programming, programming languages & cryptography • Swift, Haskell & Agda • @HaskellForMac dev • Volt Policy DigiCom
Aaron W. Hsu @arcfide
146 Followers 17 Following Computing Artiste, APL Apostle, focused on human-centered computing experiences. Preferred Contact: [email protected]
svs 🇮🇳 @_svs_
18K Followers 1K 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/qfFZFQf2kv
Vivek Nathani @viveknathani_
792 Followers 390 Following engineer, prev: @marscomputer (wtfund c1/24), @investmintclub, interests: number theory, computers, financial markets
hsr hacker house @hsrhackerhouse
9K Followers 228 Following a hackerhouse where people build cool things. in blr & sf.
aravind gopal @MaG199601
35 Followers 293 Following
Elixir Forum @elixirforum
6K Followers 3K Following This account tweets every thread that's posted by the community on the Elixir Forum :-)
Evan Czaplicki @evancz
16K Followers 68 Following Creator and developer of @elmlang Reading highlights at @power_studies
John A De Goes @jdegoes
18K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
Code BEAM @CodeBEAMio
10K Followers 2K Following The Erlang, Elixir and Gleam events by @CodeSyncGlobal 🇺🇸 Code BEAM Lite Stockholm 2 June 25 Secure your early bird ticket ➡️ https://t.co/X6KkvTYTu4
Aram Hăvărneanu @aramh
3K Followers 1K Following Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.
Skyroot Aerospace @SkyrootA
114K Followers 147 Following Opening Space for All. Successfully launched India’s first privately developed rocket to Space.
OCamlPro @OCamlPro
2K Followers 80 Following OCamlPro helps you harness state-of-the-art languages like #OCaml and #Rust. We help you design & implement safe & powerful software #FormalMethods
OCaml @ocaml_org
2K Followers 16 Following The industrial-strength functional programming language | safe, expressive, performant | Changelog + OCaml Planet RSS feeds https://t.co/TqiIR3AdHB
Travis Whitaker (hs/a... @TravisMWhitaker
5K Followers 827 Following I am weaponizing Haskell and Nix.
Anthony Alaribe {··... @tonialaribe
6K Followers 3K Following Watch me build developer tools in public. Building @monoscope_tech {•••}. I build stuff in Haskell, Rust (🦀) and Go. Maths ♥️ Engineering. HTMX fanboy
rahul seth @ultasawaal
4K Followers 2K Following Investing in an Industrial India. Work @industrial47 @indianarmy. Fanboy @pixxelspace @Digantarahq @PranosFusion @fampayindia @piersightspace @flamappofficial
David Sancho @davesnx
3K Followers 1K Following Building the tools behind user interfaces at @ahrefs with OCaml and open-source, mostly reason-react, server-reason-react, styled-ppx, Melange and Reason.
12th Main Bot 🍿 @12thMainBot
3K Followers 3 Following Events, food, activities & zeitgeist in Bengaluru. Curated through community. Where to go; what to do; what’s happening in BLR?
Peak Bengaluru @peakbengaluru
124K Followers 61 Following Startup, tech & hipster frenzy from the hottest & fastest growing startup city in the world 💜 Independent voice of Indian Startup Ecosystem! 🍿 @12thMainBot
Liam Goodacre @goodacre_liam
476 Followers 457 Following Programmer, mainly Haskell, maybe categories. The answer is always an optic. Foldable Coyoneda gives me joy.
András Kovács @andrasKovacs6
911 Followers 66 Following Type theory & applications. Also on Mastodon: https://t.co/KYgeYKJQgM
Prathyush @prathyvsh
6K Followers 226 Following Map maker @patternatlas ∩ Interface Engineer @prabros
Pawan @PawanKChandana
30K Followers 2K Following Co-Founder @SkyrootA that launched India’s first privately developed rocket to Space. Forbes30U30 Asia. @IITKgp. Obsessed with Rockets & Space 🚀✨
ISRO @isro
8.0M Followers 41 Following Indian Space Research Organisation https://t.co/UolRyaZlZi. https://t.co/Q3K7buUqAI
Nerves @NervesProject
4K Followers 85 Following Craft and deploy bulletproof embedded software in Elixir. https://t.co/hfFNiPfR3QTrends for United States
99 B posts
1.407 posts
20,6 B posts
2.056 posts
194 B posts
80,1 B posts
5.814 posts
1.663 posts
26,7 B posts
266 B posts
70 B posts
59,4 B posts
18,1 B posts
47,4 B posts
4.022 posts
25,7 B posts
30,8 B posts
42,5 B posts
You might like
Alexander Granin
@graninas
7K Followers
Serokell
@serokell
7K Followers
João Forte Carvalho ...
@bgamari
2K Followers
Unison | @unison-lang...
@unisonweb
5K Followers
Michael Snoyman
@snoyberg
6K Followers
krystal maughan
@kammitama
525 Followers
Edward Kmett
@kmett
16K Followers
Paweł Szulc
@EncodePanda
3K Followers
RenderATL 2026 | Augu...
@RenderATL
14K Followers
Veronika Romashkina
@vrom911
3K Followers
Hasgeek
@hasgeek
13K Followers
Vladislav Zavialov
@int_index
2K Followers
John A De Goes
@jdegoes
18K Followers
Chris Smith
@cdsmithus
615 Followers