vascorsd, to programming
@vascorsd@mastodon.social avatar

Sophie Collard CONTRAVARIANCE: INTUITION BUILDING AND EXAMPLES Scalar Conference 2024
https://www.youtube.com/watch?v=YSpkToittJY

vascorsd, to programming
@vascorsd@mastodon.social avatar

Nicolas Rinaudo THE DEBATABLY FREE MONAD Scalar Conference 2024
https://www.youtube.com/watch?v=Yci07bMTcsM

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

This is old news, but there's now an official announcement — Apache Pekko is now a top-level project:

https://news.apache.org/foundation/entry/apache-software-foundation-announces-new-top-level-project-apache-pekko

#Scala #Akka #OpenSource

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.

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

deadblackclover, to programming
@deadblackclover@functional.cafe avatar

SPSC: A Small Positive Supercompiler

https://sergei-romanenko.github.io/spsc/

#supercompiler #scala

davesmith00000, to programming
@davesmith00000@mastodon.gamedev.place avatar

The UI work continues...

#scala #screenshotsaturday

vascorsd, to random
@vascorsd@mastodon.social avatar

2 things fixed on #archlinux today on my machine. Damn, I should wake earlier more times.

Imagine how powerful I could be with all this potential :angery:

vascorsd,
@vascorsd@mastodon.social avatar

I even had time to rebuild / update a bunch of #scala packages today :blobmiou: .

Me so powerful :catPOWER:

tymwol, to programming
@tymwol@hachyderm.io avatar

I'm reading this book on now and what can I say so far about the language, is that it can be summarized as ‘best effort to create a decent functional language given the limitations of JVM’. https://www.goodreads.com/book/show/13541678

nick_tune, to programming
@nick_tune@hachyderm.io avatar

One thing I liked about Scala was the ability to work fairly seamlessly with possible nulls using map, flatMap, orElse, getOrElse and so on....

My first impressions are that it's not so smooth in typescript out of the box to work with optionals.

Hopefully I'm just missing a few key concepts.

#scala #typeScript

eed3si9n, to programming
@eed3si9n@mastodon.social avatar

released sbt 1.10.0 featuring

  • SIP-51 support for Scala 2.13 by @lrytz at Lightbend
  • a wide range of Zinc fixes by Jerry Tan et al
  • ConsistentAnalysisFormat by Stefan Zeiger at Databricks
  • CommandProgress API by Iulian Dragos at Gradle Inc
    https://eed3si9n.com/sbt-1.10.0 #Scala

a screencast of an sbt 1.10.0 session that demonstrates SIP-51 support. first, I type in

Ant8e, to programming
@Ant8e@fosstodon.org avatar
scala_space, to programming
@scala_space@softwaremill.social avatar

#ScalaCLI v1.3.0 is out! We have added support for Scala Native 0.5.1, which will now be the default version used by the CLI on the --native platform. Regarding #Scala Native, take note that some tools which Scala CLI integrates with are not yet available on Scala Native 0.5.x.

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

Async/await in is essentially “direct style”. It will be interesting to see if Effect, a monadic effect system, will take off, as a case study for & — although for “direct style”, these have the advantage of context parameters.

https://effect.website

davesmith00000, to programming
@davesmith00000@mastodon.gamedev.place avatar

After a solid month or two of engine improvements, my little #Scala ASCII paint app looks like it did before! 💪
However, all the UI stuff now runs in a subsystem and all the layers are nested under one key, making the app logic far, far simpler. New Indigo release coming soon...

hamnis, to programming Norwegian
@hamnis@snabelen.no avatar

Released 0.14.7 https://github.com/circe/circe/releases/tag/v0.14.7

It has been a long time coming, but it is finally in maven-central. If you are a user, please read the release notes.

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

furmans, to FunctionalProgramming
@furmans@chaos.social avatar

We are super glad to inform you that LAMBDA WORLD CADIZ is BACK...

🗓️2-4 October 2024
📌Palacio de Congresos de Cadiz
🎟️Early Camarón at €150
🪩lambda.world

Should the best Rock-Funky-Hard SolYNaranjaS band make a noise there...? Should not ?

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 😱😐

leanpub, to FunctionalProgramming
@leanpub@mastodon.social avatar

Practical FP in Scala + Functional event-driven architecture https://leanpub.com/b/pfp-feda-scala by Gabriel Volpe is the featured bundle on the Leanpub homepage! https://leanpub.com #FunctionalProgramming #Scala #Software

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