Isomorf

Isomorf is a cloud-based structural editor with a Haskell-inspired type system. They are currently running in open alpha.

Context-sensitive keyboard shortcuts

Depending on where your cursor is and what it’s selecting, they display the relevant keyboard shortcuts for actions you can take.

Automated refactoring suggestions

It detects when you have redundant lines of code, and offer to fix it for you with a single click.

Familiar syntax

You can choose for your code to be formatted in a language you’re familiar with. So while the editing is unfamiliar, the syntax is what you’re used to.

Type-guided code search

Isomorf brings type-based code search (a la Hoogle) into their editor.

Wishes

• undo and redo
• more familiar keyboard shortcuts
• less mode-based editor
• clearer value proposition

Further Reading

• What is isomorf?
• An Experiment in Structured Code Editing
• The Economics of Semantic Coding