Grilled Cheese

ExploreLog inSign up
Terms of UsePrivacy PolicyCommunity StandardsHelpGet the app

Grilled Cheese is a product of Village Compute

Version devBuilt at: 2026-10-16 23:42:39 EDT

PhotosVideosAllPeople
LatestRanked
Load more
@haskell.orgSep 18, 2026, 4:23 PM

Well-Typed #Haskell ecosystem activities report: June–August 2026

www.well-typed.com/blog/2026/09...

@andreas.flierl.euSep 18, 2026, 10:57 AM

What is category theory, and why does it matter for functional programming? Explained for #haskell programmers:

www.youtube.com/watch?v=Xr1g...
www.youtube.com/watch?v=mul9...

@abuseofnotation.mathstodon.xyz.ap.brid.gy at ZuriHac 2026

@khibino.bsky.socialSep 18, 2026, 9:10 AM

今回の一連の記事は、
以上の一般の場合の全単射を証明したものとなります。
#Haskell #FP

Tagless-Final 辞書と Free Monad インタプリタは米田の補題でつながる
bsky.app/profile/khib...

F X = Σᵢⁿ Aᵢ × (Rᵢ → X) を Container関手として読む
zenn.dev/khibino/arti...

Free Monad インタプリタは一段階分の解釈で決まる
zenn.dev/khibino/arti...

@khibino.bsky.socialSep 18, 2026, 9:10 AM

以下、具体例入りの説明を書きます。

#Haskell #FP

@jalonso.eurosky.socialSep 18, 2026, 8:34 AM

Search over algebraic graphs. ~ David Anekstein. anekstein.com/posts/2026-0... #Haskell #FunctionalProgramming

@tweag.ioSep 17, 2026, 5:53 PM

Liquid Haskell can prove your type class laws with an SMT solver – or could, until GHC 9 broke it. Juan Pablo Yamamoto spent #GSoC bringing it back. Here's how it went:

tweag.io/blog/2026-09...

#Haskell

@alexn.orgSep 17, 2026, 11:09 AM

New blog post.

#CSharp #Clojure #FSharp #Haskell #Java #Kotlin #Python #Ruby #Rust #Scala #TypeScript #Snippet #Programming #Languages

alexn.org/blog/2026/0...

@lobsters-feed.bsky.socialSep 17, 2026, 4:17 AM

Tilia—a new formatter for Haskell https://lobste.rs/s/jbxpqz #haskell

@lobsters-feed.bsky.socialSep 15, 2026, 12:04 PM

Search over Algebraic Graphs https://lobste.rs/s/cw8fep #haskell

@lobsters-feed.bsky.socialSep 14, 2026, 11:46 AM

Sticking Functions Where They Donʼt Belong https://lobste.rs/s/y2n9bq #haskell

@fpindia.bsky.socialSep 13, 2026, 3:18 PM

Another fantastic #FPIndia #Bangalore #meetup wrapped up! Coffee, food, and scintillating conversation about everything ranging from #Clojure and #Haskell, #AI and the #job market, to #music and #hobbies!

Watch this space if you want to be a part of the next meetup!

#FunctionalProgramming #events

Photo, no description
@dougmerritt.mathstodon.xyz.ap.brid.gySep 12, 2026, 5:51 PM

I haven't watched this yet, but it looks like an interesting analysis:

> Why Do Companies Stop Using Haskell? | Vaibhav Sagar | ZuriHac 2026
>
> OST – Ostschweizer Fachhochschule
> 2,835 views Sep 11, 2026 #Haskell #ZuriHac #functionalprogramming
>
> Why do companies stop using Haskell, even […]

@sjoerdvisscher.w3future.comSep 12, 2026, 4:46 PM

This is getting complicated! #haskell #categorytheory

A diagram of optics
@lobsters-feed.bsky.socialSep 12, 2026, 3:18 PM

Why do companies stop using Haskell? https://lobste.rs/s/pwoxht #video #haskell #historical

@khibino.bsky.socialSep 12, 2026, 3:23 AM

Tagless-Final 辞書と Free Monad インタプリタの全単射
#Haskell #FP

zenn.dev/khibino/arti...

@lobsters-feed.bsky.socialSep 10, 2026, 7:41 AM

How to avoid correctness space leaks on a lazy setting in Haskell (2023) https://lobste.rs/s/oclcr7 #haskell

@lobsters-feed.bsky.socialSep 9, 2026, 4:13 AM

Why Function Arguments Are Not Function Colors https://lobste.rs/s/tsfs3w #go #programming #haskell

@sjoerdvisscher.w3future.comSep 7, 2026, 8:44 AM

New optics just dropped! #haskell #category-theory

Optics diagram, showing: -- > Iso <: Lens, MonoidalLens, Prism, Kaleidoscope -- > Lens <: Getter, AffineTraversal -- > MonoidalLens <: Getter, MonoidalTraversal -- > Prism <: Review, AffineTraversal, MonoidalTraversal -- > Kaleidoscope <: MonoidalTraversal, Grate -- > Grate <: Setter -- > Getter <: AffineFold -- > AffineTraversal <: AffineFold, Traversal -- > MonoidalTraversal <: Traversal -- > AffineFold <: Fold -- > Traversal <: Fold, Setter