The Curious Engineer

All blogs / Functional / PL theory

typelevel.org

typelevel.org/blog

Functional / PL theoryJava / JVM

’15’20’25
Posts
140 from 4 Apr 2013 to 28 Oct 2026
Posting
monthly (11 in the last year)
Kind
project news

2026 11

  1. October 28, 2026 Shields for Projects Justin Reardon, & governance
  2. October 18, 2026 Typelevel Talks at Scala Days 2026 Justin Reardon, & events
  3. October 7, 2026 Affiliate Applications Opens Again! Gabriel Santana Paredes, & announcements
  4. September 4, 2026 AI Tools, Contributing Guide and Code of Conduct Updates Technical Steering Committee, & Typelevel Foundation, & governance
  5. August 13, 2026 GitHub Secure Open Source Fund Arman Bilge, & Typelevel Security Team, & security
  6. June 24, 2026 New members of the Technical Steering Committee Typelevel Foundation, & governance
  7. June 19, 2026 Typelevel Traverses Europe Arman Bilge, & events
  8. April 2, 2026 Join the Technical Steering Committee Typelevel Foundation, & governance
  9. March 5, 2026 Typelevel Foundation is a 501(c)(3) public charity Typelevel Foundation, & governance
  10. March 2, 2026 Typelevel Summer of Code 2026 Arman Bilge, & Antonio Jimenez, & Andrew Valencik, & technical
  11. February 18, 2026 typelevel.org built with Typelevel Arman Bilge, & Andrew Valencik, & community

2025 6

  1. September 2, 2025 Custom Error Types Using Cats Effect and MTL Daniel Spiewak, & technical
  2. August 15, 2025 Typelevel Meetup Lausanne August 22, 2025 at École Polytechnique Fédérale de Lausanne events
  3. August 19, 2025 Evolving Typelevel Typelevel Steering Committee, & Typelevel Foundation, & governance
  4. June 10, 2025 Typelevel Weaver released Zainab Ali, & technical
  5. February 27, 2025 Typelevel Summer of Code 2025 Arman Bilge, & technical
  6. February 21, 2025 Spotify FOSS Fund 2024 Andrew Valencik, & governance

2024 6

  1. December 22, 2024 Google Summer of Code 2024 - Going Feral on The Cloud Ching Hian Chew, & technical
  2. November 21, 2024 Code of Conduct Committee Typelevel Steering Committee, & governance
  3. August 24, 2024 Call For Code of Conduct Committee Members Typelevel Steering Committee, & governance
  4. March 11, 2024 New Code of Conduct Typelevel Steering Committee, & governance
  5. March 10, 2024 GitHub Seats Andrew Valencik, & technical
  6. March 2, 2024 Typelevel Summer of Code 2024 Arman Bilge, & technical

2023 4

  1. November 3, 2023 Typelevel Governance Update Typelevel Steering Committee, & governance
  2. October 2, 2023 Typelevel Summit NEScala October 26, 2023 at Online summits events
  3. April 3, 2023 Typelevel Toolkit Rishad Sewnarain, & technical
  4. February 23, 2023 Typelevel Summer of Code Arman Bilge, & technical

2022 7

  1. November 10, 2022 Fabric: A New JSON Library Matt Hicks, & governance
  2. September 19, 2022 Typelevel Native Arman Bilge, & technical
  3. September 12, 2022 New Typelevel Tuple Team Typelevel Steering Committee, & governance
  4. September 6, 2022 New Website Layout Launched Typelevel Steering Committee, & governance
  5. July 25, 2022 Welcoming New Steering Committee Members Typelevel Steering Committee, & governance
  6. April 1, 2022 Call for Steering Committee Members Typelevel Steering Committee, & governance
  7. January 19, 2022 Governing Documents Typelevel Steering Committee, & governance

2021 4

  1. November 15, 2021 On Recent Events Typelevel Steering Committee, & governance
  2. May 5, 2021 Discord Migration Typelevel Steering Committee, & social
  3. April 27, 2021 Community Safety Typelevel Steering Committee, & social
  4. February 21, 2021 Why Are Fibers Fast? Daniel Spiewak, & technical

2020 3

  1. October 30, 2020 Concurrency in Cats Effect 3 Raas Ahsan, & technical
  2. June 17, 2020 Confronting Racism Mark Tomko, & social
  3. March 12, 2020 Typelevel Summit New York City March 12, 2020 at Online summits events

2019 9

  1. November 13, 2019 Update About Sustainability Program Typelevel Steering Committee, & governance
  2. September 5, 2019 Contributors and Community Typelevel Steering Committee, & governance
  3. June 14, 2019 Typelevel Summit Lausanne June 14, 2019 at École Polytechnique Fédérale de Lausanne summits events
  4. May 29, 2019 Support Typelevel thanks to Triplequote Hydra and compile Scala faster! Typelevel Steering Committee, & governance
  5. May 1, 2019 Typelevel Switches to the Scala Code of Conduct Typelevel Steering Committee, & governance
  6. April 24, 2019 Typelevel Sustainability Program Announcement Typelevel Steering Committee, & governance
  7. April 1, 2019 Typelevel Summit Philadelphia April 1, 2019 at Science History Institute, Philadelphia summits events
  8. February 6, 2019 Algebraic API Design - Types, Functions, Properties Leif Battermann, & technical
  9. January 30, 2019 Cats Ecosystem Community Survey 2018 Results Kailuo Wang, & technical

2018 16

  1. November 28, 2018 Error handling in Http4s with classy optics – Part 2 Gabriel Volpe, & technical
  2. November 2, 2018 A tale on Semirings Luka Jacobowitz, & technical
  3. October 6, 2018 A comprehensive introduction to Cats-mtl Luka Jacobowitz, & technical
  4. September 29, 2018 Variance of Monad Transformers Cody Allen, & technical
  5. September 4, 2018 Chain – Replacing the List Monoid Luka Jacobowitz, & technical
  6. August 25, 2018 Error handling in Http4s with classy optics Gabriel Volpe, & technical
  7. August 7, 2018 Refactoring with Monads Mark Tomko, & technical
  8. July 12, 2018 Testing in the wild Eric Torreborre, & technical
  9. June 27, 2018 Optimizing Tagless Final – Part 2 – Monadic programs Luka Jacobowitz, & technical
  10. June 15, 2018 Typedapi or how to derive your clients and servers from types Paul Heymann, & technical
  11. June 7, 2018 Shared State in Functional Programming Gabriel Volpe, & technical
  12. May 18, 2018 Typelevel Summit Berlin May 18, 2018 at Zalando, Zeughofstraße 1, Berlin summits events
  13. May 9, 2018 Tagless Final Algebras and Streaming Gabriel Volpe, & technical
  14. May 9, 2018 Product with Serializable Cody Allen, & technical
  15. April 13, 2018 Rethinking MonadError Luka Jacobowitz, & technical
  16. March 20, 2018 Typelevel Summit Boston March 20, 2018 at Broad Institute, Cambridge, Massachusetts summits events

2017 15

  1. December 27, 2017 Optimizing Tagless Final – Saying farewell to Free Luka Jacobowitz, & technical
  2. December 25, 2017 Announcement: cats 1.0.0 Kailuo Wang, & technical
  3. December 20, 2017 Who implements the typeclass instance? Stephen Compall, & technical
  4. October 26, 2017 Typelevel UnConference - Lambda World Cadiz 2017 October 26th, 2017 at Palacio de Congresos de Cádiz events
  5. September 5, 2017 There are at least three types of strings Stephen Compall, & technical
  6. August 4, 2017 Announcement: cats 1.0.0-MF Kailuo Wang, & technical
  7. June 21, 2017 Validated Configurations with Ciris Viktor Lövgren, & technical
  8. June 13, 2017 Compile time dimensional analysis with Libra Zainab Ali, & technical
  9. June 3, 2017 Typelevel Summit Copenhagen June 3, 2017 at Comwell Conference Center Copenhagen, Denmark summits events
  10. May 2, 2017 An IO monad for cats Daniel Spiewak, & technical
  11. April 2, 2017 Equivalence versus Equality Tomas Mikula, & technical
  12. March 23, 2017 Typelevel Summit NYC March 23, 2017 at 26 Bridge Street, Brooklyn summits events
  13. March 1, 2017 Four ways to escape a cake Stephen Compall, & technical
  14. February 13, 2017 There are more types than classes Stephen Compall, & technical
  15. January 21, 2017 Hack the Tower – Typelevel & Scala hack day January 21, 2017 at Salesforce Tower, Bishopsgate, London events

2016 29

  1. December 17, 2016 Endorsing the new Scala Code of Conduct Typelevel Steering Committee, & governance
  2. December 10, 2016 Scala Exchange Hack Day and Unconference December 10, 2016 at CodeNode, London events
  3. November 17, 2016 API Design for Heaps (aka Priority Queues) Chris Okasaki, & technical
  4. November 12, 2016 Hack the Tower – Typelevel & Scala hack day November 12, 2016 at Salesforce Tower, Bishopsgate, London events
  5. October 27, 2016 Scala.IO October 27-28, 2016 at CPE Lyon, France events
  6. October 26, 2016 EDSLs as functions Adelbert Chang, & technical
  7. October 18, 2016 Typelevel representative at the Scala Center Advisory Board Lars Hupel, & governance
  8. October 17, 2016 Let's build ourselves a small ScalaCheck Lars Hupel, & technical
  9. October 15, 2016 Hack the Tower – Typelevel & Scala hack day October 15, 2016 at Salesforce Tower, Bishopsgate, London events
  10. September 30, 2016 Subtype type classes don't work Adelbert Chang, & technical
  11. September 30, 2016 Typelevel Community Conference Cádiz September 30, 2016 at Palacio de Congresos de Cádiz events
  12. September 21, 2016 It's programs all the way down Adelbert Chang, & technical
  13. September 19, 2016 Choosing variance for a phantom type Stephen Compall, & technical
  14. September 17, 2016 Hack the Tower – Typelevel & Scala hack day September 17, 2016 at Salesforce Tower, Bishopsgate, London events
  15. September 14, 2016 Typelevel Workshop in the Lake District September 14, 2016 at Rheged Centre, Penrith events
  16. August 21, 2016 Higher-kinded types: the difference between giving up, and moving forward Stephen Compall, & technical
  17. August 13, 2016 Hack the Tower – Typelevel & Scala hack day August 13, 2016 at Hydrogen Group, Eastcheap, London events
  18. July 16, 2016 Hack the Tower – Typelevel & Scala hack day July 16, 2016 at Hydrogen Group, Eastcheap, London events
  19. June 11, 2016 Hack the Tower – Typelevel & Scala hack day June 11, 2016 at Salesforce Tower, Bishopsgate, London events
  20. May 10, 2016 Making internal state functional Stephen Compall, & technical
  21. May 4, 2016 Typelevel Summit Oslo May 4, 2016 at Teknologihuset summits events
  22. March 24, 2016 The Typelevel Summit in Boulder is Cancelled Typelevel Steering Committee, & summits
  23. March 13, 2016 Information hiding, enforced Adelbert Chang, & technical
  24. March 2, 2016 Typelevel Summit Philadelphia March 2-3, 2016 at Hub's Cira Centre summits events
  25. February 4, 2016 Of variance and functors Adelbert Chang, & technical
  26. January 28, 2016 First batch of talks at the Philadelphia Summit Lars Hupel, & summits
  27. January 28, 2016 It’s existential on the inside Stephen Compall, & technical
  28. January 20, 2016 Keynote at the Philadelphia Summit Lars Hupel, & summits
  29. January 14, 2016 Assistance and Bursaries for the Typelevel Summits Dave Gurnell, & summits

2015 11

  1. December 11, 2015 Announcement: Typelevel Summits coming up in 2016 Lars Hupel, & summits
  2. September 21, 2015 To change types, change values Stephen Compall, & technical
  3. August 7, 2015 Symbolic operators and type classes for Cats Erik Osheim, & technical
  4. August 6, 2015 Machinist vs. value classes Erik Osheim, & technical
  5. July 30, 2015 Values never change types Stephen Compall, & technical
  6. July 27, 2015 Nested existentials Stephen Compall, & technical
  7. July 23, 2015 Type projection isn't that specific Stephen Compall, & technical
  8. July 19, 2015 What happens when I forget a refinement? Stephen Compall, & technical
  9. July 16, 2015 When are two methods alike? Stephen Compall, & technical
  10. July 13, 2015 Type members are almost type parameters Stephen Compall, & technical
  11. February 26, 2015 Existential types are not raw types Stephen Compall, & technical

2014 10

  1. November 10, 2014 Why is ADT pattern matching allowed? Stephen Compall, & technical
  2. September 20, 2014 Higher Leibniz Stephen Compall, & technical
  3. September 2, 2014 Typelevel Scala and the future of the Scala ecosystem Miles Sabin, & technical
  4. July 6, 2014 The singleton instance trick is unsafe Stephen Compall, & technical
  5. July 2, 2014 A function from type equality to Leibniz Stephen Compall, & technical
  6. June 22, 2014 How can we map a Set? Brian McKenna, & technical
  7. April 14, 2014 Primitive recursion with fix and Mu Stephen Compall, & technical
  8. March 9, 2014 When can Liskov be lifted? Stephen Compall, & technical
  9. February 21, 2014 How do I error handle thee? Adelbert Chang, & technical
  10. January 18, 2014 When implicitly isn't specific enough Stephen Compall, & technical

2013 9

  1. December 15, 2013 Towards Scalaz (Part 2) Adelbert Chang, & technical
  2. November 17, 2013 Law Enforcement using Discipline Lars Hupel, & technical
  3. October 18, 2013 Treelog Channing Walton, & technical
  4. October 13, 2013 Towards Scalaz (Part 1) Adelbert Chang, & technical
  5. October 13, 2013 How to use Spire's Ops macros in your own project Erik Osheim, & technical
  6. September 11, 2013 Using scalaz.Unapply Stephen Compall, & technical
  7. July 7, 2013 An Intro to Generic Numeric Programming with Spire Tom Switzer, & technical
  8. June 24, 2013 Deriving Type Class Instances Lars Hupel, & technical
  9. April 4, 2013 Inaugurating the typelevel.scala blog Lars Hupel, & governance