If we can have more flexibility:
-- Variation vector type with n axes -- It is a dependent type VV : Nat -> Type VV n = Vect n Real -- A static font record StaticFont where glyf : GID -> Outline cmap : Unicode -> GID GSUB : List (GID -> GID) Font : Nat -> Type Font n = VV n -> StaticFont
-- Font type with n axes record Font (n : Nat) where glyf : GID -> VV n -> Outline cmap : VV n × Unicode -> GID × VV n -- cmap maps a (VV, Unicode) combination to a (GID, VV) combination GSUB : List (GID × VV n -> GID × VV n)
Ah, you definitely did not handled east asian fonts...Beau Williamson said:There is nothing in font design that needs the higher processing speed of C to justify the steeper learning curve and longer development time.
The latest Windows 10's update (Creators').Werner Lemberg said:What is RS2? Please give more details.