pick the right job for the tool (he/him)
London
Joined January 2009
- Tweets478
- Following165
- Followers764
- Likes1.1K
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…
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.
Csongor Kiss retweeted
The GHC Steering Committee just accepted “Unsaturated Type Families” by @Lowert
github.com/ghc-proposals/ghc…
Csongor Kiss retweeted
So I tried generic-lens, and wow.
I think the last time I experienced such computer magic was 1999
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…
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…
Csongor Kiss retweeted
Proof of concept - implementing a language server using reflex mpickering.github.io/posts/2…
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/…
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/…
Csongor Kiss retweeted
I wrote a post for #Haskell curious people that are just starting out!
Learn why pure code is so important to write correct software.
alpacaaa.net/haskell-purity/
Csongor Kiss retweeted
Here's a short demo of using haskell-ide-engine on GHC's code base using my fork which integrates HIE into hadrian/cabal/rules_haskell/stack/obelisk
Csongor Kiss retweeted
I wrote a lenghty #haskell #lens post about finding correct lens laws: oleg.fi/gists/posts/2018-12-…
Csongor Kiss retweeted
There's been a lot of amazing talks at #icfp so far but I am most excited about trying out generic-lens. Nice work @Lowert @mpickering_
Csongor Kiss retweeted
This is always magical, do you have a similar example? Give it in the comment section 👇🏻 below smash that ❤️ button and don't forget to 🔁 retweet for more 🔥lit🔥 twoots
· Generic Deriving of Generic Traversals
· paper arxiv.org/pdf/1805.06798.pdf
Csongor Kiss retweeted
Last day in Philadelphia today at a GHC developers workshop before flying straight into @ZuriHac
Csongor Kiss retweeted
#Haskell's #cabal spec just got rid of another papercut: build-type now defaults to `Simple`! I present you the smallest valid trivial empty package definition:
$ cat mu.cabal
cabal-version: 2.1
name: mu
version: 0
library
...and no other files needed!
github.com/haskell/cabal/pul…
