Upgrade to Pro — share decks privately, control downloads, hide ads and more …

The sbt-rats parser generator plugin for Scala

Avatar for Tony Sloane Tony Sloane
October 30, 2016
Research
0
760

The sbt-rats parser generator plugin for Scala

With Franck Cassez and Scott Buckley. Tool talk at Scala Symposium 2016, Amsterdam.

Avatar for Tony Sloane

Tony Sloane

October 30, 2016
Tweet

More Decks by Tony Sloane

See All by Tony Sloane
Embedding Attribute Grammars
Avatar for Tony Sloane inkytonik
0
78
Respect Your Parents: How Attribution and Rewriting Can Get Along
Avatar for Tony Sloane inkytonik
0
110
LLVM and Scala
Avatar for Tony Sloane inkytonik
2
340
The Moama Functional Language Design and Implementation (and quite a bit about the Monto Disintegrated Development Environment)
Avatar for Tony Sloane inkytonik
0
120
Embedded Domain-Specific Languages
Avatar for Tony Sloane inkytonik
0
190
Monto: A Disintegrated Development Environment (WG 2.11 version)
Avatar for Tony Sloane inkytonik
2
130
Monto: A Disintegrated Development Environment
Avatar for Tony Sloane inkytonik
1
240
Respect Your Parents: How Attribution and Rewriting Can Get Along
Avatar for Tony Sloane inkytonik
0
250
Embedding a Rewriting DSL in Scala
Avatar for Tony Sloane inkytonik
0
160

Other Decks in Research

See All in Research
「どう育てるか」より「どう働きたいか」〜スクラムマスターの最初の一歩〜
Avatar for hirakawa hirakawa51
0
850
日本語新聞記事を用いた大規模言語モデルの暗記定量化 / LLMC2025
Avatar for Shotaro Ishihara upura
0
160
機械学習と数理最適化の融合 (MOAI) による革新
Avatar for MIKIO KUBO mickey_kubo
0
210
多言語カスタマーインタビューの“壁”を越える~PMと生成AIの共創~ 株式会社ジグザグ 松野 亘
Avatar for Wataru Matsuno watarumatsuno
0
120
なめらかなシステムと運用維持の終わらぬ未来 / dicomo2025_coherently_fittable_system
Avatar for monochromegane monochromegane
0
2.6k
電通総研の生成AI・エージェントの取り組み エンジニアリング業務向けAI活用事例紹介
Avatar for AITC - DENTSU SOKEN isidaitc
1
920
【輪講資料】Moshi: a speech-text foundation model
for real-time dialogue
Avatar for Hayato Tsukagoshi hpprc
3
640
SSII2025 [SS2] 横浜DeNAベイスターズの躍進を支えたAIプロダクト
Avatar for 画像センシングシンポジウム ssii
PRO
7
3.9k
Creation and environmental applications of 15-year daily inundation and vegetation maps for Siberia by integrating satellite and meteorological datasets
Avatar for SatAI.challenge satai
3
260
snlp2025_prevent_llm_spikes
Avatar for Sho Takase takase
0
160
問いを起点に、社会と共鳴する知を育む場へ
Avatar for MATSUMOTO Ryosuke matsumoto_r
PRO
0
600
単施設でできる臨床研究の考え方
Avatar for Shuntaro Sato shuntaros
0
2.6k

Featured

See All Featured
Improving Core Web Vitals using Speculation Rules API
Avatar for Sergey Chernyshev sergeychernyshev
18
1.1k
ReactJS: Keep Simple. Everything can be a component!
Avatar for Pedro Nauck pedronauck
667
120k
Documentation Writing (for coders)
Avatar for Carmen Chung carmenintech
74
5k
Product Roadmaps are Hard
Avatar for C. Todd Lombardo iamctodd
PRO
54
11k
VelocityConf: Rendering Performance Case Studies
Avatar for Addy Osmani addyosmani
332
24k
The Pragmatic Product Professional
Avatar for Laura Van Doore lauravandoore
36
6.8k
Site-Speed That Sticks
Avatar for Harry Roberts csswizardry
10
810
A Tale of Four Properties
Avatar for Chris Coyier chriscoyier
160
23k
How STYLIGHT went responsive
Avatar for nonsquared nonsquared
100
5.8k
The Invisible Side of Design
Avatar for Vitaly Friedman smashingmag
301
51k
Testing 201, or: Great Expectations
Avatar for Joseph Mastey jmmastey
45
7.6k
Done Done
Avatar for chrislema chrislema
185
16k

Transcript

  1. THE SBT-RATS PARSER GENERATOR PLUGIN FOR SCALA Anthony Sloane Franck

    Cassez Scott Buckley Programming Languages and Verification Group Macquarie University, Sydney, Australia

  2. DEMO

  3. RATS! http://cs.nyu.edu/rgrimm/xtc/rats-intro.html Robert Grimm Parsing expression grammars Packrat parsing Generates

    Java

  4. MORE RATS!

  5. SYNTAX DEFINITIONS

  6. SYNTAX DEFINITIONS

  7. TREE DEFINITION

  8. PRETTY-PRINTING

  9. BINARY PARSING

  10. EXPRESSIONS

  11. SCALA LLVM LIBRARY

  12. MQ SCALA SMTLIB Replaces a hand-written lexer, parser, pretty-printer of

    more than 2,500 Scala code lines with less than 500 lines of syntax definition

  13. SOFTWARE LANGUAGE ENGINEERING AT MACQUARIE UNIVERSITY https://bitbucket.org/inkytonik/sbt-rats https://bitbucket.org/inkytonik/kiama [email protected] @inkytonik

    on Twitter High-level language processing in a familiar programming setting strategic term rewriting dynamically-scheduled attribute grammars abstract state machines pretty-printing combinators