Michel Charpentier – Medium

Michel Charpentier

Featured Book

Functional and Concurrent Programming: Core Concepts and Features

Functional and Concurrent Programming: Core Concepts and Features

This book introduces a core set of programming language constructs that help developers be productive in a variety of programming languages.

2022

Michel Charpentier

Michel Charpentier

Stories

Michel Charpentier
in
Better Programming

How to Uglify Scala Code to Make It Run Faster

An experiment in simple profiling

8 min readFeb 27, 2023

--

The tortoise and the hare

--

Michel Charpentier
in
Better Programming

Functional Programming Without “break” and “return”

How to overcome your “break" and “return” addiction and embrace a truly functional programming style

7 min readJan 12, 2023

--

2

Functional Programming Without “break” and “return”

--

2

Michel Charpentier
in
Level Up Coding

Debugging Concurrent Systems with a Model Checker

When tests are not enough, use formal methods!

16 min readDec 20, 2021

--

Debugging Concurrent Systems with a Model Checker

--

Michel Charpentier
in
Level Up Coding

Programming L-Systems in PostScript

Using printers to run recursive functions

6 min readDec 20, 2021

--

1

Dragon

--

1

Michel Charpentier
in
Level Up Coding

Generics and Wildcards in Java

What the <? extends T<? super U>>? — On generics and wildcards in Java (a.k.a., parametric polymorphism, type bounds, type variance)

7 min readJul 16, 2020

--

1

Generics and Wildcards in Java

--

1

Michel Charpentier
in
Level Up Coding

On Lambdas, Anonymous Classes and Serialization in Java

or, yet another reason to use lambdas

7 min readJan 13, 2020

--

2

On Lambdas, Anonymous Classes and Serialization in Java

--

2

Michel Charpentier
in
Level Up Coding

A Java Parallel Server Through the Ages

From threads to thread pools to Future to CompletableFuture

8 min readDec 2, 2019

--

2

From past to future

--

2

Michel Charpentier

Michel Charpentier

Book Author

Learning and teaching programming, especially Java/Scala, with a focus on concurrency, functional programming and formal verification.

Following

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