Csongor Kiss retweeted
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, @RaeHaskell, @Lowert, @aspiwack, and @nicolasgwu (3/5)
arxiv.org/abs/2103.06127
Fancy types might get a lot easier with inference for existentials! Read why in this #ICFP 2021 submission by @RaeHaskell, intern Guillaume Duboc, @fancytypes, and Daniel Lee. (2/5)
richarde.dev/papers/2021/exi…
3
12
Csongor Kiss retweeted
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.
4
27
80
Csongor Kiss retweeted
The GHC Steering Committee just accepted “Unsaturated Type Families” by @Lowert
github.com/ghc-proposals/ghc…
1
15
37
Csongor Kiss retweeted
So I tried generic-lens, and wow.
I think the last time I experienced such computer magic was 1999
4
29
Csongor Kiss retweeted
Proud to present the first post in our new weekly updates about IDE development this summer - @meeple_ Summarising the current state of Haskell IDEs and some of our plans for the summer. mpickering.github.io/ide/pos…
2
30
65
Csongor Kiss retweeted
The inestimable Csongor Kiss aka @Lowert 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-Functional…
16
39
Csongor Kiss retweeted
Proof of concept - implementing a language server using reflex mpickering.github.io/posts/2…
2
11
45
I'm happy to (finally) announce a new library: generic-optics
kcsongor.github.io/generic-l…
1
19
68
Csongor Kiss retweeted
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/…
2
3
31
New blog post on hiding internal details of "constraint synonyms" in #haskell
kcsongor.github.io/opaque-co…
2
13
37
Wrote a blog post about tripping up GHC's type inference to improve readability kcsongor.github.io/ambiguous…
2
18
48
I decided to start writing about my favourite vim features. First up is <C-a> kcsongor.github.io/underrate…
7
5
35
writing some lens code, and GHC's hole fit suggestions have been super helpful (thanks @tritlo!)
1
8
34
Csongor Kiss retweeted
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/…
1
40
94
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
18
Everything you didn't want to know about implicit parameters kcsongor.github.io/global-im…
5
6
39