Open in app

Sign In

Write

Sign In

James Carlson
James Carlson

126 Followers

Home

About

Oct 6, 2022

Elm + Tauri

Download Scripta Desktop Introduction Want to develop a desktop app with Elm? Use Tauri! Elm is an amazing language for building web apps: a stable platform with no churn, no worries about runtime errors, and best of all, safe refactoring. Even major refactoring of core program structures is something you can…

Elm

5 min read

Elm + Tauri
Elm + Tauri
Elm

5 min read


Jan 15, 2022

Lambda Calculus: an Elm CLI

Introduction The lambda calculus, sometimes described as the world’s smallest programming language, was devised by Alonzo Church in 1932–33 as new foundation for logic. A term (think “phrase”) in the lambda calculus is made up of just three grammatical entities: variables, abstractions, and applications. Variables are things like x, y, z…

Lambda Calc

4 min read

Lambda Calculus: an Elm CLI
Lambda Calculus: an Elm CLI
Lambda Calc

4 min read


Dec 5, 2021

Building Trees with Elm

This post is about trees — the computer science kind, as illustrated in Figure 1 below. Our goal is to see how trees can be derived from text and, conversely, how trees can be turned back into text. …

Trees

5 min read

Building Trees with Elm
Building Trees with Elm
Trees

5 min read


Feb 18, 2021

A Haskell Microservice

The other day I needed a little server app that would receive data as an HTTP request and save it on disk in a specified directory. Each data record consisted of a file path and the the file contents in the form { fileName: String, contents: String } The request…

Haskell

2 min read

A Haskell Microservice
A Haskell Microservice
Haskell

2 min read


Dec 22, 2020

Parser Tooling

For a while now, I’ve been working on a variant/subset of LaTeX which I call MiniLaTeX. The idea is to be able write MiniLaTeX documents in the browser and also to have them rendered there … indeed, to have them rendered in real-time as the user types. Good for writing…

Elm

2 min read

Parser Tooling
Parser Tooling
Elm

2 min read


Nov 6, 2020

LaTeX in the Browser

I’d like to announce the Alpha4 Release of minilatex.lamdera.app, an app for doing LaTeX in the browser—a great way to publish class notes, problem sets, etc., along with many other uses. I’ve used the app a good deal myself, but now, to make it fulfill its purpose, I need feedback…

Tex

2 min read

LaTeX in the Browser
LaTeX in the Browser
Tex

2 min read


Sep 4, 2020

A Typed Lisp in Elm

As a fun exercise, I decided to try to make a Lisp using Elm … not the whole deal, of course, but just a little piece to see what is possible and how one would do it. The result, which I will describe here, is a skeleton of a very…

Lisp

5 min read

A Typed Lisp in Elm
A Typed Lisp in Elm
Lisp

5 min read


May 23, 2020

Running Elm as a Blackbox

The functional programming language Elm is best known for writing web apps. You can also use Elm to write a headless “black box” app that you talk to via the terminal. Here is a sample session:

Programming Languages

3 min read

Running Elm as a Blackbox
Running Elm as a Blackbox
Programming Languages

3 min read


May 6, 2020

Type-checking the Mini-Language Arith in Elm

In a previous post, I discussed an Elm implementation of the mini-language Arith discussed in Benjamin Peirce’s book Types and Programming Languages (TAPL). The implementation provides a parser and an eval function, so we can do things like this: > parse "succ succ 0" Ok (Succ (Succ Zero)) > parse…

Programming Languages

4 min read

Programming Languages

4 min read


Apr 11, 2020

Command Line Interpreters in Elm, Part I

The Elm programming language is best known for building web apps. Turns out, however, that one can also build something quite different: command-line programs like the one you see on the left. It is a simple stack-based calculator. The first command computes 2 + 3 and leaves 5 on the…

Elm

5 min read

Command Line Interpreters in Elm, Part I
Command Line Interpreters in Elm, Part I
Elm

5 min read

James Carlson

James Carlson

126 Followers

jxxcarlson on elm slack, http://jxxcarlson.github.io

Following
  • Hunter Walk

    Hunter Walk

  • John Maeda

    John Maeda

  • Jason Fried

    Jason Fried

  • Freehand by InVision

    Freehand by InVision

  • Erkal Selman

    Erkal Selman

Help

Status

Writers

Blog

Careers

Privacy

Terms

About

Text to speech