gatlin/psilo

Issues

• LINEARITY CHECKING

  #31 opened 6 years ago by gatlin
  0

• Construct class taxonomy for efficient predicate merging and context reduction

  #32 opened 6 years ago by gatlin
  0

• Parse and typecheck class instances

  #30 opened 6 years ago by gatlin
  0

• Typecheck method implementations

  #29 opened 6 years ago by gatlin
  0

• If a type signature is provided, check it and also prioritize it

  #26 opened 6 years ago by gatlin
  1

• Rank-2 polymorphism

  #27 opened 6 years ago by gatlin
  1

• Type definitions

  #28 opened 6 years ago by gatlin
  1

• Make every non-top-level symbol unique when converting surface syntax to core syntax

  #24 opened 7 years ago by gatlin
  0

• Syntax for explicit type signatures

  #25 opened 7 years ago by gatlin
  2

• Macros

  #16 opened 8 years ago by gatlin
  0

• asm.js codegen

  #19 opened 8 years ago by gatlin
  0

• Need byte types

  #20 opened 8 years ago by gatlin
  0

• Module system of some kind

  #21 opened 8 years ago by gatlin
  1

• Type annotation syntax

  #22 opened 8 years ago by gatlin
  0

• Tail call optimization in the test evaluator

  #23 opened 8 years ago by gatlin
  0

• Add linear types

  #6 opened 8 years ago by gatlin
  0

• Hylomorphisms

  #7 opened 8 years ago by gatlin
  0

• Traits

  #8 opened 8 years ago by gatlin
  0

• Structs

  #9 opened 8 years ago by gatlin
  0

• Nested Definitions

  #2 opened 8 years ago by gatlin
  0

• Syntax: linear by default or immutable by default?

  #1 opened 8 years ago by gatlin
  1

• Automatic currying and partial function application

  #17 opened 10 years ago by gatlin
  0

• Definitions and global scope

  #12 opened 10 years ago by gatlin
  3

• Currently not call-by-need

  #4 opened 10 years ago by gatlin
  1

• Import existing files

  #14 opened 10 years ago by gatlin
  0

• Type checker

  #5 opened 10 years ago by gatlin
  1

• Can't define closures and expect them to work

  #15 opened 10 years ago by gatlin
  1

• Add WriterT to Machine for stack traces

  #11 opened 10 years ago by gatlin
  0

• Interpreter should use command line options

  #18 opened 10 years ago by gatlin
  0

• Recursive functions don't work

  #13 opened 10 years ago by gatlin
  1

• Shortcut special form for function definitions

  #3 opened 10 years ago by gatlin
  0

• Parse error: if code not first line, program does not run

  #10 opened 10 years ago by gatlin
  0