1 Glow FAQ
1.1 How do I ... ?
1.2 Is Glow a platform? A language? Both?
1.3 Can you quickly sum-up the benefits of Glow?
1.4 What blockchains does Glow run on?
1.4.1 Does Glow work on the EVM?
1.4.2 Do you directly generate EVM bytecode?
1.5 What will it take to support another blockchain?
1.5.1 What will it take to support another EVM blockchain?
1.5.2 What will it take to support another smart-contract blockchain?
1.5.3 What will it take to support Bitcoin?
1.6 What is the product of Glow?
1.7 What does a typical Glow interaction look like?
1.7.1 What does reaching an agreement look like?
1.7.2 What does an agreement execution look like?
1.7.3 What does holding accountable look like?
1.8 What can I do with Glow?
1.8.1 What interactions are included in Glow’s standard library?
1.8.2 Is there a Glow library for NFTs? for ERC20 contracts?
1.9 What are Generalized State Channels?
1.10 Does Glow compile files?
1.10.1 Does Glow compile DApps into smart contracts?
1.10.2 Does Glow compile DApps into client programs?
1.10.3 Does Glow generate any file on a participant’s machine?
1.11 Do I have to install other languages or modules to use Glow?
1.12 Will Glow allow me to make a full DApp from scratch?
1.13 Will the .glow files I write today be compatible with the next versions of Glow?
1.13.1 Will your contracts be certified by Etherscan or otherwise self-certifying?
1.14 Is Glow Free Software?
1.15 Is Glow Turing-Complete?
2 Glow Tutorial
2.1.1 Level 1: I am new to computer programming
2.1.2 Level 2: I can make standard apps
2.1.3 Level 3: I can make DApps, and want to make my own smart-contracts
2.1.4 Level 4: I want to help develop Glow and understand all the details
2.2 Why use Glow?
2.3 What is Glow for?
2.3.1 A programming language for DApps
2.3.2 What Glow can and can’t do
2.3.3 More information
184.108.40.206 Official pages and documents
220.127.116.11 Team and license
18.104.22.168 GitHub repo
22.214.171.124 Our history
126.96.36.199 Glow’s predecessor
188.8.131.52 Conceptual Basis
184.108.40.206 Use Glow in any browser
220.127.116.11 Use Glow locally on Linux and macOS
2.4 Getting started
2.4.1 Simplified install on Linux or macOS
18.104.22.168 Install Glow with only one command line
2.5 Trying it out with Docker (levels 3 and 4)
2.6 Install Glow the hard way on other systems (levels 3 and 4)
2.7 Language Overview
2.8 Fundamentals: Hello world!
2.9 Buying a Signature
2.9.1 Writing the DApp
2.9.2 Setting up identities to run the DApp
2.9.3 Generating a document digest for the DApp
2.9.4 Deploying the DApp
2.9.5 Interacting with the DApp
3 Glow Reference Manual
3.1 Basic Syntax
3.1.1 The #lang glow line
3.1.2 Commenting your code
3.1.3 Naming objects in Glow
3.2.1 Value Definitions
3.2.2 Function Definitions
3.2.3 Interaction Definitions
3.2.4 Statement-Block Expressions
3.3 Interaction Effects
3.5.1 Booleans and Equality
22.214.171.124 Integer Arithmetic
126.96.36.199 Integer Comparisons
188.8.131.52 Bitwise Integer Operations
3.5.3 Byte Strings
3.5.4 Digests and Signatures
3.6 Near-Future Plans
3.6.1 Static Safety Analyses
184.108.40.206 Specifying Application Invariants
220.127.116.11 Logical Invariants
18.104.22.168 Security properties we will prove about interactions written in Glow
22.214.171.124 Correctness of the Glow implementation
3.6.2 Recursive Functions
3.6.3 Compound Data Types and Switch Patterns
3.6.4 Integers with Negatives and BigInts
3.6.5 Unit and Tuple Types
3.6.6 Record Types
3.7 Glow Language Grammar
4 Glow DApps Supported
4.1 Closing Agreement
4.2 Coin Flip Game
4.3 Rock Paper Scissors Game
5 Glow How-To
5.1 How to Get Help about Glow
5.2 How to Install Glow
5.2.1 Easy Install for End-Users
5.2.2 Easy Install for Developers
5.2.3 Easy Install Using Docker
5.2.4 Installing the Hard way
5.3 How to Write or Use Custom DApps
5.4 How do I run a .glow interaction from my programming language?
6 Glow Explanation
6.2 Why Glow?
6.2.1 DApps: The Very Hardest Programs To Write!
126.96.36.199 Zero tolerance to bug
188.8.131.52 All code is fragile
184.108.40.206 Active Adversaries
220.127.116.11 All code is public
18.104.22.168 Usual reasoning techniques are lacking
6.2.2 DApps: Creating Trust Between Participants
6.2.3 DApps: What it is not
6.2.4 DApps: A Narrow Domain Fit for a DSL
6.3 How Glow?
6.3.1 Building Trust
6.3.2 Syntax: No Surprises
22.214.171.124 Function Definition Syntax
126.96.36.199 Integer Literals
6.4 What Glow?
6.5 When Glow?