Martin Odersky
@odersky
Followers
50,808
Following
252
Media
23
Statuses
1,304
Explore trending content on Musk Viewer
Oasis
• 497984 Tweets
SB19 GRACES BILLBOARD KOREA
• 283538 Tweets
SB19 GRACES BILLBOARD KOREA
• 283538 Tweets
Starmer
• 249342 Tweets
Ugarte
• 112760 Tweets
PS5値上げ
• 54751 Tweets
オアシス
• 44849 Tweets
コントローラー
• 40730 Tweets
REACT TRAILER JJ
• 34406 Tweets
ニンダイ
• 29380 Tweets
ゲーミングPC
• 23594 Tweets
値上がり
• 19568 Tweets
#日向坂46_四期生ライブ
• 19468 Tweets
スタテン
• 18440 Tweets
Toney
• 15772 Tweets
ゲーム機
• 14060 Tweets
UMA Summer
• 12485 Tweets
Amrabat
• 10355 Tweets
Last Seen Profiles
Scala 3 has landed
🎺🎺🎺
After 8 years of work, 28,000 commits, 7,400 pull requests, 4,100 closed issues – Scala 3 is finally out!
Read more here:
37
929
3K
28
336
1K
Scala 3 is a new language, built on a new compiler platform. We put special emphasis on making it easy to learn, easy to use, and easy to scale. /1
14
234
1K
Exciting news: We are starting a large scale research project to develop a universal theory of resources and effects based on capabilities.
17
170
1K
They are finally in the box! 11 weeks of raw video footage for MOOCs from 1+1 = 2 to functional reactive programming. All in Scala 3. New topics: extension methods, enums, givens, opaque types, implicit function types.
16
215
911
I am very saddened by this news. Niklaus got me into CS since I became fascinated by the beauty of his language designs and compiler architectures. And later he became the guiding mentor for my doctoral studies at ETH.
We lost a titan of programming languages, programming methodology, software engineering and hardware design. Niklaus Wirth passed away on the first of January. We mourn a pioneer, colleague, mentor and friend.
152
2K
5K
6
85
716
Scala wins the SIGPLAN programming languages award! I'm very happy and thankful for this recognition.
22
199
676
Among the clearest explanations of "why functional programming?" that I have seen:
3
210
632
#ScalaThankYou
you to
@epfl
for having given me the chance to pursue my dreams. And thank you to the Scala community for having turned them into a reality beyond my wildest expectations.
12
72
563
I started a blog. In the first installment I write of some of my memories of Niklaus Wirth.
9
104
519
This was fast! My Devoxx 2017 talk on "Plain Functional Programming" is already available on YouTube:
8
183
472
Back on my 3yr old MacBook Pro after trying a new model for 3 months. Such a relief of not having to cope with the broken keyboard and touch bar anymore!
24
69
447
Fleshed out proposal for typelevel programming in Scala 3:
4
146
408
This looks like an excellent basis to build great stuff on:
6
94
396
For its 10th year anniversary, Scala Days is back in Lausanne at EPFL. Here are my slides from the opening talk.
0
140
367
Having a great time at
#ScalaDays
. Lots of good discussions about the move to Scala-3, and a very positive vibe.
Here are my slides of the opening keynote:
2
130
347
Big announcement: IBM and Lightbend partner on Scala-based reactive platform for AI and cognitive development.
5
217
340
Very interesting article by
@adamwarski
: . The most comprehensive treatment of modern concurrency trends I have seen in that format.
2
102
331
Scala 3 is the product of 8 years of work by more than a hundred contributors. I mention particularly the present and past members of LAMP and ScalaCenter at EPFL for working out the foundations of the language, its tooling, and its teaching support./4
4
40
323
New blog post on implicit function types: .
For me, it's the most important feature to come to Scala in a long time.
3
245
325
Scala 2.12 is out! Impressive reduction in code size due to its use of lambdas and default methods.
4
261
319
A capture checking prototype for Scala has landed.
.
It's in a research branch, and still requires lots of work before it can be used in production. But it's shaping up quite well so far.
8
72
316
Next step: a Scala 3 programming kit for LEGO sets?
We are very proud to announce the LEGO Group's first OSS library release — Woof , a small Scala 3 logging library 🎉
Do we have any
#Scala
users out there? 👋
40
326
2K
9
30
295
I am very happy to say that I got back my account. It took a while, but with the help of Martin Duheim who reached out to a good soul at Twitter we finally got it done. Many thanks to him and the people who reset the account. I turned on 2FA now, so hopefully this will not repeat
9
24
297
Announcing the Scala Center. Very excited to see this next step in Scala's evolution: .
6
356
290
Macros: The plan for Scala 3:
0
164
286
I liked this blog: . Interestingly, Scala makes almost exactly the same design decisions as Idris in these areas.
2
102
285
Removing the last crutches before releasing Scala 3...
3
31
276
The announcement today is just a milestone. We are committed with our partners to keep improving Scala 3 as a highly productive and enjoyable development platform./6
2
21
265
Scala specialization launched on Coursera! 3 courses up now, more to follow.
7
223
253
I will work with the Scala Center and the community on more transparent reporting and reaction mechanisms so that we are all better placed to deal with cases like this in the future./2
2
15
249
I liked this writeup about relating well-known design patterns in Java and Scala:
http://t.co/fBtn7WNQZt
4
197
243
Here are the slides and the video for my Scala Days talk in Chicago.
1
106
236
Great initiative. I think we should have something like this for Scala!
7
47
238
Would you like to work on the next Scala compiler at the place that invented it? We are looking for two compiler engineers. More info at:
5
135
232
Looking for compiler engineers to shape the future of Scala.
1
95
229
Yifan, thank you for speaking up about this. It takes a lot of courage to do so. The behavior you describe is outrageous and unacceptable in all circumstances. I am very sorry that you and others had to endure this. /1
0
10
227
It's finally hatched! The dotty scala compiler has bootstrapped:
Expect great things in the future from it.
3
263
225
Came across this really nice explanation for helping people with their first steps towards FP:
2
129
223
A concise yet informative walk-through of Scala 3's replacements for implicits.
📜 BLOG ALERT 👀
➡️ Discover the new syntax for implicits in Scala 3.
➡️ Learn how to express extension methods, implicit parameters, implicit conversions, and typeclasses in Scala 3!
6
75
229
1
36
221
Scalaquest is close to the finish line! Nearly 90% of their kickstarter goal with 3 days to go.
5
131
214
Our
#scaladays
venue from 9 years ago will be too small of course. Here's the new one: The SwissTech center next to EPFL.
4
27
208
Work in beautiful Switzerland with a team of nice people to advance the Scala ecosystem and turbo-charge your career. What's there not to like?
The Scala Center at EPFL is looking for software engineers to work on open-source software beneficial to Scala developers. If you'd like to come work with us in Lausanne, Switzerland, apply now:
2
107
165
4
57
200
I thank
- Virtuslab, for their work on Scala 3 Metals, Scala3doc, and more,
- the Scala Team at Lightbend, for their design input and for working with us on the Scala 2/3 integration,
- Jetbrains, for the Scala 3 plugin for IntelliJ
and so many others who created great tooling
0
15
191
2019 will be the 10th anniversary of ScalaDays. To celebrate, we are coming back to Lausanne. Here's a photo of the first run.
Be a part of it by submitting a talk! …
1
53
187
New blog post, with a vow to write more in 2016 than in 2015:
9
146
188
Simplicitly - My talk about implicit function types at POPL 2018:
0
55
185
Scala 3 is binary compatible with Scala 2.13, which will continue to be supported. Libraries can cross build between the two versions./3
0
25
184
One of the leading universities in Europe is switching to Scala for the introductory teaching language:
4
210
171
Just gave my talk at the Scala Symposium. Here are the slides:
2
68
173
This promises up to be a great resource for learning Scala 3!
It's been quite a journey for
@virtuslab
and
@propensive
to get to this point, but we're extremely proud of what we're presenting today, and have high aspirations for what we can achieve with ScalaZONE: comprehensive and completely free and up-to-date learning for everyone.
1
12
75
1
28
177
Lots of enthusiasm for ditching the 22 limit for functions. Now, let's do the same for tuples!
8
103
171
Several of you have asked about the relationship between capture checking and algebraic effects,
as found for instance in Koka, Eff, Unison.
3
30
167
Slides of my Scala Days NYC talk:
4
141
164
Wrote new blog post: "The essence of Scala" about recent results on DOT.
2
136
163
Busting the Function 22 limit: .
1
100
161
An online conference I am really enjoying so far! That's a rarity.
#ScalaLoveintheCity
#spiewak4ducktypes
0
25
158
@Ryan_Signify
Ryan, thank you for what are doing for the community in these difficult times!
1
18
158
What Happens Next? COVID-19 Futures, Explained With Playable Simulations
🔬 Here's a real deep dive! 30 min read/play:
1
72
156
I thank the many contributors of the more than 300 libraries and tools that have already been ported to Scala 3 or been written from scratch for it and that make Scala 3 usable today. /5
1
11
154
Just delivered my
#scalax
talk. Here are the slides: . Lots of other interesting stuff going on here.
4
84
147
Some more info on the IBM investment in Scala and Lightbend:
3
90
144
Very intrigued by this presentation of Silvio Micali on Algorand, a way to do blockchain without wasting energy in miners.
2
59
144
Very much enjoyed Scala Days Madrid. Glad to be part of such an interesting and warm-hearted community. And special thanks to the organizers for putting up a great conference.
#scaladays
1
14
141
New blog post on "Lean Scala".
2
34
139
Special thanks to
@propensive
@milessabin
@jaguarul
@bvenners
for their support from early on, to
@heathercmiller
for launching MOOCs and Scala Center with me, and to the Scala team at
@lightbend
for steering the boat with a steady hand. We would not be where we are without you.
2
13
133
Interesting development in OCaml land:
2
19
133
A curated list of Scala frameworks, libraries and software:
2
100
129
@debasishg
If your base syntax is clean, you won't need the trick to merge match and catch in a single statement form. Scala 3:
2
18
127
"Principles of Reactive Programming" has started today. . Discover with
@rolandkuhn
@headinthebox
@odersky
.
3
233
123
Great job, Nicolas! It's very rewarding to see this recognition for someone who worked so hard to make Scala 3 meta-programming safe and powerful.
I am extremely proud of my collaborator Nicolas Stucki (PhD student of
@odersky
) for receiving the GPCE best paper award.
Great job!
1
8
80
1
8
126
A thorough inside look at the architecture that allows twitter to handle spikes of 143,000 tweets per second:
1
164
126
There will be a number of roll-outs relating to Scala 3 over the coming weeks. More about that at my ScalaCon keynote next week./2
0
11
122
@propensive
I realize that checked exceptions generate a lot of heat, but please hold off with discussions for a bit. It's a draft pull request for a feature under an experimental flag. And I still have to write docs that explain what it does exactly.
3
13
123
A balanced and insightful summary of some key aspects of programming in Scala (and other functional languages).
1
62
178
2
21
121
A detailed and thoughtful discussion about choosing a language for CS-1 teaching:
7
50
120
Slides for my joint CurryOn/PLDI talk in Barcelona: "What to Leave Implicit" .
There will be video as well, it seems.
1
46
118
If you want to know how distributed algorithms apply to scalable systems you must see
@jboner
's scalax keynote:
http://t.co/aipDLNougD
0
34
114
4. How to express high-level concurrency and parallelism, safely? 5. How to migrate large existing code bases to the new system? Here's a slide deck that describes the project.
4
13
111
For everyone who has asked about the Safer Exceptions paper, here's a link that should work:
It seems there is a way to get open access to ACM papers but you have to go through some other link first.
0
18
111
New iteration of Coursera class Principles of Reactive Programming
starting April 13th. .
@headinthebox
@rolandkuhn
5
204
106
If you know Scala but wonder about how to go about web development, you should read this:
http://t.co/EnXjGTtmvH
1
77
101
"Scaling Scala" - interesting perspective on the state of Scala with lots of data:
2
76
106
New proposal: Allow typeclasses to declare themselves coherent.
0
65
106
How do you use Scala? This question and others are in the Scala Developer Survey.
2
84
102
Perfect complement to yesterday's blog link: See how scalable systems programming is done at Twitter.
http://t.co/iOqpjFNM
0
64
106
My DEVOXX France keynote "Objects and Functions: Conflict without a Cause?" is now published:
http://t.co/7J9aBKNYex
2
76
106
If you know web development and wonder whether there's a better way you should read this:
http://t.co/EnXjGTtmvH
3
93
102
@dsyme
I believe typeclasses and other type level computation have their place but suffer from over-use. I wish there was a way to clearly signal the cost of such overuse, in terms of conceptual complexity or compile times. Too often, over-use is seen as cool instead of problematic,
1
18
100
@fanf42
@SalarRahmanian
@ugobourdon
I am very happy to see where ZIO is going! I am saying this as a non-expert, since I focus more on core language, not so much on concurrency frameworks. But it looks likely to me that ZIO could make great use of virtual threads.
1
30
101