Conception de langage: communiquer avec la machine

parser, tranformer, transpiler, compiler ou encore analyser sont les fers de lance pour construire un compilateur. Mais qu'est-ce qu'un compilateur ? Grosso modo ce n'est rien d'autre qu'un traducteur.

Longtemps laissé pour compte dans le paysage front le compilateur fait son retour dans l'écosystème des frameworks modernes. Par exemple, la stack de l'excellent framework Svelte est basée sur un compilateur. L'idée de ce talk est de voir ensemble les différents modules qui composent la stack d'un compilateur. Pour ensuite pouvoir être capable de créer le notre en Rust from scratch avec zéro dépendances (pas de Bison, pas de Flex). En soi, le langage d'implémentation n'est pas important. Ce qui nous importe, c'est la sémantique et être capable de traduire un langage donné vers un langage cible. Pour notre cas, nous traduirons un langage A vers l'assemblage web (WebAssembly).

Ainsi, notre compilateur produira un programme sûr et optimisé pour le web. Si tu es intéressé par le turfu, ou plutôt curieux de comprendre le fonctionnement des frameworks modernes à l'instar de Svelte. Ce talk éclairera tes zones d'ombres et te donnera le bagage technique pour te permettre de créer ton propre compilateur avec le langage de ton choix.

Transcript

1. CONCEPTION DE LANGUAGE communiquer avec la machine
2. Qui suis-je ? William | @monsieurbadia Software Engineer @ Sfeir Artist
4. Le manuscrit de Voynich
5. Kryptos
6. Ecriture égyptienne
7. Ecriture Gobekli Tepe
8. Ecriture Maya
9. THE INVISIBLE
10. THE INVISIBLE
11. THE INVISIBLE
12. INTRODUCTION
13. HISTOIRE
14. Compiler
15. Compiler High Level Language
16. Compiler High Level Language Low Level Language
17. 1952 1957 1959 A-0 System Fortran Cobol
18. 1972 1991 1995 2010 2014 2012 Python Java Rust Typescript Babel
20. Front-end Compiler pipe
21. Front-end Back-end Compiler pipe
22. Front-end Middle-end Back-end Compiler pipe
23. Front-end ANALYZE Middle-end Back-end Source Code Compiler pipe
24. Front-end ANALYZE Middle-end OPTIMIZATION Back-end Source Code Compiler pipe
25. Front-end ANALYZE Middle-end OPTIMIZATION Back-end GENERATION CODE Machine Code Source Code Compiler pipe
26. Grammar
27. Grammar Notation BNF (Backus-Naur form)
28. Grammar Notation BNF (Backus-Naur form) <if> ::= if <condition> “{“ <instructions> “}”
29. Grammar Notation BNF (Backus-Naur form) EBNF (Ext. Backus-Naur form) <if> ::= if <condition> “{“ <instructions> “}”
30. Grammar Notation BNF (Backus-Naur form) EBNF (Ext. Backus-Naur form) if = if condition { instructions } <if> ::= if <condition> “{“ <instructions> “}”
31. Grammar Notation BNF (Backus-Naur form) EBNF (Ext. Backus-Naur form) if true { return 0; } <if> ::= if <condition> “{“ <instructions> “}” if : if condition “{“ instructions “}”
32. Grammar Notation BNF (Backus-Naur form) EBNF (Ext. Backus-Naur form) <if> ::= if <condition> “{“ <instructions> “}” if : if condition “{“ instructions “}” if true { return 0; }
33. PROJET
34. <script> fun main := () { 
 $print(“hello, world!”) 
 } < / script> <style> h1 { 
 color: red; } 
 < / style> <h1>hello, world! </ h1>
35. <script> fun main := () { 
 $print(“hello, world!”) 
 } < / script> <style> h1 { 
 color: red; } 
 < / style> <h1>hello, world! </ h1>
36. <script> fun main := () { 
 $print(“hello, world!”) 
 } < / script> <style> h1 { 
 color: red; } 
 < / style> <h1>hello, world! </ h1>
37. COMPILER
38. Tokenizer Parser Analyzer Interpreter Input Value Tokens AST AST
39. fun main := () { print("hello, jug summer camp! 👽"); }
40. TOKENIZER
41. Tokenizer [ 
 Token { kind: TokenKind, span: Span { lo: u32, hi: u32, }, }, … 
 ] Source Code
42. PARSER
43. Parser [ 
 Token { kind: TokenKind, span: Span { lo: u32, hi: u32, }, }, … 
 ] Pkg { module: Mod { Items: [ Item {…} … ] }
44. Parser [ 
 Token { kind: TokenKind, span: Span { lo: u32, hi: u32, }, }, … 
 ] Pkg { module: Mod { Items: [ Item {…} … ] }
45. https://astexplorer.net
46. ANALYZER
47. Analyzer Pkg { module: Mod { Items: [ Item {…} … ] } Pkg { module: Mod { Items: [ Item {…} … ] }
48. INTERPRETER
49. Interpreter Hello world! Pkg { module: Mod { Items: [ Item {…} … ] } Scope
50. DEMO
51. WEB COMPILER
52. <script> fun main := () { 
 $print(“hello, world!”) 
 } < / script> <style> h1 { 
 color: red; } 
 < / style> <h1>hello, world! </ h1> Hello world!
53. Tokenizer Parser Renderer Input WASM Tokens AST
54. DEMO
55. CONCLUSION
56. Rust Javascript Logic WASM Controller Back-end Front-end
58. @monsieurbadia
59. AST https://astexplorer.net Cryptology https://fr.wikipedia.org/wiki/Manuscrit_de_Voynich https://fr.wikipedia.org/wiki/Kryptos_(sculpture) Compiler https://github.com/DoctorWkt/acwj https://github.com/jamiebuilds/the-super-tiny-compiler http://www.craftinginterpreters.com Framework https://svelte.dev https://github.com/malinajs/malinajs Grammar https://bnfplayground.pauliankline.com https://fr.wikipedia.org/wiki/Extended_Backus-Naur_Form https://fr.wikipedia.org/wiki/Forme_de_Backus-Naur Programming Languages https://fr.wikipedia.org/wiki/Liste_de_langages_de_programmation https://www.rust-lang.org/fr https://webassembly.org Side Project https://qhantoom.dev https://github.com/qhantoom/qhantoom https://github.com/qhantoom/qheops Streamers https://www.twitch.tv/j_blow https://www.twitch.tv/gamozo