const app = {
lines: document.getElementById('lines'),
textbox: createTextbox(),
lineTemplate: createLineTemplate(),
}

const socket = connect(
`ws://${location.host}/app`,
{

initial({ lines, uuid, charLimit }) {
app.uuid = uuid
app.charLimit = charLimit
lines.forEach(addLine)
},

added(line) {
addLine(line)
},

removed(i) {
app.lines.children[i].remove()
},

server.onclose = (ws) => {
if (ws.line) {
const i = lines.indexOf(ws.line)
lines.splice(i, 1)
server.sendToAll({ removed: i })
}
}

server.commands = {

begin(ws) {
const line = {
hash: ws.hash,
uuid: ws.uuid,
text: '',
}

ws.line = line
lines.push(line)
server.sendToAll({ added: line })
},

run() {
console.log(`Running on port ${this.port}`)

this.wss = new WebSocket.Server({
port: this.port,
verifyClient: this.verify.bind(this)
})

setInterval(
this.prune.bind(this),
this.pruneInterval * 1000
)

this.wss.on(
'connection',
this.connection.bind(this)
)
}

Steven Degutis

Full-stack software developer for hire

Notes on Haskell Extensions

March 16, 2015 — 2 years ago

Copied with permission from this reddit post.

I'm afraid you won't get around learning some extensions if you want to become really productive in Haskell, at least if you plan to read other people's code. From what I can tell, the community has moved a fair bit away from Haskell2010, and many extensions are considered more or less par for the course. I'll try to give a super-brief overview over some of them; details can be found in the GHC users' guide and on various Haskell blogs.

Record Puns and Record Wildcards make dealing with big records quite a bit more pleasant by adding syntactic sugar for pattern matching. This is never strictly necessary, but can save you a lot of typing in certain domains.

Tuple Sections add the ability for tuple constructors to be partially applied. This reduces syntactic clutter very slightly, but it's not very hard to implement either (from what I can tell).

Multi-Way If enables more compact if expressions. I haven't personally felt the need for it, but your mileage may vary.

Pattern Guards, View Patterns and Pattern Synonyms make handling patterns a lot nicer. I don't have much experience with these but have heard nice things about them.

Empty Data Declarations is a no-brainer and simply allows you to have data types without constructors. This can be useful, for example, if you just want to have a type-level 'tag' that distinguishes different types from each other.

Liberal Type Synonyms, Flexible Instances and Flexible Contexts are generally harmless and basically lift a bunch of somewhat arbitrary restrictions that used to be necessary for implementation reasons (I think).

Overloaded Strings and Overloaded Lists allow you to use the builtin syntax for string and list literals for 'string-like' and 'list-like' things. For example, you can use the literal "I am a text!" as a Text value. In literal-heavy code, this can reduce syntactic clutter to a certain degree, and these extensions shouldn't be a major portability issue.

Bang Patterns provide a bit of syntactic sugar for 'strictifying' data. As far as I can tell, they are a no-brainer if you find yourself writing seq too much.

Typed Holes are a nice development aid that makes the compiler tell you what types it expects for code that you have yet to write. I don't personally use them, but some people swear by them.

Scoped Type Variables are uncontroversial and very useful if you like to give functions in where or let clauses type signatures.

Rank-N polymorphism is a pretty well-established type system extension which I find difficult to distil down to a quick explanation. The ST monad prominently uses it to increase type safety.

Multi-Parameter Type Classes are very useful and many libraries (most prominently perhaps mtl) require them. Very informally speaking, where normal type classes talk about the properties of a single data type, multi-param type classes allow you to specify relations between multiple data types. The simplest example of their use is probably Convertible from the convertible package. Functional Dependencies are a related extension that is in many cases required to make multi-param type classes work properly.

Existential Types are a relatively old and portable extension of the type system. Their primary use case are perhaps heterogeneous collections: When you want to have a list of things that are all instances of a common type class but don't have the same type, existentials are your friend.

Generalised Algebraic Data Types are one of the bigger extensions to the type system, but they seem to be seeing a fair amount of usage. Basically, a GADT allows constructors for a type T a to return values with more specific types substituted for a, such as T Int, T String, etc. Ordinarily, all constructors would have to return values of type T a.

Type Families are, as far as I'm aware, the most recent big addition to the type system. They are a bit of a complex beast, but enable a large amount of type-level programming, especially together with other experimental-ish extensions like Data Kinds and Type-Level Literals. At their core, type families are simply type-level functions.

Template Haskell is simultaneously controversial and being adopted quite rapidly. It enables compile-time metaprogramming (i.e. generating Haskell source code programmatically), which projects such as Yesod or Lens use to cut down syntactic clutter significantly. Be aware, though, that TH comes with a bunch of as-yet unsolved problems with regards to cross-compilation and such.

Generalised Newtype Deriving is a conceptually very straightforward extension: for a newtype defined as newtype NT = NT X, it lets you derive all the type classes that X is an instance of. This can reduce boilerplate massively in certain situations, but unfortunately the extension also has a very spotty history of long-standing bugs that could be used to circumvent the type system. Roles are an attempt to tame these problems, but they come with their own set of complexities.

All in all, I'd say don't hesitate too much on the quality-of-life syntactic stuff discussed towards the top of the list -- you'll be able to refactor it out again relatively easy anyway, should the need arise -- as well as the established type system stuff (MultiParamTypeClasses, FunctionalDependencies, RankNPolymorphism, ExistentialQuantification). Do be a bit more wary of GADTs, Type Families and Template Haskell.


Empty data declarations are standard in Haskell 2010, IIRC


Pattern Guards are part of Haskell 2010 as well afaik


Don't forget LambdaCase, which is a handy bit of syntactic sugar that went in along with MultiWayIf

About me

My name is Steven Degutis, and I've been writing software professionally for almost a decade. During that time, I've written many apps and websites, quite a few techical articles, and kept up-to-date with the rapidly evolving software industry.

If you have software needs for web, mobile, or desktop, and are looking for a seasoned software professional, please reach out to me at sbdegutis@gmail.com to set up a phone call.

Work Experience

  • Self-employed – present
  • Clean Coders – 5 years
  • 8th Light – 2 years
  • Big Nerd Ranch – 1 year
  • Self-employed - 1 year

Platforms

  • Web: full-stack
  • iOS (UIKit)
  • macOS (Cocoa)
  • REST APIs
  • AWS / EC2 / ELB

Languages

  • JavaScript
  • HTML5 / CSS
  • Swift
  • Objective-C
  • Clojure

Frameworks

  • Node.js
  • Express.js
  • React
  • Vue.js
  • Electron

Technical articles

Over the past decade, I've written a total of 169 technical articles on various programming languages, frameworks, best practices, and my own projects, as I kept up-to-date and active in the software industry.

Subscribe via RSS / Atom.

Chronological

Portfolio

Here are some of the projects I'm most proud of. They were created using a variety of technologies, running on several different platforms and OSes. They're all finished products, and many of them are open source.

CleanCoders.com

Website - Online Video Store

I wrote this web store for Robert "Uncle Bob" Martin, using Clojure for the back-end, and JavaScript for the front-end. Over the course of 5 years, I took the site from a simple three-page website to a full enterprise-ready business solution, with nearly 100% test coverage.

  • Clojure
  • Datomic
  • jQuery / D3.js
  • JavaScript
  • ClojureScript

Docks

macOS app - Dock Utility

I made Docks in 2009 for users who wanted to swap out icons in their Dock with a single click. Its unique functionality and design aesthetic attracted the attention of Apple, Engadget, MacWorld, and led to an acquisition of my start-up by Big Nerd Ranch.

  • Apple.com Staff Pick
  • MacWorld 4/5 Rating
  • MacWorld Gem of the Year
  • Featured on Engadget.com

Leviathan

macOS app - Clojure IDE

Source Code

While working on CleanCoders.com, a website written completely in Clojure, I increased my productivity by building a custom IDE for macOS designed specifically for Clojure projects.

  • Objective-C
  • Clojure
  • C / C++
  • Cocoa
  • Themeable

Zephyros

macOS app - Hackable Automation

Source Code

This began as an experiment to see how many languages I could use to script a custom macOS window manager using our custom TCP protocol. Eventually it had bindings for Clojure, Ruby, Python, Go, JavaScript, CoffeeScript, Node.js, Chicken Sceme, and Racket, as well as other community additions.

  • TCP / Unix sockets
  • Custom protocol
  • Highly Scriptable
  • 10+ language bindings
  • Open source community

Bubble Maker

iOS app - Bubble simulator

This toy was made in a weekend to entertain my 1 year old daughter. It lets you create bubbles with your fingers, which then simulate physics by bumping into each other and falling.

  • SpirteKit
  • Custom art
  • Physics simulation
  • iOS
  • tvOS

Quick List

iOS app - Todo list app

When I couldn't find an app in the App Store that let me make very simple lists extremely quickly, I made one myself. I use it almost every day to organize and track my activities.

  • In-app purchases
  • Custom UI / UX
  • Social media
  • App Store artwork
  • Spring animations

sdegutis.com

Website - Personal Portfolio

Source Code

This very site itself was written from scratch in about a day. It uses best practices for modern responsive web design, and a custom build phase to compile the sources into a single HTML file.

  • Node.js
  • Pug / Jade
  • LessCSS
  • HTML5
  • WebSockets

2048

Java app - Game

Source Code

The game 2048 (created by Gabriele Cirulli) is so fun that my kids wanted their own copy. So I wrote this version in Java 8, using JavaFx for attractive graphics and silky smooth animations.

  • Java 8
  • JavaFx
  • Modular code
  • Customizable
  • Animations

Mjolnir

macOS app - Window Manager

Source Code

I created this app to increase my productivity by letting me move windows around in macOS using keyboard shortcuts. It grew into a community-driven highly extensible app, using Lua for its plugin system.

  • Objective-C
  • Embedded Lua
  • Plugin system
  • Fully documented
  • 5,000 GitHub stars

AffluentConfidante.com

Website - Social Network

Implementing this elite social network gave me experience integrating both Apple Pay and credit card payments (via Stripe.com) seamlessly into web apps, for a frictionless and pain-free payment experience.

  • Clojure
  • Elastic Beanstalk
  • PostgreSQL
  • Stripe.com
  • Apple Pay

HyperChat

Website - Live Chatroom

Source Code

This isn't just any chatroom. In this web app, you can see what everyone is typing while they type it. I made this in order to scratch my itch for making real-time apps and games, and learned how to use WebSockets in the process.

  • JavaScript
  • WebSockets
  • Node.js
  • Vue.js
  • CSS

Bahamut

macOS app - Music Player

Source Code

As iTunes went through many user interface changes, I wanted an app that was consistent, intuitive, and easy to use. So I created Bahamut, a minimal music player for macOS with a custom user interface.

  • Objective-C
  • Custom UI
  • Cocoa
  • Core Data
  • AVFoundation

Chatter

macOS app - Chat (IRC) Client

Source Code

This was written in 2009, before the time of Slack, when IRC was the main way for programmers to get short-term assistance from each other. Its purpose was to be a beautiful app with an emphasis on simplicity and usability over technical power.

  • Async networking
  • Core Animation
  • Core Text
  • IRC Protocol
  • UI Design

AppGrid

macOS app - Window Manager

Source Code

This is an app I actually use every single day. It lets you move windows with global keyboard shortcuts. Since it uses Vim-like key bindings, it should feel pretty natural to any programmer. There's no configuration needed; it Just Works™.

  • Minimalist UI
  • Simple UI
  • Vim-like Hotkeys
  • Global Hotkeys
  • Zero-configuration

Hydra

macOS app - Lua window manager

Source Code

As an evolution of Phoenix, Hydra was my first attempt at embedding a full Lua virtual machine into an Objective-C app, to make a lightweight and efficient window manager that focused on speed, low memory usage, low CPU usage, and overall being gentle on laptop batteries.

  • Embedded Lua
  • Generated docs
  • Lightweight
  • Memory efficient
  • CPU efficient

Phoenix

macOS app - JavaScript window manager

Source Code

As an evolution of Zephyros, Phoenix was my attempt to use Cocoa's native JavaScript bindings to make a more lightweight and efficient window manager, that focused on speed, low memory usage, low CPU usage, and overall being gentle on laptop batteries.

  • JavaScriptCore
  • JavaScript API
  • Lightweight
  • Memory efficient
  • CPU efficient

Smaller projects

These may be tiny, but they're interesting technical feats.

Lua4SwiftSwift framework for embedding Lua with a native Swift API.
chooseCommand line fuzzy-matching tool for macOS that uses a GUI
musicCommand line music daemon for macOS that only speaks JSON
hectoCommand line text editor with an embedded Lua plugin system
ZephSharpWindow manager for Windows using Clojure for scripting
managementMinimalist EC2 configuration & deployment tool in Ruby.
go.assertAssertion helper package for writing tests in Go.
go.shattrGo library for printing shell-attributed strings to stdout.
OCDSpec2Objective-C based testing framework with Xcode integration.