FunctionalIndia Profile Banner
Functional Programming India 🇮🇳《ミ》λ≡ Profile
Functional Programming India 🇮🇳《ミ》λ≡

@FunctionalIndia

Followers
516
Following
1K
Media
37
Statuses
998

Uniting Functional Programming Language enthusiasts across India. Discussions on https://t.co/dIBZ5Jqs3I. Bsky: https://t.co/jPZ6faePR6

India
Joined February 2020
Don't wanna be here? Send us removal request.
@FunctionalIndia
Functional Programming India 🇮🇳《ミ》λ≡
2 days
Imagine if you could type f, and have the IDE autocomplete with any values in scope that could be used as a valid argument.
@tsoding
Тsфdiиg
3 days
POV: you now add one character per function call purely because you think otherwise autocompletion is impossible.
Tweet media one
1
0
5
@FunctionalIndia
Functional Programming India 🇮🇳《ミ》λ≡
5 days
RT @JustDeezGuy: You want higher-kinded types so much, there are emulations for a dozen popular languages that don’t have them…. < https://t….
Tweet card summary image
github.com
Higher-kinded programming in OCaml. Contribute to yallop/higher development by creating an account on GitHub.
0
2
0
@FunctionalIndia
Functional Programming India 🇮🇳《ミ》λ≡
5 days
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.
@FunctionalIndia
Functional Programming India 🇮🇳《ミ》λ≡
17 days
0
0
6
@FunctionalIndia
Functional Programming India 🇮🇳《ミ》λ≡
8 days
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.
0
0
0
@FunctionalIndia
Functional Programming India 🇮🇳《ミ》λ≡
9 days
RT @matej_cerny: Is there something wrong with my eyes, or is that really a Monoid in the presentation about Java? 😄 #java .
0
9
0
@FunctionalIndia
Functional Programming India 🇮🇳《ミ》λ≡
9 days
RT @etorreborre: Java will get typeclasses: #haskell finally coming to the masses!.
0
22
0
@FunctionalIndia
Functional Programming India 🇮🇳《ミ》λ≡
9 days
RT @aramh: One reason why people find Rust difficult and have problems with the borrow checker is that bindings (not values) are mutable an….
0
12
0
@FunctionalIndia
Functional Programming India 🇮🇳《ミ》λ≡
9 days
RT @welltyped: We are delighted to welcome Standard Chartered as a Gold Haskell Ecosystem Supporter:
0
4
0
@FunctionalIndia
Functional Programming India 🇮🇳《ミ》λ≡
16 days
RT @MIT_CSAIL: One of the most influential programming textbooks was first published as a paperback 40 years ago today: MIT's "Structure an….
0
240
0
@FunctionalIndia
Functional Programming India 🇮🇳《ミ》λ≡
16 days
RT @tweagio: The videos for the Haskell Implementors Workshop (chaired by our own @andrherr) and Haskell Ecosystem….
Tweet card summary image
youtube.com
This workshop is aimed toward industrial practioners that leverage Haskell for non-trivial tools and applications. Navigating the landscape of Haskell featur...
0
2
0
@FunctionalIndia
Functional Programming India 🇮🇳《ミ》λ≡
17 days
RT @BartoszMilewski: Sub-10-microsecond Haskell Sudoku solver implemented in hardware.
0
30
0
@FunctionalIndia
Functional Programming India 🇮🇳《ミ》λ≡
17 days
RT @unisonweb: Did you know, Unison has a @zeddotdev extension? It's built by our wonderful community! . 🛸 The friendly programming languag….
Tweet card summary image
zed.dev
A native Zed extension for unison.
0
2
0
@FunctionalIndia
Functional Programming India 🇮🇳《ミ》λ≡
19 days
RT @therealchreke: If you are at all interested in type checking, you should definitely check out Stephen Diehl’s Typechecking Zoo! It has….
0
34
0
@FunctionalIndia
Functional Programming India 🇮🇳《ミ》λ≡
20 days
RT @kc_srk: IITM students are starting an OCaml reading and discussion group: Folks not associated with IITM are w….
Tweet card summary image
github.com
OCaml reading group at IIT Madras. Contribute to prismlab/iitm_ocaml_reading_group development by creating an account on GitHub.
0
8
0
@FunctionalIndia
Functional Programming India 🇮🇳《ミ》λ≡
20 days
RT @tritlo: every major untyped language is adding types. feels like we’re winning.
0
14
0
@FunctionalIndia
Functional Programming India 🇮🇳《ミ》λ≡
22 days
RT @JustDeezGuy: Dirty little secret: purely functional programming gives you this superpower by taking composition seriously. An "interme….
0
3
0
@FunctionalIndia
Functional Programming India 🇮🇳《ミ》λ≡
26 days
RT @runarorama: This is amazing. @__dfreeman wrote a Unison _library_ that compiles Unison to WASM.
Tweet card summary image
share.unison-lang.org
A library for compiling Unison code to WebAssembly.
0
4
0
@FunctionalIndia
Functional Programming India 🇮🇳《ミ》λ≡
26 days
“Haskellasaur”?!.
@haskellfound
Haskell Foundation
26 days
This episode of @HaskelInterlude, we’re joined by Michael Snoyman, author of Yesod, Conduit, Stackage and many other popular Haskell libraries. We discuss newcomer friendliness, being a Rustacean vs a Haskellasaur, and more.
0
0
1