Bibliography Language Design - Glow-Lang/glow GitHub Wiki

Non-blockchain Languages to learn from

• Fugue, a proprietary alternative to Hashicorp's Terraform, puts engineers in command of cloud security with tools for visualizing resources and changes over time.
• dhall, a strongly typed terminating programmable configuration language that you can think of as: JSON + functions + types + imports.
• Hazel, a live functional language programming environment with typed holes.
• Dark, a holistic programming language, editor, and infrastructure for building backends without accidental complexity (impressions).
• Unison, an open source functional programming language based on a simple idea with big implications: code is content-addressed and immutable.
• Pony, an open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language.
• Factor, a practical concatenative language with interactive development capabilities.

Reflection for Security

• Auditors

HCI and Usability

• Hints about HCI by Tomas Petricek
• Usability and UX: Nielsen Norman Group
• ggplot and the grammar of graphics for statistical data
• Tufte on visual presentations

Documentation

• The documentation system, by David Laing

Object Capabilities

• Spritely
• E
• Agoric
• Is there a CapTP that works, and separates the semantic layer from the transport layer? My transport layer must be, beyond TLS, any combination of: TCP, UDP, IPv4, IPv6, NAT-traversing, encrypted, authenticated, onion-routed, packet-mixed, anti-spammed, pubsub, broadcast, multicast, compressed, anonymized, virtualized, pigeon-carried, decentralized, etc.

To Sort

• Loyc, Language-of-your-choice
• Obliq had an interesting type-system for its objects, maybe relevant.
• Great Works in Programming Languages