Crystal vs. Haskell vs. Python vs. Quiver Comparison Chart

Every expression in Haskell has a type that is determined at compile time. All the types composed together by function application have to match up. If they don't, the program will be rejected by the compiler. Types become not only a form of guarantee, but a language for expressing the construction of programs. Every function in Haskell is a function in the mathematical sense (i.e., "pure"). Even side-effecting IO operations are but a description of what to do, produced by pure code. There are no statements or instructions, only expressions that cannot mutate variables (local or global) nor access state like time or random numbers. You don't have to explicitly write out every type in a Haskell program. Types will be inferred by unifying every type bidirectionally. However, you can write out types if you choose, or ask the compiler to write them for you for handy documentation.

Quiver is a notebook built for programmers. It lets you easily mix text, code, Markdown and LaTeX within one note, edit code with an awesome code editor, live preview Markdown and LaTeX, and find any note instantly via the full-text search. A note in Quiver is comprised of cells, snippets of text, code, Markdown, LaTeX (via MathJax) or diagrams (sequence diagram, flowchart). You can freely mix different cell types within one note. You can set different languages for different code cells, too. The programmer's notebook should make code editing effortless. Quiver packs the awesome ACE code editor in code cells, with syntax highlighting support for more than 120 languages, over 20 themes, automatic indent and outdent, and much more. Quiver lets you write in Markdown with inline formatting and custom CSS options. A live preview window renders Markdown as you type. Quiver uses MathJax to typeset mathematical equations written in LaTeX.