Miles Sabin
@milessabin
Followers
9,029
Following
733
Media
769
Statuses
25,484
Partner @underscoreio , @Typelevel cofounder. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Internationalist.
Brighton, UK
Joined April 2009
Don't wanna be here?
Send us removal request.
Explore trending content on Musk Viewer
Oasis
• 537184 Tweets
SB19 GRACES BILLBOARD KOREA
• 422537 Tweets
Switch
• 254036 Tweets
Shadow
• 184559 Tweets
#SonicMovie3
• 150839 Tweets
ニンダイ
• 98382 Tweets
#西園寺さんは家事をしない
• 58340 Tweets
#GMMTVLiveHouse
• 34298 Tweets
Toney
• 30407 Tweets
アトリエ
• 28155 Tweets
インディー
• 26589 Tweets
グレイセス
• 22276 Tweets
#NintendoDirect
• 17783 Tweets
ときメモ
• 17537 Tweets
ときメモ
• 17537 Tweets
ドラえもん
• 15929 Tweets
幻想水滸伝
• 11153 Tweets
Pinned Tweet
You can find me here ...
Threads:
Mastodon:
Bluesky:
0
0
3
Finally! The e-reader/paper notepad replacement I've been waiting for! Onyx Boox 10.3 ...
20
22
191
Work in progress on implicit resolution preserves the orders of magnitude speedups for large inductions I was bragging about last year, but is dramatically simpler and applies across the board. Currently seeing speedups for shapeless test:compile from 140s down to 80s!
#Scala
9
21
170
This is something I've wanted to see for a very long time ... independence from the
#Scala
standard library:
2
42
164
One last heave and it's over the line! By-name implicits with recursive dictionaries just landed for
#Scala
2.13.x! 🎉 .
2
48
155
Huuuge compile time speedups for real world
#shapeless
projects have landed in
#Scala
2.12.7 ... this user reports an 8x speedup!
3
42
146
Literal types for
#Scala
merged at last! . Full details in the SIP: . Thanks to
@lightbend
for their support. Also thanks to
@adriaanm
for shepherding this and
@folone
for the initial work.
2
42
134
Everything you wanted to know about
#shapeless
but were afraid to ask ... courtesy of
@davegurnell
#scala
0
59
126
The devil will undoubtedly be in the details, but I think I can work with this new
#Scala
type-level programming proposal from
@odersky
.
#shapeless
will changed out of all recognition ... Good Times 🙂
1
23
120
This looks handy: "Java agent to detect blocking calls from non-blocking threads" .
3
26
114
5
35
110
More Dotty^wScala 3 features landing in
#Scala
2.13.x ... contravariant implicit resolution now works the way everyone thinks it should. Enable with `-Xsource:3.0`:
3
28
110
6
19
108
Cats 1.0.0 released! This is wonderful news for functional programming in
#Scala
...
The Cats maintainer team is proud to announce the Cats 1.0.0 release.
We'll help our ecosystem libraries to update to this version in the following days.
Again, thanks so much to our 190 contributors and all our users!
Happy holidays!
2
146
223
1
41
105
OH: "I discovered test cases that had so many lines of mocking that no-one had noticed that the actual test code had been factored out ..."
4
107
103
#Scala
relicensed to Apache 2.0 (from a hybrid of three clause BSD with an Apache 2.0 derived CLA) ... delighted to see this happen at last:
0
39
99
New scalac PR: much faster compile times for shapeless-based type class derivation coming soon!:
#Scala
#shapeless
.
3
61
89
Categories for the Working Mathematician available as a pdf direct from Springer!?!
1
41
86
Advanced
#Scala
with Cats book by
@underscoreio
's
@davegurnell
and
@noelwelsh
now open source:
#scaladays
0
57
82
Significant speedups for inductive implicit resolution backported to
#Scala
2.12.x here: with instructions on how to try it out with your project. If you use shapeless-based type class derivation I'd love to hear how it works for you!
0
24
82
OH: "I get this compiler error." ... "In Intellij or in real life?"
5
42
80
SI-2712 fix merged for
#Scala
2.12! Community contributions to Scala can make a huge difference ... more wanted!
2
64
80
Just in time for the new year! Published
#shapeless
2.3.3 for
#Scala
2.10.7, 2.11.12, 2.12.4 and 2.13.0-M2 for JVM/JS and for 2.11.12 for Scala Native. Release notes here: .
1
31
80
Today seems like a great day to reveal that I have a small bust of Marx on my desk for rubber ducking ...
6
4
77
How much interest would there be in a community sponsored fork of the
#Scala
toolchain? RTs and fav's please.
11
75
78
There are a _huge_ number of type inference improvements coming down the line for
#Scala
2.13, all improving alignment with Dotty^wScala 3 ... this is going to be a good one :-)
1
17
80
-Ypartial-unification is dead! Long live partial unification by default!
1
21
78
1
34
71
Announcing
@typelevel
#Scala
2.12.1: fast implicits, kind polymorphism, literal/infix types, commas & exhaustivity:
3
61
69
OH (in discussion of programming fonts): "I like Comic Sans, because it's consistent with the code I usually end up working with."
3
18
60
Wow! That was fast! Recording of my talk
@scaladays
on type class derivation in
#Scala
3 and shapeless 3 is up already!
2
9
63
Many thanks to
@lightbend
for sponsoring my work on this ...
1
5
62
1
33
60
0
9
59
SIP 23 - Literal-based Singleton Types for gets a long overdue update in the light of experience with the implementation in
@typelevel
#Scala
: . Many thanks to
@lightbend
for supporting this work!
1
14
59
Great example of language design being driven by the real world experience of the
#Scala
FP community. We need more of this ...
0
24
59
Amoral, narcissistic, wannabe conflict entrepreneur and now, apparently ... typo squatter. What next from this ridiculous buffoon?
1
5
56
HUGE improvements in the implicit resolution rules for Dotty^wScala 3 just landed: . See for background and for my reaction 🎉
#Scala
🎉
2
16
54
Note to self: next compiler bug, instead of spending days on elaborate workarounds, first try fixing the damn bug in the compiler.
#Scala
2
18
53
Great JVM heap/GC analysis tool from
@fommil
. This is a trace of scalac compiling some fairly vanilla
#Scala
:
http://t.co/2shKIapGVz
0
28
55
Discovered yesterday that I've been travelling on half price train/metro/bus tickets because the app was using my registration date as my date of birth. Apparently 18 month olds have Visa cards and travel unaccompanied in Switzerland 🙃
6
2
53
Photos from the Berlin
@typelevel
and Scala contributors summit ... if it looks like we had a great time, that's because we did 🙂
0
16
52
My oldest electronic device: used regularly since 1981 ... maybe 10 years since I last changed the battery :-)
5
1
53
4
30
51
Cats 1.0 almost there ... all wlecome to help us get it over the finishing line:
#Scala
/cc
@typelevel
1
26
50
Fascinating talk on formalizing mathematics in Lean by Kevin Buzzard: . Worth a listen, if only for a sense of how uninterested many "real mathematicians" are in formal proof, and in particular machine proofs of fifty year old theorems.
1
11
49
OH: "BitCoin is mined by a process I like to call 'proof of electricity bill'"
0
8
45
0 to PR in an hour: a writeup of working with the
#Scala
compiler's SBT build using my SI-2712 fix as an example:
1
45
48
Video from my talk
@workday
for the Dublin
#Scala
Users Group on
#shapeless
type class derivation now available:
1
21
43
It looks like the first I hear about any interesting new
#Scala
library/tool release these days is
@ScalaSteward
sending me an update PR.
0
1
43
For
#Java
people who see this and aren't aware of nature of generic programming in
#Scala
, this is completely type safe: precise types are inferred and preserved ...
1
20
43