In love with FP and type systems. Scala developer. Coauthor of Professional Scala - Wrox

Joined January 2013
185 Photos and videos
Pinned Tweet
Let's be honest, learning statically-typed functional programming is harder than the imperative one BUT reasoning about pure functional programs is much easier. I myself prefer to spend more time learning than debugging programs.
7
61
168
Config files should be the exception, not the rule. Configuration is code.
1
98
TFW your integration test catches a bug, introduced in an external service, that could have been caught with a simple unit test on their side.
58
Now, seriously, why should anyone decide to design it like that? JavaScript is so f*cked up folks! year -> the actual year day -> the actual day month -> the actual...nope! it's 0-based. developer.mozilla.org/en-US/…
2
1
302
So, yesterday I finally decided to tinker with Scala 3. Well, after like 15 minutes I stumbled upon a compiler bug. Srsly, what are the odds? Anyway I discussed it in discord discord.com/channels/6321504… and it has readily been reported as a bug by som-snytt github.com/lampepfl/dotty/is…
92
A junior dev never applies DRY. A senior dev always applies it. A wise dev applies DRY only where it’s needed.
92
Don't get me wrong, comments are important. Nevertheless, never stop wondering if what you're writing as a comment can be expressed in your code, instead, and make it clearer.
2
127
Annotate every type in Scala. The time you're going to save when you read the code in the future is much more than the one you'd save taking advantage of type inference to avoid some more typing.
1
When designing your ADTs always keep in mind that: ab ac ad = a(b c d)
5
Bollocks! We Italians are great at queueing! (tongue in cheek)
Only a British person will quietly join the back of a five-mile queue, without even bothering to attempt to look how far ahead it stretches, not even looking up from their phone, maybe a small bottle of water in the other hand… showing the rest of the world how queuing is done.
It’s really amazing how many people didn’t understand it was a joke.
Gen-Z programmers are always chasing the new shiny thing like Tailwind and Svelte instead of learning CS fundamentals, like React
Hey junior devs: many senior devs will suggest you read some academic/difficult books on programming, such as TAOCP. You can be sure most of them read from 0% to 5% of the pages of those books, so don't feel down if you don't fully understand them and move on.
1
Alessandro Lacava retweeted
Exciting news: We are starting a large scale research project to develop a universal theory of resources and effects based on capabilities.
17
155
925
Talking about naming things: IMO `filter` is, probably, one of the worst and most ambiguous name ever given to a method of a std lib.
5
1
7
As a former Java dev I appreciate the effort its community is making to improve it. Nonetheless this thread reminds me how lucky I am to use Scala and have that and much more with a less verbose syntax. E.g. see the CompletableFuture example? Here is the return part in Scala:
Every programming language provides ways to express our ideas and then translates them into reality. This thread will explore ten #Java programming features used frequently by developers in their day-to-day programming jobs.
1
3
Alessandro Lacava retweeted
6 May 2022
Proviamoci: vendo due biglietti per Brunori Sas a Firenze il 24/5 (un rt → un aneddoto da aperitivo)
3
Good news
28 Apr 2022
Proposed to target JDK 19: JEP 425: Virtual Threads (Preview): openjdk.java.net/jeps/425 #jdk19 #openjdk #java
3
In the future IDEs might even think and write code themselves, but I'm pretty confident that, nevertheless, they won't get matching parenthesis/brackets/quotes/... right.
When you write the docs for the Scala library you created, may I humbly suggest you include type annotations in the examples? That would make "following the types" much easier.
2
1
24
Added 0 after 18 and then halved it
Alessandro Lacava retweeted
18 Oct 2021
Il programma per #ScalaItaly2021 è ora completo! scala-italy.it Ci si vede Sabato 23 per una edizione "spaziale" con @DanielaSfregola @and_prf @AL333Z @lorenzoglorenzo @nivox @massimosiani ed altri!

11
13