Conception de langage: communiquer avec la machine (DevFest Lille)

Transcript

1. CONCEPTION DE LANGUAGE communiquer avec la machine
2. THE INVISIBLE
3. THE INVISIBLE
4. THE INVISIBLE
5. Le manuscrit de Voynich
6. Kryptos
7. Ecriture égyptienne
8. Ecriture Gobekli Tepe
9. Ecriture Maya
10. Qui suis-je ? William | @monsieurbadia Software Engineer @ Sfeir Artist
13. INTRODUCTION
14. DEFINITION
15. Compiler
16. Compiler High Level Language
17. Compiler High Level Language Low Level Language
19. Front-end Compiler pipe
20. Front-end Back-end Compiler pipe
21. Front-end Middle-end Back-end Compiler pipe
22. Front-end ANALYZE Middle-end Back-end Source Code Compiler pipe
23. Front-end ANALYZE Middle-end OPTIMIZATION Back-end Source Code Compiler pipe
24. Front-end ANALYZE Middle-end OPTIMIZATION Back-end GENERATION CODE Machine Code 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) <if> ::= if <condition> “{“ <instructions> “}”
28. Grammar Notation BNF (Backus-Naur form) EBNF (Ext. Backus-Naur form) <if> ::= if <condition> “{“ <instructions> “}” if : if condition “{“ instructions “}”
29. Grammar Notation BNF (Backus-Naur form) EBNF (Ext. Backus-Naur form) if true { return 0; } <if> ::= if <condition> “{“ <instructions> “}” if : if condition “{“ instructions “}”
30. PROJET
31. https://github.com/qhantoom/qhantoom
35. COMPILER
37. Tokenizer Parser Analyzer Codegen Input Executable Tokens AST AST
38. TOKENIZER
39. Tokenizer [ 
 Token { kind: TokenKind, span: Span { lo: u32, hi: u32, }, }, … 
 ] Source Code
40. PARSER
41. Parser [ 
 Token { kind: TokenKind, span: Span { lo: u32, hi: u32, }, }, … 
 ] Pkg { module: Mod { Items: [ Item {…} … ] }
42. Parser [ 
 Token { kind: TokenKind, span: Span { lo: u32, hi: u32, }, }, … 
 ] Pkg { module: Mod { Items: [ Item {…} … ] }
43. ANALYZER
44. Analyzer Pkg { module: Mod { Items: [ Item {…} … ] } Pkg { module: Mod { Items: [ Item {…} … ] }
45. CODEGEN
46. Codegen Hello world! Pkg { module: Mod { Items: [ Item {…} … ] } Scope
47. AOT
48. AOT - Generate bytecode
49. AOT JIT - Generate bytecode
50. AOT JIT - Generate bytecode - Generate bytecode - Run bytecode
51. AOT JIT CRANELIFT - Generate bytecode - Generate bytecode - Run bytecode
52. DEMO
53. CONCLUSION
55. @monsieurbadia
56. AST https://astexplorer.net Back-end https://github.com/bytecodealliance/wasmtime/tree/main/cranelift https://gitlab.com/taricorp/llvm-sys.rs Compiler https://github.com/DoctorWkt/acwj https://github.com/jamiebuilds/the-super-tiny-compiler http://www.craftinginterpreters.com Cryptology https://fr.wikipedia.org/wiki/Manuscrit_de_Voynich https://fr.wikipedia.org/wiki/Kryptos_(sculpture) 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