Hacker News
- Zero-Overhead Union Types in Scala http://japgolly.blogspot.com/2015/02/zero-overhead-recursive-adt-coproducts.html 2 comments
- On Scala, Functional Programming and Type-Classes http://bionicspirit.com/blog/2012/11/02/scala-functional-programming-type-classes.html 16 comments programming
- Type-classes in Scala http://unenterprise.blogspot.com/2007/12/type-classes-in-scala.html 8 comments programming
- Type-safe transducers in Clojure, Scala and Haskell. http://blog.podsnap.com/ducers2.html 12 comments programming
- Type-safe database queries in Scala : Slick 1.0.0 http://blog.typesafe.com/announcing-slick-10-type-safe-database-querie 6 comments scala
- Iron: A library for type constraints in Scala https://github.com/Iltotore/iron 12 comments scala
- Automatic UI generation with Scala 3's type class derivation https://kavedaa.github.io/auto-ui-generation/auto-ui-generation 12 comments scala
- New video: Compose yourself with Scala 3's opaque types https://www.reddit.com/r/scala/comments/lnnat4/new_video_compose_yourself_with_scala_3s_opaque/ 5 comments scala
- What are Monoids and Semigroups: explained with Type Classes[Scala]. https://www.reddit.com/r/scala/comments/l40g6y/what_are_monoids_and_semigroups_explained_with/ 9 comments scala
- Introduction to Actor Supervision- Akka Typed with Scala for beginners. https://yolkorbit.com/introduction-to-actor-supervision-akka-typed-with-scala-for-beginners/ 6 comments scala
- Cask Actors: a tiny, lightweight, typed Scala Actor library http://www.lihaoyi.com/cask/page/cask-actors.html 6 comments scala
- What is Type Projection in Scala, and Why is it Unsound? http://lptk.github.io/programming/2019/09/13/type-projection.html 6 comments scala
- 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
- Algebraic Data Types in four languages: Haskell, Scala, Rust, and TypeScript https://blog.softwaremill.com/algebraic-data-types-in-four-languages-858788043d4e 7 comments typescript
- How would you go about making different types of applications completely functionally in Scala? https://www.reddit.com/r/scala/comments/93k628/how_would_you_go_about_making_different_types_of/ 10 comments scala
- IntelliJ Scala plugin 2018.1.9: Literal Types, Infix Type Notation, better Error Highlighting https://blog.jetbrains.com/scala/2018/05/03/intellij-scala-plugin-2018-1-9-literal-types-infix-type-notation-better-error-highlighting/ 16 comments scala
- Mechanics of unboxed union types in Scala https://virtuslab.com/blog/mechanics-unboxed-union-types-scala/ 15 comments scala
- Some early benchmarks from Twitter's Reasonable Scala type checker https://github.com/twitter/reasonable-scala/blob/master/docs/performance.md 6 comments scala
- Negation types in 6 lines of Scala https://gist.github.com/pathikrit/0c2538fa8faec51fc2f23b9c5e4194c9 33 comments scala
- The Essence of Phantom Types in Scala http://yawar.blogspot.ca/2016/02/the-essence-of-phantom-types-in-scala.html 5 comments scala
- Phantom Types in Scala https://blog.codecentric.de/en/2016/02/phantom-types-scala/ 12 comments programming
- Deconstructing a Scala feature: Generalized type constraints in Scala (without a PhD) http://blog.bruchez.name/2015/11/generalized-type-constraints-in-scala.html 7 comments scala
- What if Scala had weaker type inference? http://eed3si9n.com/stricter-scala-with-ynolub 12 comments scala
- The Cake Pattern in Scala - Self Type Annotations vs. Inheritance http://www.andrewrollins.com/2014/08/07/scala-cake-pattern-self-type-annotations-vs-inheritance/ 9 comments scala
- Annihilators in Scala: An Example of Type Class Design http://underscore.io/blog/posts/2015/07/02/annihilators-in-scala.html 6 comments scala
- Introduction to Type Classes in Scala and some simple ways to make them easier to use. http://aakashns.github.io/better-type-class.html 4 comments scala
- Structures: a zero-dependency Scala library that defines commonly used type classes for functional programming https://github.com/mpilquist/structures 4 comments scala
- Academese to English: Scala's Type System, Dependent Types and What It Means To You https://thenewcircle.com/s/post/1576/academese_to_english_scalas_type_system_dependent_types_and_what_it_means_to_you 3 comments scala
- Scala vs Idris: Dependent Types, Now and in the Future http://www.infoq.com/presentations/scala-idris 11 comments scala
- Effect Typing for Scala http://lrytz.github.io/slides/lamp-lara-efftp.html#/ 5 comments scala
- Easy to use type classes in Scala http://markehammons.wordpress.com/2013/06/23/easy-to-use-type-classes-in-scala/ 70 comments programming
- Duck Typing in Scala: Structural Typing. http://java.dzone.com/articles/duck-typing-scala-structural 12 comments scala
- Dynamic Types in Scala 2.10 http://weblogs.java.net/blog/cayhorstmann/archive/2012/12/13/dynamic-types-scala-210 3 comments scala
- Java.next() - Scala: The Revenge of the Static Typing http://batsov.com/2011/05/08/jvm-langs-scala.html 140 comments programming
- Scala Implicits : Type Classes Here I Come http://debasishg.blogspot.com/2010/06/scala-implicits-type-classes-here-i.html 4 comments programming
- Scala 3 Typed Akka Support / SBT Project Template https://doc.akka.io/docs/akka/current/typed/index.html 4 comments scala
- What are Monoids and Semigroups: explained with Type Classes[Scala]. Scala https://yolkorbit.com/what-are-monoids-and-semigroups-with-type-classesscala/ 5 comments scala
- Strategic Scala Style: Practical Type Safety http://www.lihaoyi.com/post/strategicscalastylepracticaltypesafety.html 19 comments programming
- Cake Pattern in Scala / Self type annotations / Explicitly Typed Self References https://coderwall.com/p/t_rapw 7 comments scala
- Openings for Haskell, Ocaml and three very experienced Scala developers at Swedish spin-off taking dependent types to the industry ... https://se.linkedin.com/jobs2/view/10989030 8 comments haskell