getify/TypL

Issues

• v1.0 Release Checklist

  #24 opened 6 years ago by getify
  6

• Documentation functionality

  #54 opened 3 years ago by kee-oth
  6

• Will TypL cover 100% of JS semantics?

  #53 opened 3 years ago by kee-oth
  11

• Why were tag functions chosen for the API?

  #52 opened 3 years ago by kee-oth
  5

• Cool example of Typl's powerful inference

  #30 opened 6 years ago by getify
  0

• Treat tagged template literal as a function call expression

  #32 opened 6 years ago by getify
  1

• Website down?

  #51 opened 4 years ago by mre
  1

• Checker tests keep failing

  #50 opened 4 years ago by MSE99
  2

• another good example/test

  #49 opened 4 years ago by getify
  0

• Some words on performance?

  #46 opened 5 years ago by RWOverdijk
  2

• Bloating output code?

  #47 opened 5 years ago by afuggini
  1

• Help in Typl ESLint Plugin

  #42 opened 6 years ago by Attrash-Islam
  9

• Feature for preserving run-time gathered typing info (such as from tests)

  #45 opened 6 years ago by getify
  1

• console.log broken

  #43 opened 6 years ago by mraak
  0

• Union/Polymorphic Types

  #12 opened 6 years ago by getify
  1

• Persistent object/array shapes

  #18 opened 6 years ago by getify
  1

• Support array-of-type annotation syntax

  #39 opened 6 years ago by getify
  2

• Multi-pass handling bugs

  #41 opened 6 years ago by getify
  0

• Another example of Typl inference

  #40 opened 6 years ago by getify
  0

• Assert on which specific errors (by ID) are expected

  #37 opened 6 years ago by mraak
  0

• Basic checker tests

  #23 opened 6 years ago by getify
  4

• Enforce bool type check

  #7 opened 6 years ago by mraak
  9

• Checker needs to check tagged-type simple literals

  #34 opened 6 years ago by getify
  0

• Treat IIFE as a validated call-expression

  #33 opened 6 years ago by getify
  1

• Interesting quirk, should be aware of

  #27 opened 6 years ago by getify
  3

• Always allow assignment to tagged:"any"

  #8 opened 6 years ago by mraak
  18

• Properly handle number sub-types in type matching

  #6 opened 6 years ago by mraak
  2

• Narrower number type inference

  #17 opened 6 years ago by getify
  1

• use `isAssignmentAllowed(..)` for arguments and return values

  #31 opened 6 years ago by getify
  1

• Fix architecture of `check(..)` method

  #22 opened 6 years ago by getify
  0

• Basic configuration

  #21 opened 6 years ago by getify
  0

• TODOs

  #4 opened 6 years ago by getify
  0

• Specific type exceptions

  #20 opened 6 years ago by getify
  0

• Compiler: basic transforms

  #19 opened 6 years ago by getify
  0

• Multi-pass traversal

  #5 opened 6 years ago by getify
  0

• Always allow assignment to inferred:"undef"

  #9 opened 6 years ago by mraak
  11

• Split checker into multiple files

  #15 opened 6 years ago by mraak
  0

• Lookup mappings for TypeIDs

  #11 opened 6 years ago by getify
  3

• Feature: add `regex`

  #2 opened 6 years ago by getify
  0

• Feature: change some tag functions to support "dynamic literals"

  #3 opened 6 years ago by getify
  0

• Feature: add `any`

  #1 opened 6 years ago by getify
  0