DEV Community 👩‍💻👨‍💻

Mike Solomon profile picture

Mike Solomon

Making machines that make machines believe the machines they make are other machines.

Location Helsinki Joined Joined on  github website

Work

C.E.O. at Meeshkan

Lifting continuations

Lifting continuations

Reactions 1 Comments
9 min read
The Zora Monad

The Zora Monad

Reactions 4 Comments
5 min read
A Pure Implementation of the ST Monad

A Pure Implementation of the ST Monad

Reactions 3 Comments
5 min read
The denotational semantics of server-side rendering

The denotational semantics of server-side rendering

Reactions 4 Comments 2
11 min read
Metapolymorphic providers

Metapolymorphic providers

Reactions 6 Comments
12 min read
Horizontal and vertical events

Horizontal and vertical events

Reactions 9 Comments 1
13 min read
The PureScript 2022 Survey is LIVE - Go fill it out!

The PureScript 2022 Survey is LIVE - Go fill it out!

Reactions 6 Comments
1 min read
Incrementally Adopting PureScript in a JavaScript Web Application

Incrementally Adopting PureScript in a JavaScript Web Application

Reactions 5 Comments
3 min read
Wicked audio feedback loops in the browser with PureScript

Wicked audio feedback loops in the browser with PureScript

Reactions 6 Comments
3 min read
Announcing purescript-wags: a library for rendering web audio

Announcing purescript-wags: a library for rendering web audio

Reactions 4 Comments
3 min read
How monads encapsulate side effects

How monads encapsulate side effects

Reactions 10 Comments
5 min read
frontend = comonad, backend = monad

frontend = comonad, backend = monad

Reactions 7 Comments 1
3 min read
My brief rendez-vous with fp-ts

My brief rendez-vous with fp-ts

Reactions 10 Comments 3
12 min read
Some thoughts on dependent types

Some thoughts on dependent types

Reactions 5 Comments
20 min read
Modeling asynchronous transactions with types — Part 4

Modeling asynchronous transactions with types — Part 4

Reactions 4 Comments
9 min read
Modeling asynchronous transactions with types — Part 3

Modeling asynchronous transactions with types — Part 3

Reactions 5 Comments
4 min read
Modeling asynchronous transactions with types — Part 2

Modeling asynchronous transactions with types — Part 2

Reactions 6 Comments
7 min read
Modeling asynchronous transactions with types — Part 1

Modeling asynchronous transactions with types — Part 1

Reactions 2 Comments 2
3 min read
Dead-simple graphql with typeclasses and functional dependencies

Dead-simple graphql with typeclasses and functional dependencies

Reactions 5 Comments
5 min read
Exponential backoff with indexed monads

Exponential backoff with indexed monads

Reactions 8 Comments
5 min read
Freeing Free Monads with Free ADTs

Freeing Free Monads with Free ADTs

Reactions 9 Comments
9 min read
Piloting Puppeteer with PureScript - Part 1

Piloting Puppeteer with PureScript - Part 1

Reactions 5 Comments 1
3 min read
Piloting Puppeteer with PureScript - Part 3

Piloting Puppeteer with PureScript - Part 3

Reactions 6 Comments
7 min read
Piloting Puppeteer with PureScript - Part 2

Piloting Puppeteer with PureScript - Part 2

Reactions 1 Comments
3 min read
Composing readers

Composing readers

Reactions 3 Comments 1
4 min read
A quick writeup on rendering video to an HTML5 canvas

A quick writeup on rendering video to an HTML5 canvas

Reactions 4 Comments
2 min read
Functions as data as functions - a quick memoization hack

Functions as data as functions - a quick memoization hack

Reactions 1 Comments
2 min read
Amazing animations using the Reader monad

Amazing animations using the Reader monad

Reactions 5 Comments
5 min read
PureScript cuica on klank.dev

PureScript cuica on klank.dev

Reactions 5 Comments
5 min read
2020 Election Mix in the browser

2020 Election Mix in the browser

Reactions 1 Comments
4 min read
Introduction to type-safe graphs

Introduction to type-safe graphs

Reactions 4 Comments
4 min read
klank.dev - audio sandbox in the browser

klank.dev - audio sandbox in the browser

Reactions 28 Comments 2
4 min read
A novel way to approach digital audio

A novel way to approach digital audio

Reactions 10 Comments
9 min read
Reviving the Dhall API discussion

Reviving the Dhall API discussion

Reactions 4 Comments
8 min read
Four reasons that PureScript is your best choice to build a server in 2020

Four reasons that PureScript is your best choice to build a server in 2020

Reactions 19 Comments 2
5 min read
Functional GraphQL 1 - Specs and typelevel parsing

Functional GraphQL 1 - Specs and typelevel parsing

Reactions 6 Comments
7 min read
When to start thinking about QA

When to start thinking about QA

Reactions 5 Comments
8 min read
Type-safe rationals in PureScript - why, what, and how

Type-safe rationals in PureScript - why, what, and how

Reactions 1 Comments
7 min read
Profunctors are everywhere!

Profunctors are everywhere!

Reactions 11 Comments
18 min read
Extension types in TypeScript

Extension types in TypeScript

Reactions 8 Comments 1
4 min read
Kotlin tests and user stories

Kotlin tests and user stories

Reactions 9 Comments 1
2 min read
Three reasons to avoid using real web APIs in your integration tests

Three reasons to avoid using real web APIs in your integration tests

Reactions 7 Comments
5 min read
We're open-sourcing our webapp

We're open-sourcing our webapp

Reactions 8 Comments
4 min read
Introducing plzwrk - A Haskell front-end framework

Introducing plzwrk - A Haskell front-end framework

Reactions 14 Comments
5 min read
Stateful property-based testing with QuickCheck State Machine

Stateful property-based testing with QuickCheck State Machine

Reactions 11 Comments
12 min read
TypedDict vs dataclasses in Python — Epic typing BATTLE!

TypedDict vs dataclasses in Python — Epic typing BATTLE!

Reactions 18 Comments 1
9 min read
On-device mocking of REST APIs in React Native

On-device mocking of REST APIs in React Native

Reactions 19 Comments
4 min read
Getting started with the HTTP Mocking Toolkit

Getting started with the HTTP Mocking Toolkit

Reactions 8 Comments
5 min read
Announcing the HTTP Mocking Toolkit

Announcing the HTTP Mocking Toolkit

Reactions 8 Comments
6 min read
Comparing Prism, Hoverfly, and HMT- Part 1

Comparing Prism, Hoverfly, and HMT- Part 1

Reactions 7 Comments
4 min read
Comparing Prism, Hoverfly, and HMT- Part 2

Comparing Prism, Hoverfly, and HMT- Part 2

Reactions 6 Comments 1
7 min read
Introducing HTTP types

Introducing HTTP types

Reactions 8 Comments
2 min read
unmock vs nock - comparing two JS mocking frameworks

unmock vs nock - comparing two JS mocking frameworks

Reactions 8 Comments
5 min read
How To Buy a Digital Twin

How To Buy a Digital Twin

Reactions 8 Comments
54 min read
Let It Snow!

Let It Snow!

Reactions 13 Comments 4
5 min read
Mocking the internet in a CircleCI pipeline

Mocking the internet in a CircleCI pipeline

Reactions 6 Comments
5 min read
loading...