TChan – Telegram

TChan

71 subscribers

11 photos

47 files

225 links

atomically newTChan :: IO TChan

Download Telegram

About

Blog

Apps

Platform

#TIL https://gist.github.com/gelisam/ab45b4d12430758b1ac3e48aee945d9d

Representing optics by the set of actions they support.

Representing optics by the set of actions they support. - ActionSetOptics.hs

92 views20:07

#TIL https://www.stephendiehl.com/posts/ghc_03.html

Dive into GHC: Targeting Core

86 views05:28

https://www.aosabook.org/en/ghc.html

86 views05:33

81 views04:14

#TIL https://typesandkinds.wordpress.com/2013/04/01/defunctionalization-for-the-win/

Types and Kinds

Defunctionalization for the win

I enjoy using a type system to help make sure my term level code is unimpeachably correct. This is where my interest in writing the singletons library came from. This library allows you to write so…

95 views04:00

#TIL https://stackoverflow.com/questions/29697962/constrained-closed-type-family

Constrained closed type family

Can I convince the compiler that a constraint is always satisfied by the type synonyms in a closed type family? The family is indexed by a finite set of promoted values.

Something along the lines ...

94 views17:01

#TIL https://bartoszmilewski.com/2015/07/13/from-lenses-to-yoneda-embedding/

Bartosz Milewski's Programming Cafe

From Lenses to Yoneda Embedding

Lenses are a fascinating subject. Edward Kmett’s lens library is an indispensable tool in every Haskell programmer’s toolbox. I set out to write this blog post with the goal of describi…

108 views00:47

#TIL https://gist.github.com/sjoerdvisscher/763402

W-types, following the Agde code here: https://www.e-pig.org/epilogue/?p=324

W-types, following the Agde code here: https://www.e-pig.org/epilogue/?p=324 - W-types.hs

119 views06:07

BRICS-RS-01-23.pdf

#纸 Defunctionalization at Work

104 viewsedited 16:54

#TIL https://neilmitchell.blogspot.com/2015/09/making-sequencemapm-for-io-take-o1-stack.html

Making sequence/mapM for IO take O(1) stack

Summary: We have a version of mapM for IO that takes O(1) stack and is faster than the standard Haskell/GHC one for long lists. The stand...

109 views02:11

Channel photo updated

18:47

#纸 Non-recursive Make Considered Harmful

114 views18:00

join-points-pldi17.pdf

#纸 Compiling without Continuations

116 views03:02

#TIL https://www.youtube.com/watch?v=sE1qWyQWWVY

GHC On "simple" constraints for typechecker plugins by Nicolas Frisby

This short talk introduces GHC's representation of constraints in its constraint solver. This is a good place to start if you're interested in how the typechecker works or considering extending it. The talk also doubles as an Experience Report as a typechecker…

132 views03:42

#TIL https://www.youtube.com/watch?v=-IsbsfV3jmw

144 views05:30

pluto-incremental-build.pdf

#纸 A Sound and Optimal Incremental Build System with Dynamic Dependencies

132 viewsedited 02:50

Book of Proof.pdf

#书 Book of Proof

116 views03:19

#TIL https://www.youtube.com/watch?v=XiTO1EGKrhE

167 viewsedited 07:32

#纸 Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell

135 views18:48

#TIL https://andrew.gibiansky.com/blog/haskell/finger-trees/

Finger Trees - Andrew Gibiansky

134 views06:09

#TIL https://www.tweag.io/blog/2023-01-26-linear-constraints-freeze/

Linear Constraints: the problem with O(1) freeze

How a linear constraint arrow relates to freezing arrays in Haskell.

154 views04:23