Diagrams A Functional EDSL for Vector Graphics Ryan Yates Brent - PowerPoint PPT Presentation

Mar 12, 2023 •471 likes •745 views

Diagrams A Functional EDSL for Vector Graphics Ryan Yates Brent Yorgey FARM Vancouver, BC, Canada 5 September 2015 What is diagrams? Domain-specific language for vector graphics What is diagrams? Domain-specific language for vector

Diagrams A Functional EDSL for Vector Graphics Ryan Yates Brent Yorgey FARM Vancouver, BC, Canada 5 September 2015
What is diagrams? • Domain-specific language for vector graphics
What is diagrams? • Domain-specific language for vector graphics • Embedded in Haskell
What is diagrams? • Domain-specific language for vector graphics • Embedded in Haskell • 7+ years of development
What is diagrams? • Domain-specific language for vector graphics • Embedded in Haskell • 7+ years of development • Large, active, creative community
Why an EDSL? • Powerful, programmable alternative to Illustrator, Inkscape, PGF/TikZ
Why an EDSL? • Powerful, programmable alternative to Illustrator, Inkscape, PGF/TikZ • Tools influence the creative process
cabal install diagrams http://projects.haskell.org/diagrams (second Google result!)
Demo: visualizing binary trees
Tree visualizations
More examples
3D Trees seeds/seeds.html http://www.cs.rochester.edu/u/ryates/art/seeds/
Burrows-Wheeler Transform
Weaving a Torus http://mathr.co.uk/blog/2013-04-05_weaving_a_ torus.html
Parking in Westminster https://idontgetoutmuch.wordpress.com/2013/10/23/ parking-in-westminster-an-analysis-in-haskell/
ghc-events-analyze http://www.well-typed.com/blog/86/ hackage.haskell.org/package/ghc-events-analyze
Cretan maze http://www.corentindupont.info/blog/posts/ 2014-02-17-Cretan-Maze.html
Puzzles https://maybepuzzles.wordpress.com/2014/04/07/ drawing-puzzles-with-the-haskell-diagrams-framework/
Stencil diagrams https://readerunner.wordpress.com/2014/04/29/ red-black-neighbourhood-stencil-diagrams/
Num chart https://martingalemeasure.wordpress.com/2014/07/ 07/haskell-numeric-types-quick-reference/
Happy diagramming!

Recommend

Visualizing Geometric Proofs 3D surface diagrams Lukas Heidemann Diagrams 0-diagrams 1

Visualizing Geometric Proofs 3D surface diagrams Lukas Heidemann Diagrams 0-diagrams 1 1-diagrams: bead diagrams 2 1-diagrams: bead diagrams 2 2-diagrams: string diagrams 3 2-diagrams: string diagrams 4 2-diagrams: string diagrams 5

696 views • 40 slides

Todays Lecture INF 111 / CSE 121: UML Software Tools and Methods Package Diagrams

Todays Lecture INF 111 / CSE 121: UML Software Tools and Methods Package Diagrams State Transition Diagrams Activity Diagrams y g Communication Diagrams Lecture Notes for Summer Quarter, 2008 Michele Rousseau Set 8

462 views • 7 slides

1 Class Diagrams and Entity Relationship Diagrams (ERD) Class diagrams and ERDs both model the

Tutorial W eek 7 - Class and Entity-Relationship Diagram s 1 Class Diagrams and Entity Relationship Diagrams (ERD) Class diagrams and ERDs both model the structure of a system. Class diagrams represent the dynamic aspects of a system: both

166 views • 14 slides

UML Class Diagrams Steven Zeil February 25, 2013 UML Class Diagrams Outline Class

UML Class Diagrams UML Class Diagrams Steven Zeil February 25, 2013 UML Class Diagrams Outline Class Diagrams 1 A Class, in Isolation 2 Attributes Operations Generalization Relationships 3 Associations 4 Naming Your

948 views • 68 slides

E/R Diagrams Converting E/R Diagrams to Relations DB design is a serious and

E/R Diagrams Converting E/R Diagrams to Relations DB design is a serious and possibly complex business. A client may know they want a database, but they don t know what they want in it or how it should look. E/R

977 views • 75 slides

Software Engineering I (02161) Week 7: Sequence Diagrams, Class Diagrams II, Layered Architecture

Software Engineering I (02161) Week 7: Sequence Diagrams, Class Diagrams II, Layered Architecture Assoc. Prof. Hubert Baumeister DTU Compute Technical University of Denmark Spring 2017 Contents Recap Sequence Diagrams Object-orientation:

497 views • 48 slides

Outline Finish E/R diagrams (Chapter 2) Lecture 08: And E/R diagrams to relations (3.2,

Outline Finish E/R diagrams (Chapter 2) Lecture 08: And E/R diagrams to relations (3.2, 3.3) The relational data model: 3.1 Functional dependencies: 3.4 Wednesday, October 16, 2002 1 2 Product Subclasses to Relations

303 views • 6 slides

Computational Geometry Lecture 13: More on Voronoi diagrams Computational Geometry Lecture 13:

Voronoi diagrams of line segments Farthest-point Voronoi diagrams More on Voronoi diagrams Computational Geometry Lecture 13: More on Voronoi diagrams Computational Geometry Lecture 13: More on Voronoi diagrams Motion planning for a disc

1.69k views • 92 slides

Software Design The Dynamic Model Design Sequence Diagrams and Communication Diagrams

Software Design The Dynamic Model Design Sequence Diagrams and Communication Diagrams Instructor: Dr. Hany H. Ammar Dept. of Computer Science and Electrical Engineering, WVU Ouline UML Development Overview The Requirements,

605 views • 29 slides

eight shear & bending moment diagrams Forum, Pompeii V & M Diagrams 1 Architectural

A RCHITECTURAL S TRUCTURES : F ORM, B EHAVIOR, AND D ESIGN A RCH 331 D R. A NNE N ICHOLS F ALL 2018 lecture eight shear & bending moment diagrams Forum, Pompeii V & M Diagrams 1 Architectural Structures F2018abn Lecture 8 ARCH 331

349 views • 19 slides

2 Binary Decision Diagrams 2. Binary Decision Diagrams Verification Technology Content 2.1 BDD

Fachgebiet Rechnersysteme 2. Binary Decision Diagrams 1 2 Binary Decision Diagrams 2. Binary Decision Diagrams Verification Technology Content 2.1 BDD concepts 2 2 Variable orderings 2.2 Variable orderings 2.3 OBDD algorithms 2 4 FDDs

1.76k views • 165 slides

Lexis Diagrams June 1996 Griffith Feeney Lexis Diagrams represent relationships between

Lexis Diagrams June 1996 Griffith Feeney Lexis Diagrams represent relationships between sets of persons and events are a specialized, highly effective visual language like any other language, require study and practice for

819 views • 50 slides

CSE 416 Objects from Use Cases Class Diagrams Reference Class diagrams

Session 6 Class Diagrams / Objects from Use Cases CSE 416 Objects from Use Cases Class Diagrams Reference Class diagrams en.wikipedia.org/wiki/Class_diagram 2 Robert F. Kelly, 2014-2020 1 9/15/2020 Robert Kelly, 2005-2020

305 views • 14 slides

Lucky in the Cloud With Diagrams Jan Khnlein Miro Spnemann @jankoehnlein @sponemann Sprotty

Lucky in the Cloud With Diagrams Jan Khnlein Miro Spnemann @jankoehnlein @sponemann Sprotty CSS Live Diagrams in Your Web Application Live Diagrams in Your Web IDE Outline Base architecture Main components The model source

400 views • 26 slides

Modelling Biochemical Reaction Networks Lecture 21: Phase diagrams Marc R. Roussel Department

Modelling Biochemical Reaction Networks Lecture 21: Phase diagrams Marc R. Roussel Department of Chemistry and Biochemistry Phase diagrams Bifurcation diagrams show us, among other things, where bifurcations occur as we vary the parameters

382 views • 12 slides

Specifying Requirements with Use Case Diagrams OUTLINE Introduction Use Case Diagrams Writing

Specifying Requirements with Use Case Diagrams OUTLINE Introduction Use Case Diagrams Writing Use Cases Guidelines for Effective Use Cases SOURCE OF REQUIREMENTS Initial requirements come from the customer, by: Documents, Meetings,

866 views • 32 slides

CSE 416 UML Sequence Diagrams Reading / Reference Reading

Session 10 UML Sequence Diagrams CSE 416 UML Sequence Diagrams Reading / Reference Reading www.ibm.com/developerworks/rational/library/3101.html Reference www.lucidchart.com/pages/uml-sequence-diagram 2 Robert Kelly, 2012-2020

467 views • 12 slides

Rectangular Diagrams and Jones Conjecture II: Legendrian Graphs, bypasses, and simplifying

Rectangular Diagrams of Legendrian Graphs diagrams and bypasses Destabilize the diagram during disc simplification Rectangular Diagrams and Jones Conjecture II: Legendrian Graphs, bypasses, and simplifying discs Ivan Dynnikov, Maxim

696 views • 42 slides

Sequence Diagrams Ferd van Odenhoven Fontys Hogeschool voor Techniek en Logistiek May 27, 2015

Sequence Diagrams Example and Assignment Sequence Diagrams Ferd van Odenhoven Fontys Hogeschool voor Techniek en Logistiek May 27, 2015 FvO/FHTBM Sequence Diagrams May 27, 2015 1/17 Sequence Diagrams Sequence Diagram Elements Example and

285 views • 17 slides

Modeling with UML Chapter 2, lecture 1, Overview: modeling with UML What is modeling?

Object-Oriented Software Engineering Using UML, Patterns, and Java Modeling with UML Chapter 2, lecture 1, Overview: modeling with UML What is modeling? What is UML? Use case diagrams Class diagrams Sequence diagrams Bernd

357 views • 22 slides

Computational Geometry Lecture 10: Voronoi diagrams 1 Computational Geometry Lecture 10:

Motivation Voronoi diagrams Voronoi diagrams Computational Geometry Lecture 10: Voronoi diagrams 1 Computational Geometry Lecture 10: Voronoi diagrams Motivation Voronoi diagrams Voronoi diagrams Spatial interpolation Voronoi diagram

985 views • 77 slides

Computational Geometry Lecture 10: Voronoi diagrams Computational Geometry Lecture 10: Voronoi

Motivation Voronoi diagrams Voronoi diagrams Computational Geometry Lecture 10: Voronoi diagrams Computational Geometry Lecture 10: Voronoi diagrams Motivation Voronoi diagrams Voronoi diagrams Spatial interpolation Voronoi diagram Given

1.14k views • 77 slides

I need to draw circuits and diagrams! Orestes Mas (orestes@tsc.upc.edu) - UPC Quality diagrams

Quality diagrams with PyCirkuit Orestes Mas (orestes@tsc.upc.edu) Polytechnic University of Catalonia 2nd February 2020 , FOSDEM 20 Quality diagrams with PyCirkuit Orestes Mas (orestes@tsc.upc.edu) Polytechnic University of Catalonia 2nd

348 views • 23 slides

Brick diagrams, string diagrams, proof trees, k-d trees Jules Hedges Jelle Herold Max Planck

Brick diagrams, string diagrams, proof trees, k-d trees Jules Hedges Jelle Herold Max Planck Institute for Statebox Mathematics in the Sciences We have plenty of stringy proof assistants Quantomatic Globular Opetopic We need a stringy

1.22k views • 24 slides