Demo of Global Counter

Run Settings
LanguageATS
Language Version
Run Command
Snippet Metadata
Ownersteinwaywhw
Created
Modified
VisibilityPublic
#include "share/atspre_staload.hats" staload "seed.sats" dynload "seed.dats" implement main0 () = { val _ = println! (seed 1) val _ = println! (seed 1) val _ = println! (seed 1) val _ = println! (seed 1) val _ = println! (seed 1) val _ = println! (seed 1) val _ = println! (seed 1) }
#include "share/atspre_staload.hats" staload "seed.sats" implement seed = let val z = ref<int> 0 in lam (x:int) => (!z := !z + 1; x + !z - 1) end
val seed: int -> int
Editor Settings
Theme
Key bindings
Full width
Lines
  • Stdin
  • Info
    Press play on tape
  • Stdout
  • Stderr
  • Error