Code

Edit tutorial by @srush.#1

Code

Merged

srush merged 120 commits intosrush:tutorialsrush/dex-lang:tutorialfrom dan-zheng:tutorial-editsdan-zheng/dex-lang:tutorial-editsCopy head branch name to clipboardJan 9, 2021

+5,338-5,329

Commits

Commits on Aug 26, 2020

• sketching out a particle filter example

  Show description for 945aa65
  

  mattjj

  and

  dougalm

  committed
  945aa65

Commits on Aug 27, 2020

• Finish particle filter and move some shared utilities to the prelude.

  dougalm

  committed
  b6d3636

Commits on Dec 4, 2020

• Strengthen warning about experimental status

  dougalm

  authored
  673b5fb

Commits on Dec 18, 2020

• Merge pull request google-research#353 from google-research/dev

  Show description for f8f9282
  dougalm

  authored
  f8f9282

• Make separate directories for tests and libraries.

  Show description for 16a698d
  dougalm

  committed
  16a698d

• Fix GHC warnings.

  dougalm

  committed
  45e5454

• Update examples and prelude to "modern Dex".

  dougalm

  committed
  d53771b

Commits on Dec 19, 2020

• Merge branch 'updating-examples' into particle-filter

  dougalm

  committed
  62dd839

• Merge pull request google-research#358 from google-research/particle-filter

  Show description for 6e2d625
  dougalm

  authored
  6e2d625

• Delete duplicate prelude left over from merge

  dougalm

  committed
  7ce56f7

• Make splitKey produce a table instead of a pair, subsuming splitKey3 etc.

  Show description for b367ddc
  dougalm

  committed
  b367ddc

• Merge pull request google-research#357 from google-research/updating-examples

  Show description for 8646638
  dougalm

  authored
  8646638

• [README] Edit build dependency instructions. (google-research#360)

  Show description for d854025
  dan-zheng

  authored
  d854025

Commits on Dec 20, 2020

• Add an IO effect, modeled as {State World} with a special World token.

  Show description for 5dc6a6f
  dougalm

  committed
  5dc6a6f

Commits on Dec 21, 2020

• Expose some unix file operations using the IO effect.

  Show description for 6acdf92
  dougalm

  committed
  6acdf92

• Treat all FFI functions as potentially IO-causing.

  Show description for 433916d
  dougalm

  committed
  433916d

• Make it possible to export JITed Dex functions to Python

  Show description for 1d81135
  apaszke

  committed
  1d81135

• Use the IO effect to expose malloc/free/load/store.

  Show description for a1982fb
  dougalm

  committed
  a1982fb

• Generalize load/store/alloc/free to Ptr a for Storable a.

  dougalm

  committed
  e9847eb

Commits on Dec 22, 2020

• Fix atan2 bug and add more tests.

  

  duvenaud

  authored and

  apaszke

  committed
  067ba2f

• Automate wrapping of JITed function pointers in Python callables

  Show description for fc825c1
  apaszke

  committed
  fc825c1

Commits on Dec 23, 2020

• Updated fluidsim example to have a gradient check, and be more general.

  

  duvenaud

  authored and

  apaszke

  committed
  2212cc7

• Clean up the Cabal file

  Show description for a61f1fa
  apaszke

  committed
  a61f1fa

• Improve the benchmark harness

  Show description for 75c4cb6
  apaszke

  committed
  75c4cb6

• Make a "virtual stdout" stream that we can write to using the IO effect.

  Show description for d83d756
  dougalm

  committed
  d83d756

• Merge branch 'main' into IO-effect

  dougalm

  committed
  98c0977

• Parse string literals as lists instead of tables.

  Show description for 459da30
  dougalm

  committed
  459da30

Commits on Dec 24, 2020

• Add strings to runtime error messages.

  Show description for cf8b260
  dougalm

  committed
  cf8b260

• Fix stack build on macOS. (google-research#378)

  Show description for e74e306
  dan-zheng

  authored
  e74e306

• Add an IO-based dynamically expanding buffer and use it to implement fread.

  dougalm

  committed
  56b128e

• Add animations by shelling out to imagemagick to turn PNGs into a GIF.

  dougalm

  committed
  2043334

Commits on Dec 25, 2020

• Merge branch 'main' into IO-effect

  dan-zheng

  authored
  5b2eb9b

• Make show identity on strings

  

  oxinabox

  authored and

  apaszke

  committed
  9674910

• Refactor diagram.dx

  Show description for 269c26c
  

  oxinabox

  authored and

  apaszke

  committed
  269c26c

Commits on Dec 26, 2020

• Make changes suggested in review.

  dougalm

  committed
  bdf1df1

• Merge branch 'main' into IO-effect

  dougalm

  committed
  ea4d91c

• Update MCMC example

  devmotion

  committed
  5eb53d7

• Merge pull request google-research#383 from devmotion/mcmc

  Show description for 91c526b
  dougalm

  authored
  91c526b

• Fix stack build on macOS again. (google-research#381)

  Show description for 70a645f
  dan-zheng

  authored
  70a645f

• Tweak MCMC example to fix quine test and make it faster to run.

  dougalm

  committed
  55df897

Commits on Dec 27, 2020

• Extend rejection sampling example

  devmotion

  committed
  e15835e

Commits on Dec 28, 2020

• Treat effect rows as sets of effects. Fixes google-research#267.

  dougalm

  committed
  49c0411

• Add a special case to effect inference to accept subsets of allowed effects.

  Show description for e0742a5
  dougalm

  committed
  e0742a5

Commits on Dec 29, 2020

• Make a simpler iteration combinator that lets effects carry any needed state.

  dougalm

  committed
  afcddfe

• Add do <expr> as syntactic sugar for \(). <expr>.

  dougalm

  committed
  e138971

• Add shell.nix.

  

  athas

  authored and

  apaszke

  committed
  42193e3

• Add cabal.project.

  Show description for dab1c4f
  

  athas

  authored and

  apaszke

  committed
  dab1c4f

• Print floats with fewer decimal places to make quine tests less brittle.

  dougalm

  committed
  c595c6a

• Merge branch 'main' into polymorphic-effects

  dougalm

  committed
  11e2b53

• Merge branch 'rejection' of https://github.com/devmotion/dex-lang into devmotion-rejection

  dougalm

  committed
  09509aa

• Add rejection sampler to tests and update it to use iteration combinator.

  dougalm

  committed
  28b96bd

• Improve HTML doc generation.

  Show description for be7de05
  

  dan-zheng

  authored and

  dougalm

  committed
  be7de05

• Remove css minification.

  dougalm

  committed
  ab33856

• Add a getEnv wrapper around POSIX getenv.

  Show description for 3467bd0
  dougalm

  committed
  3467bd0

• Use DEX_TEST_MODE flag to choose different params when testing.

  Show description for 4ee5f7a
  dougalm

  committed
  4ee5f7a

• Add Text support to Diagram

  oxinabox

  committed
  ed270a1

• center text element

  oxinabox

  committed
  d4d6ec5

• Made diagram demos literate comments

  oxinabox

  committed
  db019ee

• Delete stale tests

  dougalm

  committed
  078e7dc

• Delete stale code. Fixes google-research#342.

  dougalm

  committed
  69ceb2f

• Update or delete stale examples

  dougalm

  committed
  4a1fe72

• Merge branch 'ox/text' of https://github.com/oxinabox/dex-lang into oxinabox-ox/text

  dougalm

  committed
  affa9fe

• Improved linear algebra example.

  

  duvenaud

  authored and

  dougalm

  committed
  f836ba5

Commits on Dec 30, 2020

• Start adding an exception effect - syntax and parser.

  Show description for a3d65fe
  dougalm

  committed
  a3d65fe

• Add throw and catch primitives and lower them away in simp pass.

  dougalm

  committed
  d449ebf

• Add a helper for emitting case expressions on Maybe a scrutinees.

  dougalm

  committed
  003f1e2

• Handle for expressions when lowering away exceptions.

  Show description for 2c09957
  dougalm

  committed
  2c09957

Commits on Dec 31, 2020

• Expose view, a "lazy" variant of for.

  Show description for 5be588f
  dougalm

  committed
  5be588f

• Merge branch 'exception-effect'

  dougalm

  committed
  dadfaec

• Start a pure-Dex parser combinator library

  dougalm

  committed
  0ecf6bb

• Add some more parser combinators.

  Show description for 9ffb81f
  dougalm

  committed
  9ffb81f

• Simplify while. It doesn't need separate cond and body functions.

  Show description for 59a507d
  dougalm

  committed
  59a507d

• Handle exceptions under while and runState.

  dougalm

  committed
  4425cb3

• Make a newtype wrapper for Parser a.

  Show description for 9da58a1
  dougalm

  committed
  9da58a1

• Add a parser for integers. Fixes google-research#312.

  dougalm

  committed
  18926b5

• Fix Imp code I accidentally left commented out.

  dougalm

  committed
  cf0f508

• New run/with/yield naming convention for effect runners.

  Show description for 58c2e79
  dougalm

  committed
  58c2e79

• clang install instructions

  joaogui1

  committed
  0b76c12

• Make the else clause of if..then..else optional.

  Show description for 37e31a1
  dougalm

  committed
  37e31a1

Commits on Jan 2, 2021

• Update README.md

  apaszke

  authored
  d0f4702

• clang install instructions (google-research#405)

  apaszke

  authored
  c858f8e

Commits on Jan 4, 2021

• Make README a little nicer, add pointers to new label system

  apaszke

  authored
  c004ceb

• Add completions to REPL (google-research#407)

  oxinabox

  authored
  66d225f

Commits on Jan 5, 2021

• Add new syntax for type class constraints on def decls. Fixes google-research#370.

  dougalm

  committed
  cd7cd09

• Overhaul new-style interface/instance decls.

  Show description for 599e2ee
  dougalm

  committed
  599e2ee

• Enable BlockArguments by default (we use the bracketing pattern a lot)

  dougalm

  committed
  567faa2

• Infer types of implicit implicit arguments.

  Show description for 68cefc8
  dougalm

  committed
  68cefc8

• Make fixes suggested in review.

  dougalm

  committed
  dba12d0

• Make scoping of binders in instance declarations more explicit.

  Show description for 8283de6
  dougalm

  committed
  8283de6

Commits on Jan 6, 2021

• Add some comments suggested by Adam.

  dougalm

  committed
  6b73c50

• Remove Storable instance for pairs due to alignment concerns.

  Show description for baa7589
  dougalm

  committed
  baa7589

• Make IO its own distinct effect instead of using State World.

  dougalm

  committed
  be2f552

• Continue inlining after application

  Show description for 3d1146e
  apaszke

  committed
  3d1146e

• Fix the stupid zext bug

  Show description for 72f19dc
  apaszke

  committed
  72f19dc

• Harden CI checks

  Show description for de34e9f
  apaszke

  committed
  de34e9f

• Revert google-research#376 to fix segfaults in main

  Show description for 9e6e470
  apaszke

  committed
  9e6e470

Commits on Jan 7, 2021

• [README] Fix typo. (google-research#436)

  Show description for 43f7758
  dan-zheng

  authored
  43f7758

• Use llvm-hs/llvm-hs@llvm-9 in cabal.project.

  Show description for 4002ba7
  

  dan-zheng

  authored and

  apaszke

  committed
  4002ba7

• Basic JAX integration

  Show description for e17e584
  apaszke

  committed
  e17e584

• Add a CPU XLA translation rule for the dex_call primitive (JAX interop)

  Show description for 8282129
  apaszke

  committed
  8282129

• [NFC] Gardening.

  Show description for 4036c60
  dan-zheng

  committed
  4036c60

• Gardening.

  Show description for cf06f3d
  dan-zheng

  committed
  cf06f3d

• Add .hlint.yaml to match repository coding style preferences.

  Show description for 0451c7c
  dan-zheng

  committed
  0451c7c

Commits on Jan 8, 2021

• Make --backend and --outfmt options be consistently lowercase.

  Show description for 37e4f50
  dan-zheng

  committed
  37e4f50

• Merge pull request google-research#437 from dan-zheng/gardening

  Show description for 5af3a29
  dan-zheng

  authored
  5af3a29

• Fix stack build on macOS. (google-research#441)

  Show description for 08db4cf
  dan-zheng

  authored
  08db4cf

• Put SumAsProd accesses under switches to avoid illegal dereferencing. Fixes google-research#348.

  dougalm

  committed
  1c0a417

• Small changes that were blocked on google-research#348.

  dougalm

  committed
  ae2492d

• Fix a shadowing bug by making emitBlock freshen its binders.

  Show description for e979cae
  dougalm

  committed
  e979cae

• Strengthen the Imp type checks and add a debugging printf to JIT.

  Show description for d37b9cb
  dougalm

  committed
  d37b9cb

• Fix conversion of Word8 to hex string for diagram colors.

  dougalm

  committed
  d3fd463

• Revert "Revert google-research#376 to fix segfaults in main"

  Show description for 113bdf7
  dougalm

  committed
  113bdf7

• Changes suggested in review.

  dougalm

  committed
  f461093

• Add make watch command for automatic rebuilding. (google-research#442)

  Show description for f713b3d
  dan-zheng

  authored
  f713b3d

Commits on Jan 9, 2021

• Remove extra CSS bottom padding in HTML-rendered Dex. (google-research#445)

  Show description for 0dab3fa
  dan-zheng

  authored
  0dab3fa

• Add LaTeX rendering for HTML-rendered Dex via KaTeX. (google-research#444)

  Show description for c3f6a10
  dan-zheng

  authored
  c3f6a10

• Fix stack build warning for dex executable target. (google-research#446)

  Show description for f7459d6
  dan-zheng

  authored
  f7459d6

• Merge branch 'main' of github.com:google-research/dex-lang into tutorial-edits

  dan-zheng

  committed
  14a1dfb

• Edit tutorial by @srush.

  Show description for f521e30
  dan-zheng

  committed
  f521e30

• Consistently spell "n-D" as "nD".

  dan-zheng

  committed
  1288790