Download to read offline
Uploaded byGrammarly
Vitalii Braslavskyi - Declarative engineering
Grammarly is an AI-powered writing assistant that enhances communication clarity and effectiveness, boasting over 20 million daily active users. The document covers various programming concepts including declarative programming, domain-specific languages (like SQL), and tools for parsing and interpreting data. It also discusses the importance of managing version control and implementing effective data structures in software development.
More Related Content
Similar to Vitalii Braslavskyi - Declarative engineering
Vitalii Braslavskyi - Declarative engineering
- 2. What is Grammarly? Grammarly’sAI-powered writing assistant helps you make your communication clear and effective, wherever you type.
- 3. 200+ team members acrossoffices in San Francisco, New York, Kyiv, and Vancouver 2,000+ Institutional and enterprise clients 20M+ daily active users around the world Grammarly by the numbers
- 4. Let’s imagine asimple function f(x) = sin(x)
- 10.
- 11. declarativus, from past-participlestem of Latin declarare, “to make clear, reveal, disclose, announce” Declare
- 12. In computer science,declarative programming is a programming paradigm—a style of building the structure and elements of computer programs—that expresses the logic of a computation without describing its control flow. Declarative programming
- 13. DSL Domain- Specific Language ● SQL ● XML/ HTML ● … many others
- 14. SQL SQL (/ˌɛsˌkjuːˈɛl/ (listen)S-Q-L, /ˈsiːkwəl/ "sequel"; Structured Query Language) is a domain-specific language used in programming and designed for managing data held in a relational database management system (RDBMS)...
- 15.
- 16.
- 17.
- 18.
- 19. CAN RUN FASTERAFTER UPDATE ✅ ✅ INTUITIVE CONTROLS ✅ ✅ INNOVATIVE SOLUTION AT THE TIME ✅ ✅ EVERYBODY LIKES IT ❌ ✅
- 20.
- 21. > State ->View -> Message - Elm architecture / MVU
- 22. Model (State) View f( )= John Dough OK name: John surname: Dough
- 23.
- 24. f ( )= John Doe OK name:John surname: Doe f()=message: SurnameFieldEdited “Doe”
- 26.
- 27.
- 28.
- 29.
- 30.
- 31.
- 32. 🧨 System.NullReferenceException Transforms tothe real nullable Underlying type is the same
- 33.
- 34. 🧨 Empty string //won’t compile
- 35. Nullable + references+ API = 🎁
- 36. 🎁 Option monad Some: value None ❓ nice API
- 38.
- 39.
- 40.
- 41.
- 42.
- 43.
- 44.
- 45.
- 46.
- 47.
- 48.
- 49. Expressions Expression: produces valueor side effects Statement: produces only side effects
- 53.
- 55. F# 111 2 43 E A DG B E 1 5 1 3 5 1 1 2 3 4
- 56.
- 57.
- 58.
- 59.
- 60.
- 61. Remember this guy? Thisis him now
- 62. Which property ofthe item
- 63. Partial application Functions compositionPipe-forward
- 64.
- 65.
- 66.
- 67.
- 68. Algebraic Data Types // won’t compile //compiles ✅ // ... function implementation
- 69.
- 72.
- 74.
- 75.
- 76.
- 77.
- 78.
- 79.
- 80. ● Declarative wayof specifying JSON structure ● Invariants enforced at the domain boundary d What do we get?
- 81.
- 82.
- 83. ● Precise controlover the versions distribution ● Clear way to specify which version goes to which user Update Rules 1.1.6 1.3.31.2.5
- 84. Existing QL for JSON ●Solutions for NoSQL DBs ● Bloated imperative syntax ● Json.NET LINQ requires code deployments ● GraphQL is too massive
- 86. Building declarative toolsusing declarative tools
- 87. ● JSON-like, easyto remember, intuitive syntax ● Safe way to adjust behavior without code deployment ● Straightforward way to tune rules behaviour without changing configuration What do we get?
- 88. Log Crawler 📒 ●Select the whole line or go by each word ● Match by regex or substring ● Print to console or write to file
- 89.
- 90.
- 91.
- 92.
- 93.
- 94.
- 95.
- 96.
- 97. Log Crawler Running Repository: https://github.com/6ruce/log-crawler/ ~100 LinesOf Code: Types + Parsing + Interpreting
- 98. Summary: Make thecomputer work for you Compiler Static analyzer Computer DSL eDSL Linter Type checker IDE Syntax sugar Runtime Abstractions
- 99.
- 100. Links: Parse, don’t validate: https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t- validate/ Railway-orientedprogramming: https://fsharpforfunandprofit.com/rop/ Expressions vs. Statements: https://fsharpforfunandprofit.com/posts/expressions-vs- statements/ LanguageExt: Thinking functionally: https://github.com/louthy/language-ext/wiki/Thinking- Functionally FParsec: Parsing library: https://www.quanttec.com/fparsec/