Everything you didn't want to know about implicit parameters kcsongor.github.io/global-implici…

on my way to ICFP!

wanted to change the background colour in emacs. One thing led to another and now I'm pulling my hair out trying to debug this elisp lens library that I'm sure no one needed

We are delighted to announce the first Hackage release of optics, a Haskell library for defining and using lenses, traversals, prisms and other optic kinds. well-typed.com/blog/2019/09/a…

writing some lens code, and GHC's hole fit suggestions have been super helpful (thanks Matti Palli 🧙‍♂️!)

MuniHac Day 2

I decided to start writing about my favourite vim features. First up is <C-a> kcsongor.github.io/underrated-vim…

Wrote a blog post about tripping up GHC's type inference to improve readability kcsongor.github.io/ambiguous-tags/

New blog post on hiding internal details of "constraint synonyms" in #haskell kcsongor.github.io/opaque-constra…

Always thought that generic-lens was a shining #haskell library usability-wise but a straightforward application of GHC Generics. But after looking at the implementation... It is truly a work of art under the hood, w a LOT more going on than I had thought hackage.haskell.org/package/generi…

I'm happy to (finally) announce a new library: generic-optics kcsongor.github.io/generic-lens-2/

Proof of concept - implementing a language server using reflex mpickering.github.io/posts/2020-03-…

The inestimable Csongor Kiss aka Csongor Kiss is going to demystify type-level programming for us on May 26! Come learn about all the higher realms of abstraction you've been missing out on from one of the nicest guys in the FP universe: meetup.com/Berlin-Functio…

Proud to present the first post in our new weekly updates about IDE development this summer - Luke Lau Summarising the current state of Haskell IDEs and some of our plans for the summer. mpickering.github.io/ide/posts/2020…

So I tried generic-lens, and wow. I think the last time I experienced such computer magic was 1999

The GHC Steering Committee just accepted “Unsaturated Type Families” by Csongor Kiss github.com/ghc-proposals/…

Linear types in Haskell, research phase 2: arxiv.org/abs/2103.06127. This time we're focusing on much improved developer experience. Linear type class constraints are the secret sauce.

Can the compiler handle linear state for us? Yes, by teaching linear logic to type class constraints. Written up in an #ICFP 2021 submission by Jean-Philippe Bernardy, Richard Eisenberg, Csongor Kiss, Arnaud Spiwack, and Nicolas Wu (3/5) arxiv.org/abs/2103.06127