Analizadores sintácticos funcionales en JavaScript

LimaJS 29 Mayo 2020

Transcript

1. Analizadores sintácticos funcionales en JavaScript Aka “Functional parsing in JavaScript” @lupomontero - LimaJS 29 Mayo 2020
2. @Laboratoriala @LimaJSorg @NodeSchool @lupomontero @mozillaperu ⏸ ⏸ ⏸
4. ⚠ Lo que vamos a ver a continuación probablemente no sea algo que quieras o debas aplicar “literalmente” en tus proyectos de JavaScript, pero es un lindo ejemplo para pensar en funciones, HOFs, composición de funciones y arquitectura.
6. Parte 1 1. ¿Por qué? 2. ¿Qué es parsing? a. Análisis sintáctico b. Gramática formal c. Parser en ciencias de la computación 3. ¿Qué es la programación funcional? 4. Definición de parser funcional 1. Ejemplo/demo: parser de expresiones aritméticas a. Gramática formal b. Primitivos i. char ii. choice iii. seq c. Implementación 2. Otros ejemplos Parte 2
7. Parte 1
8. ¿Por qué les quiero hablar de esto? • Vivimos rodeados de parsers (ej: JSON.parse, http parser de node, parsers de HTML, CSS, acorn, esprima …) • Ciencias de la computación • FP / Estilo declarativo • Belleza / elegancia • Versatilidad de JavaScript como lenguaje de implementación • Me gustan los parsers (psl)
9. ¿Por qué les quiero hablar de esto? • Vivimos rodeados de parsers (ej: JSON.parse, http parser de node, parsers de HTML, CSS, acorn, esprima …) • Ciencias de la computación • FP / Estilo declarativo • Belleza / elegancia • Versatilidad de JavaScript como lenguaje de implementación • Me gustan los parsers (psl) find . -type d -name psl
11. ¿Qué es parsing? Parsing, syntax analysis, or syntactic analysis is the process of analyzing a string of symbols, either in natural language, computer languages or data structures, conforming to the rules of a formal grammar. The term parsing comes from Latin pars (orationis), meaning part (of speech). https://en.wikipedia.org/wiki/Parsing
12. ¿Qué es parsing? Parsing, syntax analysis, or syntactic analysis is the process of analyzing a string of symbols, either in natural language, computer languages or data structures, conforming to the rules of a formal grammar. The term parsing comes from Latin pars (orationis), meaning part (of speech). https://en.wikipedia.org/wiki/Parsing
13. Análisis sintáctico
14. La gente aprende en el meetup Sujeto Predicado Det Sustantivo Verbo CC de lugar
15. 2 + 3 * 4 Expr Term Term Factor Factor
16. Gramática formal
17. Gramática formal (McKeeman Form) expr term '+' expr term term factor '*' term factor factor '(' expr ')' number
18. Diagramas de ferrocarril
19. Parsers en computación
20. Parsers en computación Input (texto) -> Árbol (estructura de datos) 2 3 4 * + 2 + 3 * 4
21. Tipos de parsers en diseño de compiladores Parser Top-down Bottom-up Recursive descent LL(1) LR Operator precedence LR(0) SLR(1) LALR(1) CLR(1)
22. Tipos de parsers en diseño de compiladores Parser Top-down Bottom-up Recursive descent LL(1) LR Operator precedence LR(0) SLR(1) LALR(1) CLR(1) Parsers funcionales (Parser combinators)
23. ¿Qué es Programación Funcional?
24. ¿Qué es programación funcional? • Paradigma de programación • Estilo declarativo (opuesto a imperativo) • Lógica combinatoria / cálculo lambda
25. Principios de la programación funcional • Funciones puras (predecibles y sin efectos colaterales) • Composición de funciones • Evitar estado compartido • Evitar estado cambiante (inmutabilidad)
26. Definamos parser como tipo
31. Pasemos a JavaScript...
32. Parsers de Orden Superior y combinadores
33. Parte 2
34. Parser de expresiones aritméticas
35. Gramática formal (McKeeman Form) expr term '+' expr term term factor '*' term factor factor '(' expr ')' number
36. Primitivos • char(c)(str) • choice(parser1, parser2, ..., parserN)(str) • seq(parsers, [reducer])(str)
37. char(c)(str)
38. choice(parser1, parser2, ..., parserN)(str)
39. seq(parsers, [reducer])(str)
40. Declarativo FTW!
42. Otros ejemplos
43. Otros ejemplos • Number • Whitespace • Arithmetic • JSON https://github.com/lupomontero/parsing
44. Conclusiones
45. Conclusiones • Explorar • Jugar • Aprender • Búsqueda de belleza y simplicidad
46. Links / Bibliografía • Código fuente y ejemplos • Introducción a programación funcional en JavaScript — Parte 1 • Introducción a la programación funcional en JavaScript — Parte 2: Funciones Puras • Introducción a la programación funcional en JavaScript — Parte 3: Composición • Functional Parsing - Computerphile • Parsing - Wikipedia • Parser combinator - Wikipedia • Syntax diagram - Wikipedia • McKeeman Form • JSON spec • Executable Attribute Grammars for Modular and Efficient Natural Language Processing, Rahmatullah Hafiz, University of Windsor 2011
47. Fin