Inflex Bibliography

Direct influences

• Why do we need modules at all?
• Polymorphic variants
• Behaviors of Reflex
• Ray Panko’s work on spreadsheets and bugs
• Pain We Forgot
• Haskell (classes, pure)
• Duet (stepper)
• PureScript (row types)
• Unison (CAS code)
• Clojure
• Type classes vs the world (coherence)
• Simple made easy (names over positioning)
• Spec-ulation (specifically, dependencies)

Reading list

• Haxcel
• Streaming spreadsheets
• Smalltalk spreadsheet
• Implementing VisiCalc - some things in Inflex coincidentally match VisiCalc’s original design: @func for functions, fixed precision numbers
• Excel will never die
• The trouble with typeclasses

Consulted

• Stepping OCaml
• Typing Haskell in Haskell
• Type Inference with Polymorphic Recursion
• A reckless introduction to Hindley-Milner type inference
• Type classes: confluence, coherence and global uniqueness
• Haskell with only one typeclass
• Algorithmically Scrapping Your Typeclasses

Similar space research projects

• Mesh
• Gneiss
• Plutojl
• Apogee
• Bubble Pop!
• Ravi Chugh’s work (Sketch-n-Sketch, Ivy)

Vaguely similar market products

• Mito
• Bamboo
• Blockpad
• CubeWeaver
• Livebook
• Coda
• Rows (previously dashdash)
• Grid
• Ellx
• Baserow
• CloudTables
• BaseDash
• SeaTable
• Casual
• Grid Studio
• Patera
• Visor
• AirTable
• Lido

Dead products

The irony of some of these link names is not lost on me.

• https://ethersheet.org/
• http://getpermanent.com/
• https://stenci.la/stencila/blog/introducing-sheets/spreadsheets-are-dead-long-live-reactive-programming-environments-
• http://dtab.io/
• https://www.herculus.io/ (Haskell spreadsheet)
• https://www.resolversystems.com/