Should we formalize the OT Spec?
Options
Belleve Invis
Posts: 269
As OTVar being added, OpenType finally become a programming language somehow...
So should we formalize it, by defining the semantics of a font into a formalized language (like, Coq or Idris), and define the corresponded functions into it?
Here is an example of formalized algorithm of calculating a "value + delta" quantity: https://gist.github.com/be5invis/cf7a3a0c8925cace3749986cf64f15fc
So should we formalize it, by defining the semantics of a font into a formalized language (like, Coq or Idris), and define the corresponded functions into it?
Here is an example of formalized algorithm of calculating a "value + delta" quantity: https://gist.github.com/be5invis/cf7a3a0c8925cace3749986cf64f15fc
Tagged:
1
Comments
-
Do you mean like https://github.com/Pomax/A-binary-parser-generator/blob/master/OpenType.spec ?0
-
No, i mean formalize the semantics instead of binary representation of fonts. For example in the VQ I linked above, it is represented in many forms in different tables, but has the same meaning.Dave Crossland said:Do you mean like https://github.com/Pomax/A-binary-parser-generator/blob/master/OpenType.spec ?0
Categories
- All Categories
- 46 Introductions
- 3.8K Typeface Design
- 476 Type Design Critiques
- 555 Type Design Software
- 1.1K Type Design Technique & Theory
- 640 Type Business
- 831 Font Technology
- 29 Punchcutting
- 508 Typography
- 120 Type Education
- 313 Type History
- 75 Type Resources
- 109 Lettering and Calligraphy
- 30 Lettering Critiques
- 79 Lettering Technique & Theory
- 533 Announcements
- 86 Events
- 110 Job Postings
- 167 Type Releases
- 169 Miscellaneous News
- 274 About TypeDrawers
- 53 TypeDrawers Announcements
- 119 Suggestions and Bug Reports