recentpopularlog in

FTS : typeclass   157

« earlier  
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
Quantified Class Constraints
https://redd.it/6me3sv ;;;
https://gitlab.haskell.org/ghc/ghc/wikis/quantified-contexts ;;;
https://redd.it/7toutl ;;;
https://github.com/ghc-proposals/ghc-proposals/pull/109 ;;;
https://redd.it/7x0g1s How to derive Generic for (some) GADTs using QuantifiedConstraints ;;;
https://twitter.com/Iceland_jack/status/957761751201779717 ;;;
https://redd.it/8257mz How QuantifiedConstraints can let us put join back in Monad ;;;
https://twitter.com/lexi_lambda/status/919250753792778240 ;;;
https://twitter.com/kmett/status/971761087875043328 lens ;;;
https://twitter.com/phadej/status/977272612794585089 QuantifiedConstraints formulation of Profunctor optics ;
https://github.com/well-typed/optics/issues/234 Uniform concrete optics ;;;
https://twitter.com/hashtag/QuantifiedConstraints ;;;
https://redd.it/8h2lon Could Coercible be extended to work on constraints? ;;;
https://redd.it/8h2lon Coercible ;;;
https://twitter.com/importantshock/status/1003790107223216130 example ;;;
https://github.com/sjakobi/coercible-utils ;;;
https://redd.it/8t0hs2 QuantifiedConstraints and the trouble with Traversable ;;;
https://redd.it/8vsnnb QuantifiedConstraints: Can't quantify constraint involving type family ;;;
https://redd.it/9epupm Punching a big hole through a newtype ;;;
https://redd.it/ep4kk1 Why can't quantified constraints be more general ;;;

https://skillsmatter.com/skillscasts/12988-lightning-talk-who-cares-about-ghc-8-6 Who Cares About GHC 8.6? ;;;
typeClass 
january 2018 by FTS
GHC/AdvancedOverlap - HaskellWiki
Choosing a type-class instance based on the context
https://redd.it/6jn0b9 Proposal: Instance apartness guards ;;;
https://stackoverflow.com/q/39704799 Resolving overlap of instances with type families ;;;
https://gist.github.com/phadej/cae76444548b9cffa10d9675e013847b OverlappingInstance workarounds

Avoid overlapping instances with closed type families
http://kseo.github.io/posts/2017-02-05-avoid-overlapping-instances-with-closed-type-families.html

https://github.com/purescript/purescript/pull/2929 Instance chain groups (disallow overlapping instance)
typeClass 
june 2017 by FTS
On Type Class Instance Selection
https://redd.it/6b8qgc ;;;
https://redd.it/61qm78 Understanding Instance resolution and constraints ;;;
https://redd.it/5zjwym is UndecidableInstances okay to use? ;;;
https://functor.tokyo/blog/2017-04-07-undecidable-instances When is UndecidableInstances safe? ;;;
https://redd.it/829lcm UndecidableInstance and makeClassy ;;;
typeClass 
may 2017 by FTS
rodrigogribeiro/mptc: type inference for haskell
Type Inference for Haskell with Multi-parameter type classes without extensions

https://redd.it/bwpe8v ambiguous types ;;;
typeClass 
april 2017 by FTS
lexi-lambda/hackett: (Very) WIP implementation of a Haskell 98-like Lisp in Racket
http://www.ccs.neu.edu/home/stchang/popl2017/ Type Systems as Macros ;;;
https://popl20.sigplan.org/details/POPL-2020-Research-Papers/21/Dependent-Type-Systems-as-Macros Dependent Type Systems as Macros ;;;
https://redd.it/5lrdcm ;;;
https://youtu.be/QlRYuXT06Y0 ;
https://redd.it/5m715d Rascal is now Hackett, plus some answers to questions ;;;
https://twitter.com/search?q=hackett%20from%3Alexi_lambda&src=typed_query&f=live ;;;
https://twitter.com/lexi_lambda/status/851982924023042048 local type inference ;;;
https://twitter.com/lexi_lambda/status/852066440752640000 ;;;
http://blog.racket-lang.org/2017/04/type-tailoring.html Type tailoring is a technique for adding domain-specific type checkers to a typed host language. Using the Type Systems as Macros approach to building typed languages ;;;
https://redd.it/6e0q81 ; https://redd.it/6dqf1n Realizing Hackett, a metaprogrammable Haskell ;;;
https://redd.it/6wk474 Hackett progress report: documentation, quality of life, and snake ;;;
https://youtu.be/3xFWcNarb3Q ;;;
https://redd.it/79mu36 A space of their own: adding a type namespace to Hackett ;;;
https://redd.it/8cfrm4 Reimplementing Hackett’s type language: expanding to custom core forms in Racket ;;;
https://youtu.be/OYDrJAd-iuw Alexis King - Hackett: a metaprogrammable Haskell ;;;
https://youtu.be/3xFWcNarb3Q Inside Racket Seminar 7. Alexis King on Hackett ;;;
https://youtu.be/bOUgXd9XlJ4 (seventh RacketCon): Alexis King -- Hackett, a Haskell for Racketeers ;;;
https://redd.it/9nw52l Hackett: a metaprogrammable Haskell ;;;
https://twitter.com/DiazCarrete/status/1033663636810674176 typeclasses are (compile-time functions) from types to expressions ;;;
https://twitter.com/paf31/status/1006278967345623041 fundeps ;;;
haskell  racket  macro  typeClass 
january 2017 by FTS
higher-kinded type & type class
https://redd.it/52dfrc Higher-rank and higher-kinded types ;;;
https://redd.it/b5pojg Higher-rank types in Standard Haskell ;;;
https://github.com/namin/higher-rank ;;;
typeClass 
november 2016 by FTS
Haskell API evolution
Data.Default {- RULE - }
https://youtu.be/vJGHBcBbXDE ;;;
https://redd.it/sx5h9 template-default ;;;
https://mobile.twitter.com/raichoo/status/801359845240750080 ;;;
https://redd.it/5gospp "Don't use typeclasses to define default values"? ;;;
https://redd.it/1c2g1r Haskell for all: Defaults ;;;
https://redd.it/wtx32 ; https://redd.it/wwhts First-class modules without defaults ;;;
https://twitter.com/paf31/status/919758040202489856 extensible records ;;;
monoid  typeClass  api-design 
july 2016 by FTS
Typeclasses are bad
No modularity; forces big dependency lists on any library that defines a type, or any library that defines a class
typeClass 
july 2016 by FTS
« earlier      
per page:    204080120160

Copy this bookmark:





to read