Is anyone else glad Scala doesn’t use a Hindley-Milner type system?
I am new to scala, which I have been using to practice leetcode type problems because I like that I can model problems recursively or iteratively. There's alot to love about the language. I'm a typescript dev who is trying to branch out, so I have no production experience with any other language.
I have a little experience with Haskell and O'Caml, and I've heard people praise the Hindley Milner type system that they offer. Scala has gone a diferent route, which I guess was the result of the technical difficulty of subtypes + Hindley Milner. I don't really have good grasp of type theory, but this is what I have read from other posts.
I have struggled with the math-y nature of Hindley Milner. For example, the return of a function being the last value in a chain of arrows ("->") isn't that clear to me. ML type inference also has felt unnatural to me.
This could all be the product of inexperience, but I have found the the explicit typing in Scala to feel more transparent and production ready.
I guess this thread is more about Hindley-Milner than Scala, but is anyone glad that Scala does not use it? Apologies if this discussion has been done to death outside the context of Scala.
https://redd.it/1nzirek
@r_scala
I am new to scala, which I have been using to practice leetcode type problems because I like that I can model problems recursively or iteratively. There's alot to love about the language. I'm a typescript dev who is trying to branch out, so I have no production experience with any other language.
I have a little experience with Haskell and O'Caml, and I've heard people praise the Hindley Milner type system that they offer. Scala has gone a diferent route, which I guess was the result of the technical difficulty of subtypes + Hindley Milner. I don't really have good grasp of type theory, but this is what I have read from other posts.
I have struggled with the math-y nature of Hindley Milner. For example, the return of a function being the last value in a chain of arrows ("->") isn't that clear to me. ML type inference also has felt unnatural to me.
This could all be the product of inexperience, but I have found the the explicit typing in Scala to feel more transparent and production ready.
I guess this thread is more about Hindley-Milner than Scala, but is anyone glad that Scala does not use it? Apologies if this discussion has been done to death outside the context of Scala.
https://redd.it/1nzirek
@r_scala
Reddit
From the scala community on Reddit
Explore this post and more from the scala community
Need help to choose either java or Scala
To begin with, I am an trainee data engineer(recently joined one small startup)I mostly work on data bricks, azure data factory, azure cloud, recently after joining the company I completed course on apache spark developer(in databricks academy) so I got better understanding on spark and learnt pyspark.
In addition, I am very curious to learn dsa and Iam very good at python and sql and I can solve easy problems on leetcode(solved 180+ till now) but, when I tried to solve medium or hard I will get out of memory error because I am applying brute force approach to solve problems.
I wanted to increase my skillset where I cannot able to draw a conclusion about which language I have to use either java or scala.
I will give reasons that are running in my head:
My opinion for learning java, I feel that it will be helpful and I can land on a better job after 2 years and also it will help me in the long run of my career.
My opinion for learning scala, To ace in data engineering field I have to use scala to achieve better time efficiency compared to pyspark and I believe that it is used by many product based company’s. And for solving leetcode problems leetcode support scala for some problems which are under data structures and algorithms
So if you are a scala developer or a person uses scala in your job. which language do you prefer for me to learn and why
Please help me I am very confused…
https://redd.it/1o41eue
@r_scala
To begin with, I am an trainee data engineer(recently joined one small startup)I mostly work on data bricks, azure data factory, azure cloud, recently after joining the company I completed course on apache spark developer(in databricks academy) so I got better understanding on spark and learnt pyspark.
In addition, I am very curious to learn dsa and Iam very good at python and sql and I can solve easy problems on leetcode(solved 180+ till now) but, when I tried to solve medium or hard I will get out of memory error because I am applying brute force approach to solve problems.
I wanted to increase my skillset where I cannot able to draw a conclusion about which language I have to use either java or scala.
I will give reasons that are running in my head:
My opinion for learning java, I feel that it will be helpful and I can land on a better job after 2 years and also it will help me in the long run of my career.
My opinion for learning scala, To ace in data engineering field I have to use scala to achieve better time efficiency compared to pyspark and I believe that it is used by many product based company’s. And for solving leetcode problems leetcode support scala for some problems which are under data structures and algorithms
So if you are a scala developer or a person uses scala in your job. which language do you prefer for me to learn and why
Please help me I am very confused…
https://redd.it/1o41eue
@r_scala
Reddit
From the scala community on Reddit
Explore this post and more from the scala community
Announcement Paper Presentation at ICFP/SPLASH 2025 – “Mentoring in the Scala Ecosystem” by Kannupriya Kalra
Hi everyone, I’m happy to share that my mentor, Kannupriya Kalra, will be presenting her paper “Mentoring in the Scala Ecosystem: Insights from Google Summer of Code” at ICFP/SPLASH 2025, taking place from October 12–18 in Singapore.
Talk link: https://2025.workshop.scala-lang.org/details/scala-2025/8/Mentoring-in-the-Scala-Ecosystem-Insights-from-Google-Summer-of-Code
Date and time: October 13, 2025 | 17:20–17:40
(Day 2) Venue: Peony West, Marina Bay Sands Convention Center, Singapore.
Livestream: https://www.youtube.com/@acmsigplan
Scala Workshop schedule: https://2025.workshop.scala-lang.org/#program
Conference info: https://conf.researchr.org/home/icfp-splash-2025
As Scala continues to evolve, so must its community. In this talk, she will share practical lessons from two years of mentoring and organizing for Google Summer of Code (GSoC) with the Scala Center, helping new contributors grow into confident open-source developers.
Drawing from real-world experience with projects like Scaladex, Scala CLI and LLM4S, this session explores what works (and what doesn’t) when mentoring newcomers in a strongly typed, functional ecosystem. Whether you’re a maintainer, educator, or contributor, you’ll come away with actionable insights to grow Scala’s contributor pipeline and make your own projects more welcoming and sustainable.
https://redd.it/1o5g0wn
@r_scala
Hi everyone, I’m happy to share that my mentor, Kannupriya Kalra, will be presenting her paper “Mentoring in the Scala Ecosystem: Insights from Google Summer of Code” at ICFP/SPLASH 2025, taking place from October 12–18 in Singapore.
Talk link: https://2025.workshop.scala-lang.org/details/scala-2025/8/Mentoring-in-the-Scala-Ecosystem-Insights-from-Google-Summer-of-Code
Date and time: October 13, 2025 | 17:20–17:40
(Day 2) Venue: Peony West, Marina Bay Sands Convention Center, Singapore.
Livestream: https://www.youtube.com/@acmsigplan
Scala Workshop schedule: https://2025.workshop.scala-lang.org/#program
Conference info: https://conf.researchr.org/home/icfp-splash-2025
As Scala continues to evolve, so must its community. In this talk, she will share practical lessons from two years of mentoring and organizing for Google Summer of Code (GSoC) with the Scala Center, helping new contributors grow into confident open-source developers.
Drawing from real-world experience with projects like Scaladex, Scala CLI and LLM4S, this session explores what works (and what doesn’t) when mentoring newcomers in a strongly typed, functional ecosystem. Whether you’re a maintainer, educator, or contributor, you’ll come away with actionable insights to grow Scala’s contributor pipeline and make your own projects more welcoming and sustainable.
https://redd.it/1o5g0wn
@r_scala
2025.workshop.scala-lang.org
Mentoring in the Scala Ecosystem: Insights from Google Summer of Code (The Scala Workshop 2025) - The Scala Workshop 2025
The Scala Workshop is the continuation of the Scala Symposium, providing a forum for researchers and practitioners to discuss the design, implementation, and applications of the Scala programming language. Topics include language features, compiler internals…
Workflows4s Web UI: OSS Full Stack App Ready for Production
https://medium.com/business4s-blog/workflows4s-web-ui-oss-full-stack-app-ready-for-production-ca09a706014d
https://redd.it/1o5fjhf
@r_scala
https://medium.com/business4s-blog/workflows4s-web-ui-oss-full-stack-app-ready-for-production-ca09a706014d
https://redd.it/1o5fjhf
@r_scala
Medium
Workflows4s Web UI: OSS Full Stack App Ready for Production
Today I’m glad to announce Workflows4s Web UI — a new milestone for the Workflows4s project and the result of four months of work and…
Demystifying Scala 3 Types By Bill Venners
https://watch.softinio.com/w/6Ubx9SPfjXDH2yBke158R4
https://redd.it/1o68h95
@r_scala
https://watch.softinio.com/w/6Ubx9SPfjXDH2yBke158R4
https://redd.it/1o68h95
@r_scala
watch.softinio.com
Demystifying Scala 3 Types By Bill Venners
Demystifying Scala 3 Types Scala 3 offers a rich and expressive type system—but to unlock its potential you need to understand it. In this talk we will walk you through the key concepts, including...
Simpler Build Tools with Functional and Object Oriented Programming, Scala Workshop 2025
https://www.youtube.com/watch?v=tNsz_dGCsVs
https://redd.it/1o6n82x
@r_scala
https://www.youtube.com/watch?v=tNsz_dGCsVs
https://redd.it/1o6n82x
@r_scala
YouTube
Simpler Build Tools with Functional and Object Oriented Programming, Scala Workshop 2025
Many Scala developers say SBT is “too complex”, but it’s actually a broader problem: users of Maven, Gradle, Bazel, and other build tools all have the same complaint! This talk will explore why build tooling is fundamentally such a difficult domain to work…
LLM4S Dev Hour - Weekly Live Coding & Collaboration (Open to All!)
Hey Everyone!
We're hosting LLM4S Dev Hour, a weekly live coding + collaboration session where contributors, learners and open-source enthusiast come together to build, debug, and learn around the project.
LLM4s Project (star us): [https://github.com/llm4s/llm4s](https://github.com/llm4s/llm4s)
No matter your skill level whether you're curious about learning GenAI, scala, interested in participating in Google Summer of Code 2026 program or just want to hang out and see how production ready GenAI toolkit is created, you're welcome to join!
When: Every Sunday, 9AM London (UK) time.
Global GenAI Community (see #llm4s-dev-hour channel for updates): [https://discord.gg/AZcBASdA](https://discord.gg/AZcBASdA)
Luma Invite 19^(th) Oct (add to calender): [https://luma.com/f42dk2mc](https://luma.com/f42dk2mc)
Weekly session calender: [https://luma.com/calendar/cal-Zd9BLb5jbZewxLA](https://luma.com/calendar/cal-Zd9BLb5jbZewxLA)
Hosts:
Kannupriya Karla - Engineering Leader & Scala Engineer
Rory Graves - Senior AI Researcher & Scala Advocate
Featured in:
[https://scalac.io/blog/scala-days-2025-recap-a-scala-community-reunion/](https://scalac.io/blog/scala-days-2025-recap-a-scala-community-reunion/)
[https://xebia.com/blog/scala-days-2025-ai-integration/](https://xebia.com/blog/scala-days-2025-ai-integration/)
[https://scalatimes.com/d8ac7ba40a](https://scalatimes.com/d8ac7ba40a)
This is not just a coding meetup - it's where you:
* Learn how open-source projects actually move: from issue triage to PR reviews.
* Understand the scala ecosystem and how LLM integration is shaping real developer tools.
* Connect directly with mentors (many of whom lead GSoC projects every year).
* Build your track record early contributors who engaged here often become strong GSoC candidates later.
* Ask real questions about code design, architecture, or proposal prep which is live and unfiltered.
Whether you're new to scala or already hacking on AI tooling, you'll walk away each week with something new with a clear concept or a better mental of open collaboration.
Come build, learn, and grow - one commit at a time.
https://preview.redd.it/gh5is24984vf1.jpg?width=2048&format=pjpg&auto=webp&s=22769a0318115e40531d9d4c8a0ba5f2dccd4e2e
https://redd.it/1o6mkol
@r_scala
Hey Everyone!
We're hosting LLM4S Dev Hour, a weekly live coding + collaboration session where contributors, learners and open-source enthusiast come together to build, debug, and learn around the project.
LLM4s Project (star us): [https://github.com/llm4s/llm4s](https://github.com/llm4s/llm4s)
No matter your skill level whether you're curious about learning GenAI, scala, interested in participating in Google Summer of Code 2026 program or just want to hang out and see how production ready GenAI toolkit is created, you're welcome to join!
When: Every Sunday, 9AM London (UK) time.
Global GenAI Community (see #llm4s-dev-hour channel for updates): [https://discord.gg/AZcBASdA](https://discord.gg/AZcBASdA)
Luma Invite 19^(th) Oct (add to calender): [https://luma.com/f42dk2mc](https://luma.com/f42dk2mc)
Weekly session calender: [https://luma.com/calendar/cal-Zd9BLb5jbZewxLA](https://luma.com/calendar/cal-Zd9BLb5jbZewxLA)
Hosts:
Kannupriya Karla - Engineering Leader & Scala Engineer
Rory Graves - Senior AI Researcher & Scala Advocate
Featured in:
[https://scalac.io/blog/scala-days-2025-recap-a-scala-community-reunion/](https://scalac.io/blog/scala-days-2025-recap-a-scala-community-reunion/)
[https://xebia.com/blog/scala-days-2025-ai-integration/](https://xebia.com/blog/scala-days-2025-ai-integration/)
[https://scalatimes.com/d8ac7ba40a](https://scalatimes.com/d8ac7ba40a)
This is not just a coding meetup - it's where you:
* Learn how open-source projects actually move: from issue triage to PR reviews.
* Understand the scala ecosystem and how LLM integration is shaping real developer tools.
* Connect directly with mentors (many of whom lead GSoC projects every year).
* Build your track record early contributors who engaged here often become strong GSoC candidates later.
* Ask real questions about code design, architecture, or proposal prep which is live and unfiltered.
Whether you're new to scala or already hacking on AI tooling, you'll walk away each week with something new with a clear concept or a better mental of open collaboration.
Come build, learn, and grow - one commit at a time.
https://preview.redd.it/gh5is24984vf1.jpg?width=2048&format=pjpg&auto=webp&s=22769a0318115e40531d9d4c8a0ba5f2dccd4e2e
https://redd.it/1o6mkol
@r_scala
GitHub
GitHub - llm4s/llm4s: Agentic and LLM Programming in Scala
Agentic and LLM Programming in Scala. Contribute to llm4s/llm4s development by creating an account on GitHub.
Streaming for ScalaIO
We just opened tickets for streaming : https://scala.io/#tickets ( https://scala.io/schedule ).
It gives access to a live and replay link, so if you are not in the same timezone, you can come back to it!
https://redd.it/1o7zbgk
@r_scala
We just opened tickets for streaming : https://scala.io/#tickets ( https://scala.io/schedule ).
It gives access to a live and replay link, so if you are not in the same timezone, you can come back to it!
https://redd.it/1o7zbgk
@r_scala
scala.io
Scala.IO is a conference for people having interest in the Scala ecosystem or simply being curious about the language, usages
This week in #Scala (Oct 13, 2025)
https://open.substack.com/pub/thisweekinscala/p/this-week-in-scala-oct-13-2025?r=8f3fq&utm_campaign=post&utm_medium=web&showWelcomeOnShare=true
https://redd.it/1o5r4nw
@r_scala
https://open.substack.com/pub/thisweekinscala/p/this-week-in-scala-oct-13-2025?r=8f3fq&utm_campaign=post&utm_medium=web&showWelcomeOnShare=true
https://redd.it/1o5r4nw
@r_scala
Substack
This week in #Scala (Oct 13, 2025)
Welcome to the new edition of #ThisWeekInScala!
Effective Webapp Development Flow - 25h Sprint Retrospective
https://anatoliikmwww.tg-me.com/posts/2025-10-17-effective-webapp-flow/
https://redd.it/1o8nya0
@r_scala
https://anatoliikmwww.tg-me.com/posts/2025-10-17-effective-webapp-flow/
https://redd.it/1o8nya0
@r_scala
Anatolii Kmetiuk's Homepage
Effective Webapp Flow - 25h Sprint Retrospective
My journey of developing webapps in a way that leverages AI for efficiency
testkit for zio-test v1.0.4 released
Simple utility addition for zio-test that allows you to single out 1 test in a suite, or run the suite up to a given point. Saves a lot of commenting/un-commenting (or trying to remember arcane sbt commands) when fixing "whack-a-mole" tests after a code change that breaks a lot of tests. Library provides @@only to isolate a single test, or @@until to run up to the marked test.
GitHub with instructions here: co.blocke.testkit
https://redd.it/1oaemo7
@r_scala
Simple utility addition for zio-test that allows you to single out 1 test in a suite, or run the suite up to a given point. Saves a lot of commenting/un-commenting (or trying to remember arcane sbt commands) when fixing "whack-a-mole" tests after a code change that breaks a lot of tests. Library provides @@only to isolate a single test, or @@until to run up to the marked test.
GitHub with instructions here: co.blocke.testkit
https://redd.it/1oaemo7
@r_scala
GitHub
GitHub - gzoller/testkit: Handy test utilities for Scala and sbt
Handy test utilities for Scala and sbt. Contribute to gzoller/testkit development by creating an account on GitHub.
[Hiring] Senior Scala Engineer Opportunity with Disney Streaming
Hey everyone. I'm a recruiter with Disney Streaming and we're in the market for a U.S.-based Senior Software Engineer that is well-versed in Scala. I've posted to this community before and have been able to get some people screened and interviewed, so wanted to circle back!
The opportunity is with our Orders team. You'd be working on backend commerce services for our streaming products. We're looking for strong senior level coders. Per the team, you don't need to be an expert in Scala, but you'll be working a lot in it, specifically Cats Effects. Other than that, the only other qualifications would be having at least 5 years of related SDE experience and a bachelors in a related field of study. (No degree or degree in unrelated field is also ok, we'd just need additional YOE). Unfortunately, we would not be able to offer sponsorship at this time.
Lastly, the position would need to be **onsite** 4x/week out of one of our tech hubs. These would be NYC, LA, Seattle, and San Francisco. The full base pay ranges are listed in the job description, but we typically target the midpoint for candidates that meet our basic qualifications. I've included the likely offers below:
* NYC or Seattle: Around $170k base
* LA: Around $160k base
* SF Bay: Around $175k base
If you're interested, or know anyone who might be, please feel free to send me a message directly. Thanks all!
https://redd.it/1ob1pbt
@r_scala
Hey everyone. I'm a recruiter with Disney Streaming and we're in the market for a U.S.-based Senior Software Engineer that is well-versed in Scala. I've posted to this community before and have been able to get some people screened and interviewed, so wanted to circle back!
The opportunity is with our Orders team. You'd be working on backend commerce services for our streaming products. We're looking for strong senior level coders. Per the team, you don't need to be an expert in Scala, but you'll be working a lot in it, specifically Cats Effects. Other than that, the only other qualifications would be having at least 5 years of related SDE experience and a bachelors in a related field of study. (No degree or degree in unrelated field is also ok, we'd just need additional YOE). Unfortunately, we would not be able to offer sponsorship at this time.
Lastly, the position would need to be **onsite** 4x/week out of one of our tech hubs. These would be NYC, LA, Seattle, and San Francisco. The full base pay ranges are listed in the job description, but we typically target the midpoint for candidates that meet our basic qualifications. I've included the likely offers below:
* NYC or Seattle: Around $170k base
* LA: Around $160k base
* SF Bay: Around $175k base
If you're interested, or know anyone who might be, please feel free to send me a message directly. Thanks all!
https://redd.it/1ob1pbt
@r_scala
Reddit
From the scala community on Reddit
Explore this post and more from the scala community