SATySFi 最近の発展と目下実装中の変更
1 like579 views
The document discusses the SATYSFI Conf 2021 conference which will take place on June 26, 2021. It provides details on recent updates to the SATYSFI typesetting system including the addition of linear-transform-graphics, improvements to page breaking for multicolumn content, and adding debugging information for overfull/underfull boxes. Version 0.0.6, 0.0.7, and planned future updates are summarized. The document also discusses using domain specific languages for describing typesetting definitions and structures and provides examples using amidakuji diagrams.
![? v0.0.6 (2021-02-06)
– ???????? linear-transform-graphics [@monaqa]
– ???? page-break-multicolumn
– overfull/underfull ???Φ?γ?? —-debug-show-overfull
– ?????????ΑΔ??????CHANGELOG ???
???????
5](https://image.slidesharecdn.com/satysficonf2021-suwa-web-220119132910/85/SATySFi-5-320.jpg)
![? v0.0.6 (2021-02-06)
– ???????? linear-transform-graphics [@monaqa]
– ???? page-break-multicolumn
– overfull/underfull ???Φ?γ?? —-debug-show-overfull
– ?????????ΑΔ??????CHANGELOG ???
? v0.0.7 ??
– ???ΝΠ????? read-file [@puripuri2100]
– document information dictionary ?? [@puripuri2100]
– ???????υ?? Ruby ???? [@leque]
? vminstdef.yaml ???? vminst.ml ???
– ???????????????? Unicode ??υ?Π?τ????
? set-math-char? Roman, Italic ??ελΠ????????????
???????
6](https://image.slidesharecdn.com/satysficonf2021-suwa-web-220119132910/85/SATySFi-6-320.jpg)
![????? DSL? ???Λ???????ε?Δ???υΛ
???Δ
??Β?? φΠ??????
9
amidakuji(```
|X|-|=|/| |
| |-||-|X|
|=|X|-||=|
|-||-|=|-|
|X|=|-|| |
```);
amidakuji([
[Cross ; Line ; … ];
[Empty ; Line ; … ];
[Double; Cross; … ];
…
]);](https://image.slidesharecdn.com/satysficonf2021-suwa-web-220119132910/85/SATySFi-9-320.jpg)
![???υ??????????????????????ΘΕΔ??
DSL ???????????ΘΕ???Τ??????????
? Τ???????Δ???????Γ
????? DSL ???????Ε?Α???
???????Λ?????????ΔΑ???Α?
????????????????????Δ????????
??????? [Davies 1996] [Taha Sheard 2000] ??????????Α?
??Β?? φΠ????????????????
10](https://image.slidesharecdn.com/satysficonf2021-suwa-web-220119132910/85/SATySFi-10-320.jpg)
![? ????????ε??δ???Ε????Λ??????
??ΕΛ????????????γε??
– stage 0, 1, 2, … ???ε??δ???ε??δ???υΛ??
? ???? stage 0???????? stage 1???????????
– Lisp ? quasiquote ??Δ
– ?? MetaML [Taha Sheard 2000]?MetaOCaml [Kiselyov 2014]
?????????
? ??????????υ?????Δ
– ??????????????????????????????????
??Β?? ?????????
11](https://image.slidesharecdn.com/satysficonf2021-suwa-web-220119132910/85/SATySFi-11-320.jpg)
![? ??????????Α????????
– ~(…) ????????ΘΕΔ stage 0 ?????
– ~ ??????????υ???????????ΘΕΔ stage 1 ???
? ???????Α????Ε?????ΑΓ????????ΕΔ
? ????????????????υ????
????ΘΔ????????????Ε?
“?????” Τ??????
? MacroML [Ganz, Sabry Taha 2001]
?????????????
???????????
12
repeat@~(3){foo}
% ??????λΠ?????
% ???Β foofoofoo ?????????????Δ
amidakuji@~(```
|X|-|=|/| |
| |-||-|X|
|=|X|-||=|
|-||-|=|-|
|X|=|-|| |
```);](https://image.slidesharecdn.com/satysficonf2021-suwa-web-220119132910/85/SATySFi-12-320.jpg)
![? ?δ???γε??????????
F-ing modules [Rossberg, Russo Dreyer 2014] Λ?????Λα??τ
– ?Ε???δ???
– ?Ν??λ??“?δ???Λ?δ???????????”??????
? 1 ?ο??δ??? 1 ?δ????????Δ??????Δ
– ???Β?????δ???Λ?Ε???Ε?Α?
– ???ΝΠ??????Δ???????????Δ
? @require ??????????ο??δ??ε?????Ε??
– ?????????????????????Δ??
SATYSFI ?????????????? Sesterl ??ΕΒ????Λ
?Μ???????????????????Ζ???????Ε?
???
21](https://image.slidesharecdn.com/satysficonf2021-suwa-web-220119132910/85/SATySFi-21-320.jpg)
![? ????????Ε?Γ??????
– refactor-internal ???branch?????????Ν?λ?????
– ???? ?3600???1900? ???????????????Β??
? ????????????δ???γε???????????????Ζ?
– mutable reference
? relaxed value restriction [Garrigue 2004] ???????????Δ
? ??Ε???? monadic ???????????
– ???????
? ????????????????????????????
– Satyrographos [@na4zagin3] ???????????
? ????? SATYSFI ? OPAM ?ο??δ????Δ??Λ????
??????????????ΕΔ??
23](https://image.slidesharecdn.com/satysficonf2021-suwa-web-220119132910/85/SATySFi-23-320.jpg)
More Related Content
What's hot (20)
Similar to SATySFi 最近の発展と目下実装中の変更 (20)
More from T. Suwa (9)
Recently uploaded (20)
SATySFi 最近の発展と目下実装中の変更
- 1. ?????? ???????? @ SATYSFI Conf 2021 2021 ? 6 ? 26 ? ( @bd_gfngfn)
- 2. ?????????? ? ??Μ???? ?????Β?? ? Θ?????? μ???! ?? 2
- 3. ?????????? ? ??Μ???? ?????Β?? ? Θ?????? μ???! ※??ΖΜ???????Θ?????? ? SATYSFI ????????? – ???????Τ??????????Λ v0.0.6 ????ε ? ?Ε????????????????????? – ?δ???γε??? F-ing modules ???Ε????????? – OpenType ?Π?????????? otfm → otfed ? Sesterl ??????????????Λ????????? – ?ΒΕ??????????????? SATYSFI ???Ο?υ?ο????? ????ΕΒ?????????? ?? 3
- 4. ? ??????Ε??? ? ??? PR ? ? ???????Τ???????? ? ???????? ? ?Υ?τσ??μ/Τ???μ??? ? ?δ???γε??? F-ing modules ? ? ???
- 5. ? v0.0.6 (2021-02-06) – ???????? linear-transform-graphics [@monaqa] – ???? page-break-multicolumn – overfull/underfull ???Φ?γ?? —-debug-show-overfull – ?????????ΑΔ??????CHANGELOG ??? ??????? 5
- 6. ? v0.0.6 (2021-02-06) – ???????? linear-transform-graphics [@monaqa] – ???? page-break-multicolumn – overfull/underfull ???Φ?γ?? —-debug-show-overfull – ?????????ΑΔ??????CHANGELOG ??? ? v0.0.7 ?? – ???ΝΠ????? read-file [@puripuri2100] – document information dictionary ?? [@puripuri2100] – ???????υ?? Ruby ???? [@leque] ? vminstdef.yaml ???? vminst.ml ??? – ???????????????? Unicode ??υ?Π?τ???? ? set-math-char? Roman, Italic ??ελΠ???????????? ??????? 6
- 7. ? ??????Ε??? ? ??? PR ? ? ???????Τ???????? ? ???????? ? ?Υ?τσ??μ/Τ???μ??? ? ?δ???γε??? F-ing modules ? ? ???
- 8. ? ??????????????Τ?????????? ? ??????????????????? ???????????????Δ ? ??υΩ???τ????????????????σ?λ? ?????Δ?????Ε?? ??Β?? ?????????Ε????????? 8
- 9. ????? DSL? ???Λ???????ε?Δ???υΛ ???Δ ??Β?? φΠ?????? 9 amidakuji(``` |X|-|=|/| | | |-||-|X| |=|X|-||=| |-||-|=|-| |X|=|-|| | ```); amidakuji([ [Cross ; Line ; … ]; [Empty ; Line ; … ]; [Double; Cross; … ]; … ]);
- 10. ???υ??????????????????????ΘΕΔ?? DSL ???????????ΘΕ???Τ?????????? ? Τ???????Δ???????Γ ????? DSL ???????Ε?Α??? ???????Λ?????????ΔΑ???Α? ????????????????????Δ???????? ??????? [Davies 1996] [Taha Sheard 2000] ??????????Α? ??Β?? φΠ???????????????? 10
- 11. ? ????????ε??δ???Ε????Λ?????? ??ΕΛ????????????γε?? – stage 0, 1, 2, … ???ε??δ???ε??δ???υΛ?? ? ???? stage 0???????? stage 1??????????? – Lisp ? quasiquote ??Δ – ?? MetaML [Taha Sheard 2000]?MetaOCaml [Kiselyov 2014] ????????? ? ??????????υ?????Δ – ?????????????????????????????????? ??Β?? ????????? 11
- 12. ? ??????????Α???????? – ~(…) ????????ΘΕΔ stage 0 ????? – ~ ??????????υ???????????ΘΕΔ stage 1 ??? ? ???????Α????Ε?????ΑΓ????????ΕΔ ? ????????????????υ???? ????ΘΔ????????????Ε? “?????” Τ?????? ? MacroML [Ganz, Sabry Taha 2001] ????????????? ??????????? 12 repeat@~(3){foo} % ??????λΠ????? % ???Β foofoofoo ?????????????Δ amidakuji@~(``` |X|-|=|/| | | |-||-|X| |=|X|-||=| |-||-|=|-| |X|=|-|| | ```);
- 13. ? ?????? ???????????????? Τ?????Λ???Δ???????Λ????? – DSL ????????????????? ???????????????Π?????????Δ – @`…` ???υ??????Γ??Δ??????????Δ – @`…` : string * input-position – get-input-position : input-position - string * int * int ??????????? 13 amidakuji@~(@``` |X|-|=|/| | | |-||-|X| |=|X|-||=| |-||-|=|-| |X|=|-|| | ```); ?Γ?? (?ΝΠ??, ??, ???)
- 16. ? ??????Ε??? ? ??? PR ? ? ???????Τ???????? ? ???????? ? ?Υ?τσ??μ/Τ???μ??? ? ?δ???γε??? F-ing modules ? ? ???
- 17. ? σ??μ/Τ???μ??Λ??Δ????? – ?Υ?τ??Λ SATYSFI ?????????ΔΑ????? ? ???Χ?χ?????????????? feature ? on/off ???? ? ???Οο?ε??ε?????ΔΑ???Δ etc. – ???η??λ?? – ???? OCaml ??Υ?τ??Λ??Γ???? ??????? 10 ??Β????????????Δ????? ? ??? ?????Π??? otfm Λ?????????? – github.com/dbuenzli/otfm → github.com/gfngfn/otfm – ??????ε??τ???????ετ?? – ?????Ε????Λ??????????? ?Υ?τσ??μ/Τ???μ??? 17
- 18. ? ???θ??Β otfed ????Π???Λ???? – github.com/gfngfn/otfed – ???????????? otfm ?α??τ??Λ???????? ? PDF ???????????? OK – ε??τ?ε??Δ????ετ???Δ – OCaml ????????? OpenType ?Π????????? – ?δ?????Λ?????? OPAM ?????? ?Υ?τσ??μ/Τ???μ??? 18 ???Θ??
- 19. ? ??????Ε??? ? ??? PR ? ? ???????Τ???????? ? ???????? ? ?Υ?τσ??μ/Τ???μ??? ? ?δ???γε??? F-ing modules ? ? ???
- 20. ? ?ο??δ????????????????????? ???????????????????ΓΞυ?ο? – ??ο??δ?ΝΠ???????Λ??? τ??δΧ?ι?τ??1?????????????? ? ????ο??δ????????????????Δ ? ????????????ο??δ????Ε??????ε?????Δ – ?δ????????????????Δ?? ?????????????????????? ? ??Λ?δ?????Β???Δ????????????? ?Υ?τ??????ο??δ?????????Γ??? ?ο??δ??δ?????? 20 % ?ΝΠ???????ο??δΛ?? @require: stdjareport @require: code ?
- 21. ? ?δ???γε?????????? F-ing modules [Rossberg, Russo Dreyer 2014] Λ?????Λα??τ – ?Ε???δ??? – ?Ν??λ??“?δ???Λ?δ???????????”?????? ? 1 ?ο??δ??? 1 ?δ????????Δ??????Δ – ???Β?????δ???Λ?Ε???Ε?Α? – ???ΝΠ??????Δ???????????Δ ? @require ??????????ο??δ??ε?????Ε?? – ?????????????????????Δ?? SATYSFI ?????????????? Sesterl ??ΕΒ????Λ ?Μ???????????????????Ζ???????Ε? ??? 21
- 22. ??Β?? ?Ν??λ??Δ????????? 22 @require code module PyCode = Code.Make(struct val base-font = (`Menlo`, 1., 0.) val highlight = Code.Syntax.python3 end) ? {… PyCode.show(`print(“Hi!”)`); …} ? ????? – code ???υ?Α?????ΕΔ?Υ?τ????? – ??Λ???Δ API ???????????Δ?????? ? ?????? @require code ? {… code(`print(“Hi!”)`); …} ?Ν??λCode.Make? ελΠ?????δ???Λ??? ??????Ε???Λ PyCode????δ????????
- 23. ? ????????Ε?Γ?????? – refactor-internal ???branch?????????Ν?λ????? – ???? ?3600???1900? ???????????????Β?? ? ????????????δ???γε???????????????Ζ? – mutable reference ? relaxed value restriction [Garrigue 2004] ???????????Δ ? ??Ε???? monadic ??????????? – ??????? ? ???????????????????????????? – Satyrographos [@na4zagin3] ??????????? ? ????? SATYSFI ? OPAM ?ο??δ????Δ??Λ???? ??????????????ΕΔ?? 23
- 24. ? ??????Ε??? ? ??? PR ? ? ???????Τ???????? ? ???????? ? ?Υ?τσ??μ/Τ???μ??? ? ?δ???γε??? F-ing modules ? ? ???
- 25. ? ??????? – ???? – ???????Τ?????Λ???Δ??????? – ????????υ?Π?τ??? – ?????? PR? ? ???Οο?ε?????????????ΝΠ?????? Ruby ???????etc. ? ???????? – ?Υ?τσ??μ/Τ???μ??????? – F-ing modules ???????δ???γε????? ??? 25
- 26. ? Rowan Davies. A temporal-logic approach to binding-time analysis. In Proc. of LICS’96, pages 184–195, 1996. ? Martin Elsman, Troels Henriksen, Danil Annenkov, and Cosmin E. Oancea. Static interpretation of higher-order modules in Futhark: functional GPU programming in the large. In Proc. of ICFP’18, Article 97, 2018. ? Steve Ganz, Amr Sabry, and Walid Taha. Macros as multi-stage computations: type-safe, generative, binding macros in MacroML. In Proc. of ICFP’01, pages 74–85, 2001. ? Jacques Garrigue. Relaxing the Value Restriction. In Functional and Logic Programming. FLOPS 2004. Lecture Notes in Computer Science, vol 2998, 2004. ? Oleg Kiselyov. The design and implementation of BER?MetaOCaml. In Functional and Logic Programming. FLOPS 2014. Lecture Notes in Computer Science, vol 8475, 2014. ? Andreas Rossberg, Claudio Russo, and Derek Dreyer. F-ing modules. Journal of Functional Programming, 24(5), pp. 529–607, 2014. ? Walid Taha and Tim Sheard. Multi-stage programming with explicit annotations. Theoretical Computer Science, 248 (1-2), pages 211–242, 2000. ?????? 26