recentpopularlog in

FTS : purescript   164

« earlier  
irresponsible/purescript-reactix: (alpha) React hooks library
Reactix is a Hooks-first (Hooks-only?) React library focusing on simplicity and ease-of-use.
purescript  react 
april 2019 by FTS
Row polymorphism
https://github.com/samrushing/irken-compiler/wiki/Row-Polymorphism ;;;
https://github.com/willtim/row-polymorphism ;;;
https://archive.org/details/Microsoft_Research_Video_104004 Records, sums, cases, and exceptions: Row-polymorphism at work ;;;
http://lambda-the-ultimate.org/node/4394 Extensible Programming with First-Class Cases ->
http://lambda-the-ultimate.org/node/3338 Are extensible records first class patterns? ;;;
https://redd.it/6xkqk7 Why has row polymorphism not made it into Haskell? ;;;
https://redd.it/8uhj1f status on structural typing / row types / polymorphic variants ;;;
https://mobile.twitter.com/ezyang/status/720756628023222273 ;;;
https://www.cs.cmu.edu/~neelk/rows.pdf Objects and Aspects: Row Polymorphism ;;;
http://www.cs.cmu.edu/~aldrich/courses/819/ Objects and Aspects: Language Support for Extensible and Evolvable Software ;;;
http://brianmckenna.org/blog/row_polymorphism_isnt_subtyping ;;;
http://lambda-the-ultimate.org/node/5351 Set-Theoretic Types for Polymorphic Variants ;;;
https://news.ycombinator.com/item?id=13047934 subsumption ;;;
http://rtpg.co/2016/07/20/supercharged-types.html purescript ;;;
https://redd.it/9vj2au GHC Proposal - Row Polymorphism ;
https://github.com/jvanbruegge/Megarecord ;;;
https://redd.it/ay8kkx What is the utility of row polymorphism? ;;;

https://realworldocaml.org/v1/en/html/objects.html ;
https://realworldocaml.org/v1/en/html/variants.html polymorphic variant ;;;
http://2ality.com/2018/01/polymorphic-variants-reasonml.html ;
https://twitter.com/paf31/status/961459358792953857 ;;;
https://www.math.nagoya-u.ac.jp/~garrigue/papers/fose2000.html Code reuse through polymorphic variants ;;;
https://redd.it/4gjf7g Is "Solving the Expression Problem" worth the bother? ;;;
http://caml.inria.fr/pub/papers/garrigue-polymorphic_variants-ml98.pdf Programming with Polymorphic Variants
https://github.com/natefaubion/purescript-variant ;;;
https://twitter.com/paf31/status/1131343801178443776 ->
https://github.com/lumihq/purescript-tagged-sum A variant data type made for compatibility with Aeson ;;;
https://twitter.com/st58/status/883917176817672196 ;;;
https://twitter.com/paf31/status/973358370383060992 nanopass-style program rewrites in PureScript using Fix and purescript-variant ;;;
https://twitter.com/mattoflambda/status/948268706328653824 Classy prisms ;;;
https://redd.it/ix5yp Variant types and GADTs ;;;
https://github.com/qfpl/variant1 Polymorphic variant for unary type constructors ;;;
https://github.com/qfpl/record1 Extensible record for unary type constructors ;;;

https://redd.it/6zdc73 A type checker plugin for row types ;;;
https://redd.it/arj7h6 ; https://github.com/willtim/Expresso polymorphic extensible row types ;;;
https://redd.it/4f7fyn What are row types exactly? ;;;
https://github.com/target/row-types ;;;
https://twitter.com/jfischoff/status/524999221233975296 I wish Haskell had row polymorphism. At least I think I do ;;;

https://redd.it/5jc9mt Control flow with an open sum type ;;;
https://www.reddit.com/r/haskell/comments/5rfw4m/list_of_different_types_of_the_same_class_that_is/dd8kc6g/
http://hsyl20.fr/home/files/papers/shenry_2016_flow.pdf First-Class Control-Flow in Haskell ;;;
https://github.com/bfops/open-union
https://github.com/fumieval/clean-unions/ Open unions without Typeable ;;;
https://twitter.com/mxavier/status/992524426175377409 ->
https://github.com/patrickt/fastsum ; https://github.com/github/semantic/search?p=1&q=%22Data.Sum%22&unscoped_q=%22Data.Sum%22 ;;;
https://github.com/int-index/union ;;;
https://github.com/qfpl/variantT Polymorphic variant for functor transformers ;;;
https://github.com/LightAndLight/rows ;;;
https://redd.it/cbsh8o cdepillabout/world-peace ;;;
https://redd.it/ej8fme ; https://github.com/effectfully/sketches/tree/master/unordered-effects ;;;
https://zhuanlan.zhihu.com/p/108627098 ; https://www.zhihu.com/pin/1214612782492327936 ;;;
https://github.com/maybevoid/quiver-rows ;;;
type  purescript  ocaml  expression-problem  haskell 
august 2018 by FTS
« earlier      
per page:    204080120160

Copy this bookmark:





to read