Csongor Kiss

pick the right job for the tool (he/him)

[Csongor Kiss @Lowert]

@sliminality https://t.co/yFGhI4eJ3i I think this might be close to what you're looking for?

[Csongor Kiss @Lowert]

@evie_fp don't the built in 'gf' and 'gx' commands work for you? (for (1) and (2) respectively)

[Csongor Kiss @Lowert]

@cattheory @ulysses4ever @EremondiJoey the "cookie" pronunciation sounds like the Hungarian word "kuki" (meaning penis)

[Csongor Kiss @Lowert]

@am_i_tom Whynad

[Tweag by Modus Create @tweagio]

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)

https://t.co/HEOoiJyivw

[Csongor Kiss @Lowert]

@ZevEisenberg @sliminality @modernserf @mitpress but why does @mitpress exist

[Csongor Kiss @Lowert]

@mpeytonjones @tweagio The main issue with implicit params is that you have to name them, such as "?x". If you want to use them to represent an "open file" capability for example, then maybe you call this capability "?open". But now you can't have multiple open files, as their tokens' name would clash!

[Csongor Kiss @Lowert]

@aspiwack @GMorrisett @tweagio You would need something like `Dup (Show a) => ...`

[Csongor Kiss @Lowert]

@Iceland_jack You must read this paper exactly once

[Tweag by Modus Create @tweagio]

Linear types in Haskell, research phase 2: https://t.co/iczbH0vO9X. This time we're focusing on much improved developer experience. Linear type class constraints are the secret sauce.

[Csongor Kiss @Lowert]

@VBragilevsky @int_index Great news! Congrats :)

[Csongor Kiss @Lowert]

@acid2 That's a nice trick!

[Csongor Kiss @Lowert]

@am_i_tom @hdgarrood @kmett I believe it was the other way around! I was going to write naturality...

[Csongor Kiss @Lowert]

@aspiwack I'd like to hear more about this

[Csongor Kiss @Lowert]

@mattoflambda Great trick!

With the next version of GHC (9 I think?) it will also be possible to write:

gross :: forall {k} (a :: k) b. C a b => b -> String

[Joachim Breitner @nomeata]

The GHC Steering Committee just accepted “Unsaturated Type Families” by @Lowert
https://t.co/0yBBd8foTR

[Csongor Kiss @Lowert]

@alpha_convert Just tell them to substitute (x/e)/(e/x)

[Csongor Kiss @Lowert]

@taylorfausak @googleson78 Ah. That's because you don't have PolyKinds turned on in your ghci session, so the kinds get defaulted to Type. Try `:set -XPolyKinds` first!