tomas_mikula's profile picture. Into functional programming. Lifelong learner.

Tomas Mikula

@tomas_mikula

Into functional programming. Lifelong learner.

Tomas Mikula أعاد

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…

kitlangton's tweet image. 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…
kitlangton's tweet image. 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…
kitlangton's tweet image. 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…



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…



Tomas Mikula أعاد

the latest in gc technology is to just have chat track which values can be freed or not


Tomas Mikula أعاد

@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

kubukoz's tweet image. @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
kubukoz's tweet image. @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
kubukoz's tweet image. @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
kubukoz's tweet image. @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

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

tomas_mikula's tweet image. 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
tomas_mikula's tweet image. 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
tomas_mikula's tweet image. 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
tomas_mikula's tweet image. 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


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

tomas_mikula's tweet image. 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
tomas_mikula's tweet image. 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
tomas_mikula's tweet image. 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
tomas_mikula's tweet image. 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

A new (this time successful) recording by @FunctionalWorld is now available: youtube.com/watch?v=YZZtca…

tomas_mikula's tweet image. A new (this time successful) recording by @FunctionalWorld is now available:

youtube.com/watch?v=YZZtca…

Slides from my @ScalaIO_FR talk Repurposing Scala's Pattern Matching for Deeply Embedded DSLs are now available: continuously.dev/presentations/…



Tomas Mikula أعاد

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: scalac.io/functional-wor…


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: continuously.dev/presentations/…



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.


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 …


Slides from my @ScalaIO_FR talk Repurposing Scala's Pattern Matching for Deeply Embedded DSLs are now available: continuously.dev/presentations/…

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.



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 scala.io



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*. scala.io/sessions/paris…


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 youtube.com/watch?v=JpExHB…

tomas_mikula's tweet card. Otto Šimko (Shimko pron) Slovak hero who surrvived Holocaust,

youtube.com

YouTube

Otto Šimko (Shimko pron) Slovak hero who surrvived Holocaust,


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



Loading...

Something went wrong.


Something went wrong.