35 lines
1.0 KiB
Typst
35 lines
1.0 KiB
Typst
#set text(font: "Source Sans 3")
|
|
|
|
= Initial Planning
|
|
|
|
#table(
|
|
columns: (auto, 1fr),
|
|
align: (center, left + horizon),
|
|
table.header[*Week*][*Objectives*],
|
|
[*1*], [Kickoff, setup project, start prototyping a syntax],
|
|
[*2*], [Syntax prototype, simple parser, discuss with Prof. Mermoud and Prof. Lettry],
|
|
[*3*], table.cell(rowspan: 4)[Implement a type checker],
|
|
[*4*],
|
|
[*5*],
|
|
[*6*],
|
|
[*7*], table.cell(rowspan: 3)[Code generator, refinements, report],
|
|
[*8*],
|
|
[*9*],
|
|
)
|
|
|
|
= History
|
|
|
|
#table(
|
|
columns: (auto, 1fr),
|
|
align: (center, left + horizon),
|
|
table.header[*Week*][*Objectives*],
|
|
[*1*], [Kickoff, setup project, start prototyping a syntax],
|
|
[*2*], [Syntax prototype, simple parser],
|
|
[*3*], [Basic type checker (assignments, functions, operations)],
|
|
[*4*], [Diagnostics, type check control flow, refine architecture, subtyping],
|
|
[*5*], [Generic types, methods and overloads, simple code generator],
|
|
[*6*], [For loops, generate assertions, generate stubs, constraints, variance, type unification],
|
|
[*7*], [],
|
|
[*8*], [],
|
|
[*9*], [],
|
|
) |