- On the notion of multi-method type-classes http://marmoach.blogspot.com/2011/10/multi-method-type-classes.html 13 comments programming
- Any way to deduce the type of the class you are in? https://www.reddit.com/r/cpp/comments/50w5bm/any_way_to_deduce_the_type_of_the_class_you_are_in/ 19 comments cpp
- Haskell's Type Classes: Why We Can Do Better http://degoes.net/articles/principled-typeclasses/ 28 comments haskell
- OOP vs type classes http://www.haskell.org/haskellwiki/oop_vs_type_classes 69 comments programming
- Modular type classes [PDF] http://www.mpi-sws.mpg.de/~dreyer/papers/mtc/main-long.pdf 4 comments programming
- What Type of Careers do you predict for the 2016 Draft Class https://www.reddit.com/r/nba/comments/4rsrjo/what_type_of_careers_do_you_predict_for_the_2016/ 36 comments nba
- Objects to Unify Type Classes and GADTs http://lambda-the-ultimate.org/node/3837 3 comments programming
- Why not make type class instances first-class records? https://hackage.haskell.org/package/persistent-2.8.1/docs/Database-Persist-Sql-Types-Internal.html#t:IsPersistBackend 22 comments haskell
- Automatic UI generation with Scala 3's type class derivation https://kavedaa.github.io/auto-ui-generation/auto-ui-generation 12 comments scala
- Can someone walk me through how the interface syntax for type classes works? https://www.reddit.com/r/scala/comments/g0ck9z/can_someone_walk_me_through_how_the_interface/ 3 comments scala
- Questions about the Algebra type class in the linear package https://www.reddit.com/r/haskell/comments/bscqy7/questions_about_the_algebra_type_class_in_the/ 4 comments haskell
- Creating methods on a typed class and accessing these via a prop https://www.reddit.com/r/typescript/comments/a2ys1l/creating_methods_on_a_typed_class_and_accessing/ 6 comments typescript
- .NET Futures: Type Classes and Extensions https://www.infoq.com/news/2017/04/dotnet-type-classes 85 comments programming
- Collection of Type Class and Constraint Tricks https://gist.github.com/icelandjack/5afdaa32f41adf3204ef9025d9da2a70 13 comments haskell
- Progressive Code Completion For Class Types https://www.reddit.com/r/delphi/comments/4hyt73/progressive_code_completion_for_class_types/ 4 comments delphi
- Annihilators in Scala: An Example of Type Class Design http://underscore.io/blog/posts/2015/07/02/annihilators-in-scala.html 6 comments scala
- Boston Haskell: Edward Kmett - Type Classes vs. the World http://youtu.be/hIZxTQP1ifo 42 comments haskell
- Modular Implicits in OCaml - Alternative to Type Classes https://www.irill.org/videos/oups-december-2014/modular_implicits 5 comments haskell
- Type classes: confluence, coherence, global uniqueness http://blog.ezyang.com/2014/07/type-classes-confluence-coherence-global-uniqueness/ 15 comments haskell
- Objects to Unify Type Classes and GADTs [PS] http://ww2.cs.mu.oz.au/~sulzmann/manuscript/objects-unify-type-classes-gadts.ps 8 comments haskell
- Transitive `Subset` class for type-level-sets None 4 comments haskell
- Why doesn't MTL generalize their type classes for MonadTrans? https://www.reddit.com/r/haskell/comments/4rf8i3/why_doesnt_mtl_generalize_their_type_classes_for/ 4 comments haskell
- Implicit configurations - or, type classes reflect the value of types (PDF) http://www.cs.rutgers.edu/~ccshan/prepose/prepose.pdf 3 comments programming
- Don Syme talks about downsides of Type Classes and Type-level Programming https://github.com/fsharp/fslang-suggestions/issues/243#issuecomment-916079347 38 comments fsharp
- How type differs from class? Programmer Dictionary article: Class vs Type vs Object. https://blog.kotlin-academy.com/programmer-dictionary-class-vs-type-vs-object-e6d1f74d1e2e 18 comments programming
- Can I use custom type errors in combination with constrained class instances? https://www.reddit.com/r/haskell/comments/ccn2bg/can_i_use_custom_type_errors_in_combination_with/ 6 comments haskell
- In high school I have Computers class, but when my dad was in high school he had Typing. http://farm4.static.flickr.com/3477/3234161372_5ccfc2f26a.jpg 7 comments reddit.com
- A comparison of C++ "concepts" and Haskell type classes :: PDF http://sms.cs.chalmers.se/publications/papers/2008-wgp.pdf 9 comments programming
- JEP draft: Null-Restricted Value Class Types (Preview) https://openjdk.org/jeps/8316779 89 comments java
- What solution besides turning to classes have you used for expressing cyclic graphs using algebraic data types? https://www.reddit.com/r/fsharp/comments/afavs4/what_solution_besides_turning_to_classes_have_you/ 11 comments fsharp
- [Blog post] Moving from Multiparameter Type Classes and Functional Dependencies to Type Families in Haskell https://dikgwahlapiso.wordpress.com/2015/08/30/moving-from-multiparameter-type-classes-and-functional-dependencies-to-type-families-in-haskell/ 3 comments haskell
- Using Ruby Object Type Classes to Safely Build Data | Daniel P. Clark http://6ftdan.com/allyourdev/2015/02/04/using-ruby-object-type-classes-to-safely-build-data/#imi2 11 comments ruby
- Protocols, Functors and Type Classes (wondering if the OCaml example code could be improved?) http://www.infoq.com/presentations/polymorphism-functional-oop 4 comments ocaml
- BitC Retrospective: The Issues with Type Classes (interested in seeing the Haskell community's response) http://www.bitc-lang.org/pipermail/bitc-dev/2012-april/003315.html 15 comments haskell
- Don Syme explains the downsides of type classes and the technical and philosophical reasons for not implementing them in F# https://github.com/fsharp/fslang-suggestions/issues/243#issuecomment-916079347 65 comments haskell
- Hallo! Ich bin Raihan. Ich komme aus Indonesia. And that‘s probably all I‘m confident in typing out atm. I’m 19 and trying to learn german, most of my experience comes from a not so in-depth class during high school & duolingo. I‘d really appreciate any tips/suggestions you guys might have, Thanks! https://www.reddit.com/r/germany/comments/aceiqi/hallo_ich_bin_raihan_ich_komme_aus_indonesia_and/ 44 comments germany
- On passing type classe instances implicitly (question asked by Rob Norris on Scala Exchange) https://skillsmatter.com/skillscasts/12634-cats-effect-tagless-final-and-beyond 4 comments scala
- Scientists have developed a new class of DNA base editor that can alter genomic structure to help repair the type of mutations that account for half of human disease-associated point mutations. https://news.harvard.edu/gazette/story/2017/10/a-step-forward-in-dna-base-editing/ 3 comments science
- You Google Wrong. "Googling isn't just a skill, it's a series of skills. You can choose to just type into that empty box. Or you can take this class and join the 1 percent of Google Searchers." http://www.theatlanticwire.com/technology/2012/11/you-google-wrong/59013/ 90 comments technology
- a class that generalizes over Functor, Functor2, Functor3, and so on — Redshift Phase 2: types classes for types with arbitrary numbers of * parameters http://csks.wordpress.com/2012/10/17/redshift-phase-2-types-classes-for-types-with-arbitrary-numbers-of-parameters/ 17 comments haskell
