bend2.dev§3 · By example

Bend2 by Example

Last updated .

First programs

  1. 1Hello world
  2. 2Functions
  3. 3Let bindings
  4. 4Conditionals
  5. 5Booleans
  6. 6Numbers
  7. 7Strings and characters
  8. 8Tuples
  9. 9Lists
  10. 10Imports

Data and matching

  1. 11Algebraic data types
  2. 12Records
  3. 13Maps
  4. 14Pattern matching
  5. 15Lambda match
  6. 16Recursion
  7. 17Mutual recursion
  8. 18Higher-order functions
  9. 19Closures
  10. 20Folds
  11. 21The bend construct

Parallelism

  1. 22Automatic parallelism
  2. 23Sharing and duplication
  3. 24Unscoped lambdas
  4. 25Superpositions
  5. 26Evaluation order
  6. 27Running on GPUs
  7. 28Measuring speedup

Types and proofs

  1. 29Type annotations
  2. 30Polymorphism
  3. 31Dependent types, first contact
  4. 32Sized lists
  5. 33Equality
  6. 34Proofs
  7. 35Induction
  8. 36Totality

Synthesis

  1. 37Holes
  2. 38Types as specifications
  3. 39SupGen

Effects and targets

  1. 40IO
  2. 41Files
  3. 42Command-line arguments
  4. 43Compiling to C
  5. 44Compiling to JavaScript
  6. 45Compiling to Python

← Is Bend2 released yet?