[WIP] Develop 0.1.0

[gfngfn]

Major breaking changes other than ones by nested PRs:

• Migration from an SML#-like record polymorphism to a row polymorphism
• Labeled optional arguments handled by rows
• A module system based on F-ing modules and static interpretation
• Small changes on the concrete syntax:
  • Replace the separator ; in lists and records with ,
  • match … with … end
  • Make universal quantifiers of type/row variables in declarations explicit
    • e.g. val map 'a 'b : ('a -> 'b) -> list 'a -> list 'b
  • Replace top-level let with val
  • Replace let-{inline,block,math} with val {inline,block,math}
  • Replace let-rec with let rec/val rec

Nested PRs:

• Perform the static interpretation #335
• Make modules and staging constructs coexist #336
  • Abolish @stage
  • Values at more than one stage can coexist in a structure
• Develop how to declare stages of values #337
  • Introduce val persistent ~foo = …
• Refactor & fix the evaluator #338
• Support let open #340
  • Support let open … in … (instead of open … in …)
• Re-add a MacroML-like macro system #341
• Refactor main.ml #342
• Refactor main.ml by using cmdliner #343
• Refactor FileDependencyGraph and SynonymDependencyGraph by using ocamlgraph #345
• Abandon type page #347
  • Abolish the page type
    • Just use length * length instead
• Use row variables in signatures #348
• Fix stdjareport.satyh for 0.1.0 #349
• modify the graphics type #351
  • Change how the graphics type is assigned
• Refactor graphics modules #352
• Refactor evalUtil.ml and vminst.ml about graphics #353
• Change the semantics of math commands #354
  • Separate the math type into math-text and math-boxes
  • Introduce a new context-passing semantics of math commands
    • val math ctx \frac (mt1 : math-text) (mt2 : math-text) = …
  • The text-generating mode will support maths and inline code.
• More math classes #356
  • Add new constructors to the math-char-class type: MathSansSerif, MathBoldSansSerif, MathItalicSansSerif, MathBoldItalicSansSerif, and MathTypewriter
  • Inspired by More math char classes (fix #159) #163
• Refactor horz_box etc. #357
• Enable more warnings for 0.1.0 branch #360
• Resolve warnings #361
• Refactoring by renaming #362
• Refactor the implementation of the typechecker into monadic one #364
• Re-enable candidate search #366
• Refactor typechecker.ml by dividing it #367
• replace let compare a b = a - b with Int.compare #371
• Add split-grapheme-cluster and string normalization function #417
  • Add split-grapheme-cluster : string -> string list
  • Add normalize-string-to-nfc : string -> string
  • Add normalize-string-to-nfd : string -> string
• Develop the package system #369

[TonalidadeHidrica]

Why don't we set a Milestone for 0.1.0 that files issues that will be fixed by 0.1.0 and PR that will be merged by 0.1.0?

[gfngfn]

It sounds nice! Thank you for suggestion.