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

Hacking

Five Year Club
Writing Debut
Four Year Club
Three Year Club
Two Year Club
8 Week Writing Streak
One Year Club
4 Week Writing Streak
Dependent Types in PureScript

Dependent Types in PureScript

2
Comments 1
8 min read

Want to connect with Mike Solomon?

Create an account to connect with Mike Solomon. You can also sign in below to proceed if you already have an account.

Already have an account? Sign in
A poll: hot events or applicatives? Choose two!

A poll: hot events or applicatives? Choose two!

2
Comments
15 min read
Events are best served hot

Events are best served hot

6
Comments
9 min read
A new definition of Behavior

A new definition of Behavior

4
Comments
11 min read
A fresh take on free monads

A fresh take on free monads

4
Comments
9 min read
Building Mystery Mansion Madness without a UI Framework

Building Mystery Mansion Madness without a UI Framework

3
Comments 2
7 min read
Lifting continuations

Lifting continuations

1
Comments
9 min read
The Zora Monad

The Zora Monad

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

A Pure Implementation of the ST Monad

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

The denotational semantics of server-side rendering

4
Comments 2
11 min read
Metapolymorphic providers

Metapolymorphic providers

6
Comments
12 min read
Horizontal and vertical events

Horizontal and vertical events

14
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!

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

Incrementally Adopting PureScript in a JavaScript Web Application

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

Wicked audio feedback loops in the browser with PureScript

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

Announcing purescript-wags: a library for rendering web audio

4
Comments
3 min read
How monads encapsulate side effects

How monads encapsulate side effects

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

frontend = comonad, backend = monad

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

My brief rendez-vous with fp-ts

10
Comments 3
12 min read
Some thoughts on dependent types

Some thoughts on dependent types

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

Modeling asynchronous transactions with types — Part 4

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

Modeling asynchronous transactions with types — Part 3

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

Modeling asynchronous transactions with types — Part 2

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

Modeling asynchronous transactions with types — Part 1

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

Dead-simple graphql with typeclasses and functional dependencies

5
Comments
5 min read
Exponential backoff with indexed monads

Exponential backoff with indexed monads

8
Comments
5 min read
Freeing Free Monads with Free ADTs

Freeing Free Monads with Free ADTs

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

Piloting Puppeteer with PureScript - Part 1

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

Piloting Puppeteer with PureScript - Part 3

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

Piloting Puppeteer with PureScript - Part 2

1
Comments
3 min read
Composing readers

Composing readers

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

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

Functions as data as functions - a quick memoization hack

1
Comments
2 min read
Amazing animations using the Reader monad

Amazing animations using the Reader monad

5
Comments
5 min read
PureScript cuica on klank.dev

PureScript cuica on klank.dev

5
Comments
5 min read
2020 Election Mix in the browser

2020 Election Mix in the browser

1
Comments
4 min read
Introduction to type-safe graphs

Introduction to type-safe graphs

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

klank.dev - audio sandbox in the browser

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

A novel way to approach digital audio

10
Comments
9 min read
Reviving the Dhall API discussion

Reviving the Dhall API discussion

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

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

Functional GraphQL 1 - Specs and typelevel parsing

6
Comments
7 min read
When to start thinking about QA

When to start thinking about QA

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

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

1
Comments
7 min read
Profunctors are everywhere!

Profunctors are everywhere!

14
Comments 2
18 min read
Extension types in TypeScript

Extension types in TypeScript

8
Comments 1
4 min read
Kotlin tests and user stories

Kotlin tests and user stories

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

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

We're open-sourcing our webapp

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

Introducing plzwrk - A Haskell front-end framework

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

Stateful property-based testing with QuickCheck State Machine

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

TypedDict vs dataclasses in Python — Epic typing BATTLE!

26
Comments 3
9 min read
On-device mocking of REST APIs in React Native

On-device mocking of REST APIs in React Native

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

Getting started with the HTTP Mocking Toolkit

8
Comments
5 min read
Announcing the HTTP Mocking Toolkit

Announcing the HTTP Mocking Toolkit

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

Comparing Prism, Hoverfly, and HMT- Part 1

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

Comparing Prism, Hoverfly, and HMT- Part 2

6
Comments 1
7 min read
Introducing HTTP types

Introducing HTTP types

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

unmock vs nock - comparing two JS mocking frameworks

8
Comments
5 min read
How To Buy a Digital Twin

How To Buy a Digital Twin

8
Comments
54 min read
loading...