- 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
- 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
- Yale astronomers, using a new type of telescope made by stitching together telephoto lenses, recently discovered seven previously unseen galaxies, may yield important insights into dark matter and galaxy evolution, while possibly signaling the discovery of a new class of objects in space. http://news.yale.edu/2014/07/10/hi-ho-astronomers-discover-seven-dwarf-galaxies 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