recentpopularlog in

FTS : type   340

« earlier  
Sexy types in action
Higher-rank polymorphism
type 
december 2019 by FTS
The Constraint kind
http://dev.stephendiehl.com/hask/#constraint-kinds ;;;
https://stackoverflow.com/q/31317159 ;
https://stackoverflow.com/questions/tagged/constraint-kinds ;;;
http://blog.omega-prime.co.uk/?p=127 Constraint Kinds for GHC ->
http://blog.omega-prime.co.uk/?p=61 Constraint families ;;;
https://dorchard.blog/2011/09/22/constraint-kinds-in-haskell-finally-bringing-us-constraint-families/ ;;;
http://redd.it/2ycxg2 Constraint kinds and associated types ;;;
https://github.com/leftaroundabout/constrained-categories ;;;
https://jeltsch.wordpress.com/2013/02/14/the-constraint-kind/ The Constraint kind ;;;
https://redd.it/5nr5xb Constraint Kinds ;
https://kseo.github.io/posts/2017-02-06-reified-dictionaries.html Reified dictionaries ;;;
https://github.com/mikeizbicki/ifcxt ; https://redd.it/3jf2tq Using RankNTypes and ConstraintKinds to create an if statement that acts on constraints ;;;
https://twitter.com/jfischoff/status/533443009073803264 ;
https://twitter.com/kmett/status/132176704411140096 Liskov Substitution for Constraint Kinds ;
https://github.com/ekmett/constraints ; https://redd.it/43r2hy Tools for programming with ConstraintKinds in GHC ;
https://packdeps.haskellers.com/reverse/constraints ;;;
http://comonad.com/reader/category/haskell/constraint-kinds/ What Constraints Entail ;;;
https://redd.it/5e5a1k Why can't I make a kind from a type class? (ConstraintKinds) ;;;

https://redd.it/6nm6e6 Constraint Kinds, ambiguous type variables ;;;
https://redd.it/4m167a type equalities ;;;
https://redd.it/4vn8og Data.Constraint - dict as paramaeter for function? ;;;
https://redd.it/50zpjg Reading values into types in a typeclass (ConstraintKinds) ;;;
https://redd.it/5e5a1k ConstraintKinds ;;;
https://github.com/achirkin/constraints-deriving Programmatically create new instances using core-to-core plugins ;;;
https://github.com/obsidiansystems/constraints-extras ;;;
https://redd.it/4ocl1e Constraint with existential type-variable ;;;
https://twitter.com/ChShersh/status/1161627592103014406 ;;;
https://redd.it/d9194r Opaque constraint synonyms ;;;
https://slides.com/soareschen/dict-typing-haskellsg ; https://github.com/soareschen/dict-typing ;;;
https://twitter.com/DiazCarrete/status/1082717844939382785 constraint tricks ;;;
https://twitter.com/DiazCarrete/status/945764866995949569 :- ;;;
https://redd.it/4yl9je Collection of Type Class and Constraint Tricks ;;;
typeClass  haskell  type 
january 2019 by FTS
Type Safety Back and Forth
https://redd.it/766sxf ;;;
https://redd.it/9kuy7d Keep your types small, and your bugs smaller! ;;;
https://redd.it/b489he Return a Function to Avoid Effects ;;;
api-design  type 
october 2018 by FTS
Behavioural types

Behavioural types such as session types, contracts and choreography describe the behaviour of a software entity as a sequence of operations on a resource such as a communication channel, web service session or a file descriptor.
type  linear-type 
august 2018 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
DDCSF/iron: Coq formalizations of functional languages.
Iron Lambda is a collection of Coq formalizations for functional languages of increasing complexity. All proofs use straight deBruijn indices for binders.
type  lambda 
december 2017 by FTS
« earlier      
per page:    204080120160

Copy this bookmark:





to read