Rafael Varago – Medium

Rafael Varago
in
Adevinta Tech Blog

Pattern-matching without a match

Walk through the techniques we use to encode pattern-matching in Java while exploring some of the latest additions to the language.

10 min readDec 5, 2022

--

1

Pattern-matching without a match

--

1

Rafael Varago

My New Blog at https://rvarago.github.io

I am happy to announce that I host my new blog at https://rvarago.github.io.

1 min readNov 1, 2020

--

--

Rafael Varago
in
EGYM Software Development

Cross-Compiling C++ Projects with dockcross

Cross-compilation has a huge impact on the development of cross-platform C++ embedded software. Let’s see how dockcross can help us.

7 min readOct 2, 2020

--

Cross-Compiling C++ Projects with dockcross

--

Rafael Varago
in
EGYM Software Development

Haunting bugs with phantom types

Phantom types are useful to encode information about how and where values are supposed to be used, which can catch a class of bugs early.

6 min readMay 18, 2020

--

Haunting bugs with phantom types

--

Rafael Varago
in
EGYM Software Development

Property-based Testing in Golang

Testing is an important aspect of software development. Let’s see how Property-based Testing can help us to test our Go programs.

11 min readMar 12, 2020

--

Property-based Testing in Golang

--

Rafael Varago
in
EGYM Software Development

Algebraic Data Types and Data Modelling

Algebraic Data Types bring us yet another interesting way to express concepts in code, let’s see how they could help.

5 min readDec 19, 2019

--

Algebraic Data Types and Data Modelling

--

Rafael Varago

Expressiveness, Nullable Types, and Composition

An introduction to the C++ library absent

1 min readNov 14, 2019

--

--

Rafael Varago
in
EGYM Software Development

Object instantiation, immutability, and expression-oriented style

How to use expression-oriented to handle object instantiation based on conditions without giving up immutability.

7 min readJun 26, 2019

--

Object instantiation, immutability, and expression-oriented style

--

Rafael Varago
in
EGYM Software Development

The beauty of Total Functions

And the advantages of writing APIs that don’t lie to us.

13 min readMay 26, 2019

--

The beauty of Total Functions

--

Rafael Varago
in
EGYM Software Development

A brief introduction to the Algebra of Types

A brief introduction to ADTs, what product and sum types are, and an example where it can help us to avoid some errors before the code…

12 min readMar 22, 2019

--

A brief introduction to the Algebra of Types

--

Rafael Varago

Rafael Varago

Software Engineer interested in C++, Rust, Haskell, Scala, Go, C, Python , Linux, functional programming, system programming, tooling, IoT, cloud, math, etc.

Following

Help
Status
About
Careers
Press
Blog
Privacy
Terms
Text to speech
Teams