rodhilton, to programming
@rodhilton@mastodon.social avatar

I think it's fair to say that between the Scala 3 rollout and the lightbend licensing fiasco with Akka, is effectively dead.

Everyone I know with a Scala codebase in a professional setting is either

  1. actively transitioning away from Scala because they need to move away from akka streams

  2. maintaining existing projects but are doing no new projects in Scala

  3. trying to stick with Scala 2 until they no longer can

I don't know of anyone actively doing new dev in Scala.

interfluidity, to programming

[Announcing] fossilphant — a static-site generator to self-host your posts from Mastodon archives https://github.com/swaldman/fossilphant#readme

Check out examples, themes with paging https://www.mchange.com/projects/fossilphant/example/shatter/ or as one tall page https://www.mchange.com/projects/fossilphant/example/tower/

My current instance is sunsetting, and I want to make sure the banalities I posted here remain forever public.

If you are in similar straits, I'd love it if you gave this a try!

cc @isomorphismes @jpkoning @mattlehrer @paulgp

bblfish, to programming

2014 paper: "Inductive Representations of graphs" by @jelabra building on M. Erwig's 2001 paper on Inductive Graphs.
https://www.sciencedirect.com/science/article/pii/S0167642314000094
They wrote a implementation https://github.com/labra/wesin
and a one https://github.com/labra/haws
There is an interesting note on the Scala page regarding banana-rdf.

> Banana-RDF contains a more general library to work with RDF from Scala. It allows different underlying implementations like Jena and Sesame. A long term project will be to unify our work with that library.

I was actually just looking to see how I could update the pure Scala implementation to https://github.com/bblfish/banana-rdf
and after following links to Quiver a Scala library for Graphs based on Erwig's original paper very well described here
https://blog.higher-order.com/blog/2016/04/02/a-comonad-of-graph-decompositions/
See https://discord.com/channels/632277896739946517/839263668478672937/1123916208509571124

vascorsd, to programming
@vascorsd@mastodon.social avatar

How many people out there have changed from to successfully?

The language seems interesting enough, being helps, and there seems to be some interesting opportunities out there to work on it.

So, what's the experience changing from one ecosystem to the other, successful stories, failures, recommended reading or learning resources?

🙂

alexelcu, to Java
@alexelcu@social.alexn.org avatar

With 's evolution (discriminated unions, pattern matching, virtual threads), are / still worth it?

Scala & Kotlin have a culture of doing things at compile-time, the former more so than the latter.

This yields safety & expressiveness, and is reflected in features that Java will never implement, in platforms that it will never target well, or in paradigms it will never embrace.

Java is still Java, and you're stuck with Spring, Hibernate, and Jackson, sorry.

BryanBennett, to rust

Anyone else getting tired of getting the credit for (G)ADTs?

No? Just me?

, , , and among others had this long before Rust and without the complexity of the borrow checker or lifetimes. Rust moves this concept of type system as bug prevention system forward for systems programming, but there is a long history of good compilers (targeting application development, not systems) that did this already (and in a few cases - better!). I am tiring of the narrative that Rust is the ”only memory safe language"...

vascorsd, (edited ) to programming
@vascorsd@mastodon.social avatar

be like: oh no, ecosystem is too broken with many silos, 3 different effect libraries is too much, people can't decide, monads are too hard...

Scala solution: let's introduce a whole new thing called direct style, there's now 7 new libraries, competing against the previous 3 and std Futures. We are even working on effect things in a different way which will introduce 2 more ways to think about it!

Everybody else: yeah, tks but no, don't what deal with that craziness 😱😐

kellogh, to python
@kellogh@hachyderm.io avatar

i wish had native UDFs, or whatever you’d call this:

@native_udf
def add_n(c: Column: n: Column) -> Column:
return c + n

you can easily make or functions like that today, but you can’t reference them from . i prefer them when possible in python bc they run natively. even in scala, strings aren’t converted to utf16 so it’s a win there too. they’re just a bit awkward when improving large chunks of SQL

vascorsd, (edited ) to programming
@vascorsd@mastodon.social avatar

I will never forget the "let's change all the syntax now because new books will need to be written"!

Now it has changed.
A few books have been written.

On the table many more new syntax changes are being suggested!

I'm honestly tired 😩😞😮‍💨

vascorsd, to programming
@vascorsd@mastodon.social avatar

Getting slightly annoyed that all the recruiters that want to connect in last weeks on LinkedIn all give me the same JD for the same client 😮‍💨.

Is the market without any companies recruiting for besides the same 2 or 3 companies?

bblfish, to programming

Yesterday afternoon I presented the @ietf's upcoming HTTPSig protocol to the @w3c Solid Community Group.
I illustrated it by running my #scala crawler on #BigData published as Linked Data Event Streams (#LDES) protected with #SolidProject access control rules. (financed with the help of @NGIZero).
Note an early version of the IETF HttpSig protocol is used by #mastodon)

This is about as efficient as one can get, though Tim Berners-Lee did think of an extra optimisation, which I mention in the video recording below.
https://twitter.com/bblfish/status/1666547828506742788

(I am still waiting for the Google video upload to finish... Perhaps it is too long. The Twitter video works well though.)

dhinojosa, to programming
@dhinojosa@mastodon.social avatar

complaint List.empty[Int].sum should return None, not 0.

vascorsd, to programming
@vascorsd@mastodon.social avatar

After hearing good things about scalatags, reading the readme I almost walked away when I saw the changelog with latest version being 0.7.0 adding support for scala 2.13. I was literally thinking it was dead and nobody worked on it for 3 for example... 😮‍💨

Well turns out that if you open github you see that it actually was tagged a version 0.13.1 and the changelog hidden in a file is getting updated.

But the official docs website doesn't have any recent updates! 😨

Always check the code!

vascorsd, to programming
@vascorsd@mastodon.social avatar

This language (that I only became aware today) seems the most similar to syntax wise compared to the more recent new age langs that are targeting .

Also says it wants a "blend of fp" and bring it to more mainstream ppl.

Some obvious extras or improvements seem to come from (at least on a quick look) which are nice.

But, the more the merrier, languages, static strong typed (it seems).

https://grain-lang.org/docs/guide/hello_world

interfluidity, to programming

it's fun that with union types you get an intersection of methods while with intersection types you get a union of methods.

jducoeur, to programming
@jducoeur@social.coop avatar

Some interesting new experiments coming across the repo: https://jducoeur.medium.com/cool-new-experiments-in-type-classes-e42927a39205

alexelcu, to programming
@alexelcu@social.alexn.org avatar

It doesn't matter if people disagree on 4-spaces indentation for 3 because:

‣ Most of you haven't worked with “optional braces”, yet;

‣ When you'll do, and frustration builds up, my SEO-optimized website will be there to whisper in your ear 👨‍👦

abucci, to ProgrammingLanguages
@abucci@buc.ci avatar

A weird thing about being 50 is that there are programming languages that I've used regularly for longer than some of the software developers I work with have been alive. I first wrote BASIC code in the 1980s. The first time I wrote an expression evaluator--a fairly standard programming puzzle or homework--was in 1990. I wrote it in Pascal for an undergraduate homework assignment. I first wrote perl in the early 1990s, when it was still perl 4.036 (5.38.2 now). I first wrote java in 1995-ish, when it was still java 1.0 (1.21 now). I first wrote scala, which I still use for most things today, in 2013-ish, when it was still scala 2.8 (3.4.0 now). At various times I've been "fluent" in 8086 assembly, BASIC, C, Pascal, perl, python, java, scala; and passable in LISP/Scheme, Prolog, old school Mathematica, (early days) Objective C, matlab/octave, and R. I've written a few lines of Fortran and more than a few lines of COBOL that I ran in a production system once. I could probably write a bit of Haskell if pressed but for some reason I really dislike its syntax so I've never been enthusiastic about learning it well. I've experimented with Clean, Flix, Curry, Unison, Factor, and Joy and learned bits and pieces of each of those. I'm trying to decide whether I should try learning Idris, Agda, and/or Lean. I'm pretty sure I'm forgetting a few languages. Bit of 6502 assembly long ago. Bit of Unix/Linux shell scripting languages (old enough to have lived and breathed tcsh before switching to bash; I use fish now mostly).

When I say passable: in graduate school I wrote a Prolog interpreter in java (including parsing source code or REPL input), within which I could run the classic examples like append or (very simple) symbolic differentiation/integration. As an undergraduate I wrote a Mathematica program to solve the word recognition problem for context-free formal languages. But I'd need some study time to be able to write these languages again.

I don't know what the hell prompted me to reminisce about programming languages. I hope it doesn't come off as a humblebrag but rather like old guy spinning yarns. I think I've been through so many because I'm never quite happy with any one of them and because I've had a varied career that started when I was pretty young.

I guess I'm also half hoping to find people on here who have similar interests so I'm going to riddle this post with hashtags:

#C #R

macleod, to rust

The Vale Programming language

We also discovered that they (Generational References) enable Vale to have complete memory safety, something no native language has been able to achieve.

  • No borrow checker
  • No GC
  • Writes like Go with a hint of Scala
  • FFI interop
  • No unsafe blocks
  • No comptime related keywords

https://vale.dev/memory-safe

[ # ] :: #c

alexelcu, to programming
@alexelcu@social.alexn.org avatar

I still can't wrap my head around the chess server being built in Scala 3 and using Typelevel libraries, in an style. This chess server is insanely popular.

https://github.com/lichess-org

awwsmm, to programming

Make invalid states unrepresentable. Use types and let the compiler do the hard work of data validation for you. https://www.awwsmm.com/blog/make-invalid-states-unrepresentable

dhinojosa, (edited ) to programming
@dhinojosa@mastodon.social avatar

The combination of version 3 and and is pretty neat. "Kittens" is a library that has derived type classes for Cats. I just learned about Kittens yesterday. "Kittens" uses libraries underneath.

Sample Source Code:

https://scastie.scala-lang.org/bgI5mqPYRR2NQA3QYrVFBQ

vascorsd, to programming
@vascorsd@mastodon.social avatar

Been having fun with , made more than a hundred lines of code with it. It's really refreshing having a language that compiles fast and takes barely any memory and cpu to run.

Not having to care about the build tool too much, hundreds of compiler flags, language versions, compiler plugins, formatting plugins, or any of the usual things that fill the brain I'm used to in is a huge breath of fresh air.

Not having to care about the JVM is amazing.

preslavrachev, to golang
@preslavrachev@mastodon.social avatar

I think the years writing broke me. Need to read through some code today, and I’m going bananas 🍌 😜

raquo, to programming
@raquo@mastodon.social avatar

Laminar v17 is finally here! 🎉Lots of new features across the board, as well as some bug fixes. #Scala #ScalaJS

https://laminar.dev/blog/2024/05/14/laminar-v17.0.0

  • All
  • Subscribed
  • Moderated
  • Favorites
  • megavids
  • rosin
  • ngwrru68w68
  • Durango
  • DreamBathrooms
  • mdbf
  • magazineikmin
  • thenastyranch
  • Youngstown
  • khanakhh
  • slotface
  • everett
  • vwfavf
  • kavyap
  • provamag3
  • osvaldo12
  • GTA5RPClips
  • ethstaker
  • tacticalgear
  • InstantRegret
  • cisconetworking
  • cubers
  • tester
  • anitta
  • modclub
  • Leos
  • normalnudes
  • JUstTest
  • All magazines