Tomas Mikula
@tomas_mikula
Followers
788
Following
7K
Media
50
Statuses
2K
Into functional programming. Lifelong learner.
London
Joined September 2008
Good code is hard to vary. Without the compiler slapping you back, that is. (Not so) surprisingly, code that's hard to vary is easy to evolve.
0
0
0
My final post on Jon's final post. Either Mr. Pretty is fabricating these recollections and transcripts to a Dostoevskian degree of verisimilitude—which, though possible, is falsifiable and, thus far, has only been corroborated—or his accusers have bent the truth into an
This is my tenth and final post of evidence refuting the allegations about a relationship that ended my career four years ago. I address six alleged "incidents", which were made to look like "harassment" after my ex asked to cut off all contact. But all six were just ordinary
6
14
80
Is this bit true, @scala_lang Center, @darjutak? > the Scala Center's director decided to label me "clinically insane" for reporting harassment.
Taking a break from Scala development Despite contributing to the Scala ecosystem for over a decade now, speaking at several conferences, two Scala Days, building Quill and more recently Kyo, I still face exclusion because the Scala Center's director decided to label me
2
2
20
the latest in gc technology is to just have chat track which values can be freed or not
0
2
4
@tomas_mikula presenting a very cool library, but most importantly explaining some design decisions behind it - really insightful talk about library API design in modern Scala! @scaladays
0
4
12
Thrilled to announce that I'll be speaking about the JING way at @scaladays 2025 in Lausanne!
Scala superpower unlocked: Spec-first APIs *without* a separate codegen pass. ⚡Just Import 'N' Go!⚡ Typesafe and IDE assisted. Pictured is my prototype for OpenAPI, but can be done for GraphQL, Smithy, Protobuf/gRPC, Avro, ... #Scala #Metaprogramming #OpenAPI
1
2
19
The code is at
github.com
Typesafe, spec-first APIs without codegen. Just Import 'N' Go! - TomasMikula/jing
Scala superpower unlocked: Spec-first APIs *without* a separate codegen pass. ⚡Just Import 'N' Go!⚡ Typesafe and IDE assisted. Pictured is my prototype for OpenAPI, but can be done for GraphQL, Smithy, Protobuf/gRPC, Avro, ... #Scala #Metaprogramming #OpenAPI
3
5
21
Scala superpower unlocked: Spec-first APIs *without* a separate codegen pass. ⚡Just Import 'N' Go!⚡ Typesafe and IDE assisted. Pictured is my prototype for OpenAPI, but can be done for GraphQL, Smithy, Protobuf/gRPC, Avro, ... #Scala #Metaprogramming #OpenAPI
3
16
86
A new (this time successful) recording by @FunctionalWorld is now available: https://t.co/JG3NPWnENH
Slides from my @ScalaIO_FR talk Repurposing Scala's Pattern Matching for Deeply Embedded DSLs are now available: https://t.co/JVOLKv4hd3
0
0
10
Ready to push pattern matching to the next level? @tomas_mikula will show you how to repurpose Scala’s pattern matching for deeply embedded DSLs - without compiler modifications or macros. Check out the details: https://t.co/q0s2gGfmj8
0
1
3
Unfortunately, due to technical failures, the conference recording is missing ~15 mins in the middle of my talk, and has no slide synchronization. I might need to re-record the talk myself 😮💨
Slides from my @ScalaIO_FR talk Repurposing Scala's Pattern Matching for Deeply Embedded DSLs are now available: https://t.co/JVOLKv4hd3
1
0
1
Just like we have embraced Automatic Memory Management for most use cases, we will embrace Automatic Concurrency Management when programming languages make it a reality. No more manual thread/actor management.
0
0
4
OPEN TO WORK London/remote FP in Scala, or a related field 🙂 Dear Twitterverse, I'll be moving to London (for my wife to pursue a career opportunity), which means I am now search a job there. Appreciate if you share a job opening with me, or retweet for reach. Yours truly …
3
26
44
Slides from my @ScalaIO_FR talk Repurposing Scala's Pattern Matching for Deeply Embedded DSLs are now available: https://t.co/JVOLKv4hd3
I heard you like making Illegal States Unrepresentable. What about making Non-exhaustive Pattern Matching Unrepresentable in the AST? That and more in my @ScalaIO_FR talk this Thursday.
2
6
18
I heard you like making Illegal States Unrepresentable. What about making Non-exhaustive Pattern Matching Unrepresentable in the AST? That and more in my @ScalaIO_FR talk this Thursday.
Can’t make it to #ScalaIO? We have streaming tickets! Don’t miss: Performance: when to betray your functional programming principles by @GaelRenoux Computer algebra in Scala by @raphaeljolly Pattern Matching for Deeply Embedded DSLs by @tomas_mikula
https://t.co/Bettm6sOOG
0
4
14
I'm pleased that there'll be no less than 3 talks dedicated to DSLs at @ScalaIO_FR , incl. @NicolasRinaudo's keynote. Mine is about pimping up your DSL with pattern matching which reads almost like Scala's, but constructs a reified AST of your *DSL*. https://t.co/7jKmZbOH1C
scala.io
Scala.IO is a conference for people having interest in the Scala ecosystem or simply being curious about the language, usages
0
8
14
What a figure! 1944: Joins Slovak National Uprising against the nazi-collaborating government. 2024: Raises funds for Ammo for Ukraine, despite a Russia-appeasing government. "Aggressor cannot be negotiated with. He must be defeated." @MierUkrajine
https://t.co/Av1mnLRtfo
0
0
3
Now, I still want a powerful meta-programming system. I just don't ever want to deal with trees of the host language. 🤷♂️
My a priori position was STAY AWAY FROM SCALA MACROS. After ~2 months of playing with them, my position is still STAY AWAY FROM SCALA MACROS. 1/n
0
0
6
Anyway, I was working patiently through all of the above. Now I stand before the next challenge: a type-changing (i.e. necessarily transparent) transform of a recursive function. I'm afraid that this will be the straw that's going to break the camel's back. 🤷♂️ 10/10
1
0
1