Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Capture Checking in Scala

nrinaudo.github.io

Post reply on HN
Print view View original

11–19 of 19 posts

Re: Capture Checking in Scala

#11

Post by pjmlp »

brabel wrote: post #9
halfmatthalfcat wrote: post #7

Earlier quoted context omitted.

Strange since Scala’s huge standard library and FP/OO choose-your-own-adventure garnered a ton of criticism as being “too unopinionated” leading to many ways to accomplish the same thing and confusion on what was “blessed”. If anything Scala 3 was an attempt to standardize and reduce some of the existing complexity to make it more widely appealing.

What’s the preferred syntax in Scala 3? Python-like indentation based or C-like curly braces? Is FP the “default“ or OOP?

It seems Python-like indentation based is the one being pushed, due to way Python was own mindshare around learning to programm language, and AI DSL.

I would assume FP is the one being pushed with stuff like Cats and ZIO, anyone that wants OOP with good enough FP has already moved back into modern Java, or Kotlin.

Re: Capture Checking in Scala

#12

Post by blandflakes »

pjmlp wrote: post #6
lmm wrote: post #4

Meh. Scala's great strength used to be a simple, consistent model instead of zillions of ad-hoc features (e.g. implicits replace maybe 5 or 6 special-case features in other languages). But Scala 3 seems to be determined to destroy that elegance and turn into a pile of special cases. If I wanted that I'd use Kotlin.

I would say that having lost the adoption wave, especially since Google got cozy with JetBrains, thus making Kotlin unavoidable on Android, and all big data solutions that were powered by Scala going into modern C++/Go/Rust, eventually the only thing left to keep Scala relevant is to be Haskell on the JVM. Still, F# could only dream to have half as much adoption as Scala.

My job has been making a tactical retreat from Scala, and it's really fascinating to look to alternatives like F# and see that they're even less "successful", from an adoption point of view. I'm surprised at how little success even marginally higher-level languages than C# or Java are having.

As you say though, really we've seen a shift in a direction I didn't expect as much, more toward languages that aren't bringing a virtual machine. Even the dialog at work talks about elastic computing where the JVM is less of a dominant player than something that uses fewer resources and starts fast.

Go has really become the poster child for a lot of this momentum in my circles... intentionally not an elaborate language, good ecosystem, good runtime characteristics. I personally don't really want to be moving to Go, but the gulf between status quo and "moves the needle" languages has grown, not shrunk, these last few years, it feels.

Re: Capture Checking in Scala

#14

Post by pjmlp »

blandflakes wrote: post #12
pjmlp wrote: post #6

Earlier quoted context omitted.

I would say that having lost the adoption wave, especially since Google got cozy with JetBrains, thus making Kotlin unavoidable on Android, and all big data solutions that were powered by Scala going into modern C++/Go/Rust, eventually the only thing left to keep Scala relevant is to be Haskell on the JVM. Still, F# could only dream to have half as much adoption as Scala.

My job has been making a tactical retreat from Scala, and it's really fascinating to look to alternatives like F# and see that they're even less "successful", from an adoption point of view. I'm surprised at how little success even marginally higher-level languages than C# or Java are having. As you say though, really we've seen a shift in a direction I didn't expect as much, more toward languages that aren't bringin…

I am usually a big critic of Go's design, but if the option is between C or Go, I would rather put up with Go.

F# has suffered from Microsoft not really caring that much, it almost feels that management has repented to have added into Visual Studio 2010, and now mostly carries it around, based on the work of volunteers, with a rather small team.

Even the release notes aren't part of .NET proper,

While VB folks document directly what is changing,

https://github.com/dotnet/core/blob/main/release-notes/10.0/...

F# notes tell readers to click into yet another link to the F# repo,

https://github.com/dotnet/core/blob/main/release-notes/10.0/...

https://fsharp.github.io/fsharp-compiler-docs/release-notes/...

Re: Capture Checking in Scala

#16

Post by blandflakes »

pjmlp wrote: post #14
blandflakes wrote: post #12

Earlier quoted context omitted.

My job has been making a tactical retreat from Scala, and it's really fascinating to look to alternatives like F# and see that they're even less "successful", from an adoption point of view. I'm surprised at how little success even marginally higher-level languages than C# or Java are having. As you say though, really we've seen a shift in a direction I didn't expect as much, more toward languages that aren't bringin…

I am usually a big critic of Go's design, but if the option is between C or Go, I would rather put up with Go. F# has suffered from Microsoft not really caring that much, it almost feels that management has repented to have added into Visual Studio 2010, and now mostly carries it around, based on the work of volunteers, with a rather small team. Even the release notes aren't part of .NET proper, While VB folks docume…

No disagreement on my part. I largely hope not to be in a world where I'm choosing between C or Go, though!

Re: Capture Checking in Scala

#17

Post by ndriscoll »

Does the capture check on Secret prevent you from just using `_.value` as your extractor now? I'm not seeing how this approach could ever be made to work without tracking primitives, and even with that it's not clear that you can actually use this to prevent a leak. You're always going to have to serialize the secret somehow (unless the capability is entirely used as a token within your same process, and then you don't need to wrap anything and can just pass an opaque object around), so you can always get at it.

Re: Capture Checking in Scala

#18

Post by nikitaga »

edem wrote: post #5

Oh, Scala...I thought the language was practically dead.

Scala is very much alive, it's just past the initial hype stage, well into the slope of enlightenment / plateau of productivity depending on which style of Scala one is into. It's now growing slower but based on more sustainable pragmatism instead of just hype.

Re: Capture Checking in Scala

#19

Post by nikitaga »

brabel wrote: post #9
halfmatthalfcat wrote: post #7

Earlier quoted context omitted.

Strange since Scala’s huge standard library and FP/OO choose-your-own-adventure garnered a ton of criticism as being “too unopinionated” leading to many ways to accomplish the same thing and confusion on what was “blessed”. If anything Scala 3 was an attempt to standardize and reduce some of the existing complexity to make it more widely appealing.

What’s the preferred syntax in Scala 3? Python-like indentation based or C-like curly braces? Is FP the “default“ or OOP?

Preferred syntax is whatever looks nicer to you. It's not really two different syntaxes, just one more flexible syntax where if you choose to go full braceless, it ends up looking like python. I personally like the new braceless python-like syntax.

Scala has two main camps, one is purist FP (cats / zio / etc.), another is plain Scala, banking on ergonomic OOP+FP fusion. Neither of those is the default. FP advocates are more vocal online but that's because they need a bunch of libraries (thus more OSS work) to make that approach work, whereas the other camp just uses plain Scala and simpler libraries that aren't reinvented every 5 years, so their online presence is not as apparent.

Post reply on HN