Skip to content

analysis

Directory actions

More options

Directory actions

More options

Latest commit

 

History

History

analysis

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
README.md
README.md
 
 
attribute.go
attribute.go
 
 
bootstrap.go
bootstrap.go
 
 
builtin.go
builtin.go
 
 
call.go
call.go
 
 
checker.go
checker.go
 
 
collect.go
collect.go
 
 
compatibility.go
compatibility.go
 
 
constant.go
constant.go
 
 
context.go
context.go
 
 
declaration.go
declaration.go
 
 
destructure.go
destructure.go
 
 
enum.go
enum.go
 
 
error.go
error.go
 
 
expression.go
expression.go
 
 
flags.go
flags.go
 
 
function.go
function.go
 
 
generic.go
generic.go
 
 
import.go
import.go
 
 
info.go
info.go
 
 
interface.go
interface.go
 
 
lambda.go
lambda.go
 
 
literal.go
literal.go
 
 
module.go
module.go
 
 
object.go
object.go
 
 
overload_resolution.go
overload_resolution.go
 
 
statement.go
statement.go
 
 
struct.go
struct.go
 
 
tracking.go
tracking.go
 
 
type.go
type.go
 
 
type_annotation.go
type_annotation.go
 
 
type_declaration.go
type_declaration.go
 
 
union.go
union.go
 
 
util.go
util.go
 
 
var_declaration.go
var_declaration.go
 
 
when.go
when.go
 
 

README.md

Klar Analysis / Type Checker

Grammar

In compatibility.go, you'll see syntax in comments that describe typing properties.

  • A => B means type A is assignable to B.
  • Uppercase letters are type variables. A => A refers to the same type on both sides.
  • Lowercase letters are variables (not types). Types can be assigned to them using the syntax a: T, meaning variable a has type T.
  • Klar type syntax is also used, so [A] is a list, and A | B is a union type.
  • if, and and or are also used. A => B | C if A => B or A => C means type A is compatible with the union of B and C, if A is assignable to either B or C.
  • A =!> B means type A is not assignable to B.
  • A = B means type A is equal to B (similar meaning for !=).
  • A <=> B means type A is assignable to B and vice versa.