4 days to go rust india conference.

4 more days to submit your ideas for the first-ever #Rust India conference! 🦀

Submit on @hasgeek.com: hasgeek.com/rustbangalor...
More details on: rustindia.org

@rustfoundation.org

#RustLang #Conference #Community

Category Theory for the Working Programmer - 1.0 - Prologue YouTube video by The Strong Static Type

Starting a new video series on #CategoryTheory. Please provide feedback. Brickbats welcome, especially of the constructive kind! #FunctionalProgramming

www.youtube.com/watch?v=aKIu...

All functional programming languages are welcome!

Reminder: We are meeting tomorrow morning for a #FunctionalProgramming #meetup. Everyone is welcome to attend! See you there!

#FunctionalProgramming #India #Meetup #Haskell #PureScript #Erlang #Scala #OCaml #TypeScript #Rust #Clojure

FPIndia Online - Feb 2026 FPIndia Online Meetup for the month of Feb 2026

Not in Bangalore but want to attend an #FPIndia meetup? No problems! Join us for an online meetup open to all. RSVP at hasgeek.com/fpindia/fpin...

#FunctionalProgramming #India #Meetup #Haskell #PureScript #Erlang #Scala #OCaml #TypeScript #Rust #Clojure

That's really close from a Bangalore perspective. Hope to see you there!

Bangalore FP January 2026 meetup Bangalore FP January 2026 meetup

Announcing our first offline meetup for 2026! #FPIndia #Bangalore #Meetup! Talk submissions are also open.

Please RSVP if you wish to attend: hasgeek.com/fpindia/bang...

#Haskell #PureScript #Elixir #Erlang #Scala #Clojure #India #FunctionalProgramming

Arrows to arrows, categories to queries. ~ Sandy Maguire. reasonablypolymorphic.com/blog/arrows-... #Haskell #FunctionalProgramming

[ICFP/SPLASH'25] Orchid Plenary Ballroom - ICFP Papers and Events (Oct 13th) YouTube video by ACM SIGPLAN

The video recording of my ICFP 2025 keynote talk Functional Programming for Hardware Design is up on YouTube. www.youtube.com/watch?v=1oBO...

Completely full house for our OxCaml tutorial at #icfpsplash25! conf.researchr.org/details/icfp...

You may not like it, but React is basically Haskell. The React Compiler works for the same exact reason that compilers for pure programming languages are able to make non-trivial optimizations. If your code is composed of pure functions, it is safe to re-order their computation, or save the result for some inputs and reuse it for later for same inputs. This is not some kind of a “workaround” or a hack — it’s one of the most exciting consequences of the functional programming paradigm which has been known and used for decades. Purity and idempotency make it safe to move stuff around without changing the final outcome. Following the "rules of React" is just ensuring your code is safe to move around like this.

i think the @react.dev Compiler team could include more of this type of messaging. i'm being a bit inflammatory here (and Haskell may not the best analogy), but the principle of "pure things are safe to move around" is fundamentally simple and has been known for decades. teach it to new generation!

Puzzle: nicht zusammen gesetzt sondern aus den Puzzle Teilen einen Hund geformt.

👀😇😉 fertig

Cowboys from Haskell YouTube video by r. guitars

The mad lads have made it: Two Haskellers went to the town of #Haskell, TX. They documented their journey here: www.youtube.com/watch?v=9KwW...

See on Reddit: www.reddit.com/r/haskell/co...

Hazel programming language with a parsed csv and table of pokemon

I can finally do some real work.

I wonder, what were the sales numbers like for the earlier iteration of the Haskell IDE? Seems like a very niche market

Screenshot of Applicative Code with a Haskell file open and a documentation popup for (++).

Are you interested in a new Haskell IDE for macOS? I’m looking for beta testers! Send me a DM with your email for a TestFlight invitation.

Yes. I would also consider every generic value a function that takes a type argument. For example
nothing :: forall a. Maybe a

This is such an incredibly cool page for #rustlang to have

rust-lang.github.io/rust-project...

One day we will have this but for #julialang ✊

Uhh

Uhh

ARM infrastructure fundraiser update Hello Haskell community! As many of you know, the Haskell Foundation ran a fundraiser during the month of July, Infrastructure Independence!. I’m happy to provide an update on how those funds have be...

ARM infrastructure fundraiser update!

discourse.haskell.org/t/arm-infras...

#Haskell

Over the weekend I gave a talk on using #Haskell for 3d Printing at MuniHac

No recording, but the slides are up here:
doscienceto.it/cad-talk/

"We sat down with Phil Wadler, one of the most influential folks in the Haskell community, functional programming, and programming languages, responsible for type classes, monads, and much more. We take a stroll down memory lane, starting from Haskell’s inception."

haskell.foundation/podcast/70/

Various 3D-printed dice of different sizes, pink or black, with a Haskell logo on them. Articulated keyrings are displayed as well

3D printing at #MuniHac!

#Haskell

"Haskell" written on a whiteboard with the S drawn as The Cool S

All the cool kids are doing Haskell these days!

Which is your favorite functional programming language and why? How many have you tried?

That's how you know #Haskell is getting mainstream, the scams are getting at us

Bangalore FP October 2025 meetup Bangalore FP October 2025 meetup

Announcing the October #FPIndia #Bangalore #Meetup!

#Haskell #PureScript #Elixir #Erlang #Scala #Clojure #India #FunctionalProgramming

RSVP: hasgeek.com/fpindia/bang...

An intuitive way of seeing this that also generalizes to arbitrary categories not just Set/Types is -

Currying means that for any arbitrary object A, functions of the form -
(A,()) -> X
are the same as functions of the form -
A -> (() -> X)

1/2

Oh and X->() is actually isomorphic to (). Because by the definition of the terminal object, there can only be one unique (X->()) for any X, which makes it isomorphic to () (another set with only one member)