TChan
@atomic_chan
71 subscribers
11 photos
47 files
225 links
atomically newTChan :: IO TChan
Download Telegram
About
Blog
Apps
Platform
Join
TChan
71 subscribers
TChan
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/50D76A9C314AB24E7CD46DA4A0A766EB/S0956796820000155a.pdf/leibniz-equality-is-isomorphic-to-martin-lof-identity-parametrically.pdf
133 views
TChan
#纸 Trees that Grow
104 views
TChan
https://www.jucs.org/jucs_23_1/trees_that_grow/jucs_23_01_0042_0062_najd.pdf
113 views
TChan
LambdaPi.pdf
185.5 KB
#纸 A tutorial implementation
of a dependently typed lambda calculus
122 views
TChan
diff2.pdf
81.2 KB
#纸 An O(ND) Difference Algorithm and Its Variations
124 views
TChan
bidir.pdf
365.2 KB
#纸 Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
121 viewsedited  
TChan
#TIL https://stackoverflow.com/questions/4415511/scala-type-programming-resources
Stack Overflow
Scala type programming resources
According to this question, Scala's type system is Turing complete. What resources are available that enable a newcomer to take advantage of the power of type-level programming?

Here are the resou...
130 views
TChan
ttfp.pdf
1.2 MB
#书 Type Theory & Functional
Programming
123 views
TChan
implementing-types-hs.pdf
242.8 KB
#TIL Checking Dependent Types with Normalization by Evaluation: A Tutorial (Haskell Version)
116 viewsedited  
TChan
503502.503505.pdf
629.3 KB
#纸 Featherweight Java: A Minimal Core
Calculus for Java and GJ
102 views
TChan
#TIL https://gist.github.com/gelisam/ab45b4d12430758b1ac3e48aee945d9d
Gist
Representing optics by the set of actions they support.
Representing optics by the set of actions they support. - ActionSetOptics.hs
92 views
TChan
#TIL https://www.stephendiehl.com/posts/ghc_03.html
Stephendiehl
Dive into GHC: Targeting Core
Personal Blog
86 views
TChan
https://www.aosabook.org/en/ghc.html
86 views
TChan
#TIL
81 views
TChan
#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 views
TChan
#TIL https://stackoverflow.com/questions/29697962/constrained-closed-type-family
Stack Overflow
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 views
TChan
#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 views
TChan
#TIL https://gist.github.com/sjoerdvisscher/763402
Gist
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 views
TChan
BRICS-RS-01-23.pdf
236.9 KB
#纸 Defunctionalization at Work
104 viewsedited  
TChan
#TIL https://neilmitchell.blogspot.com/2015/09/making-sequencemapm-for-io-take-o1-stack.html
Blogspot
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 views
TChan
Channel photo updated