This presentation was recorded at YOW! 2019. #GOTOcon #YOW
Tony Morris - Software Engineer at Simple Machines
RESOURCES
ABSTRACT
Trees That Grow *(Najd, Shayan and Peyton-Jones, Simon, 2016)* is proposed as a solution to a problem that regularly affects authors of deep and detailed algebraic structures. A #DataStructure denoting a syntax tree for a #ProgrammingLanguage is typically very intricate and a small alteration deep in the tree can affect all siblings and parents of that tree. For example, adding a minor language feature to a syntax tree can have flow-on effects for the remainder of the tree. Classy lenses & prisms are a very powerful tool to overcome this common issue, which we will look at in this talk, but we will primarily look at another more recent proposal in #TreesThatGrow (#TTG) to contrast and explore.
Although this general problem is canonically explained in terms of a programming language syntax tree (such as lambda calculus), we will also look at another application in aviation where TTG has been used to implement a flexible data structure tree in aviation documentation. The outcome of the talk is to provoke a discussion about this common programming problem, and the methods and trade-offs by which it might be overcome. TTG is also proposed as a solution to extending the #Haskell programming language in the #GlasgowHaskellCompiler (#GHC).
Overall, the audience will get a good feel for the details of the problem that we are dealing with, then we explore some of the methods by which we can mitigate the problem, with an emphasis on gaining an understanding for Trees That Grow. [...]
RECOMMENDED BOOKS
Vitaly Bragilevsky • Haskell in Depth •
Rebecca Skinner • Effective Haskell •
Graham Hutton • Programming in Haskell •
John Whitington • Haskell from the Very Beginning •
#FunctionalProgramming #SoftwareEngineering #Programming #TonyMorris #YOWcon
Looking for a unique learning experience?
Attend the next GOTO conference near you! Get your ticket at
Sign up for updates and specials at
SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily.
1 view
0
0
7 years ago 00:06:10 143
Ultra Realistic Trees - Cheap Trees That Look Amazing! - Model Scenery
5 years ago 00:03:02 23
That Mitchell and Webb Look - Smell Off Linden Trees
5 years ago 00:03:14 270
Creepy Trees That Look Like Someone Or Something Sculpted Them
6 years ago 00:02:51 2
Geese that grow on trees?
4 years ago 00:04:05 72
Oliver Tree - All That x Alien Boy [Official Music Video]
2 years ago 00:03:20 8
Trees That Call My Name
6 years ago 02:03:15 45
(Raw) That one job with four guys three trees in two hours .
3 years ago 00:02:26 29
Whispering Trees
8 years ago 00:01:47 16
Ecosia, the search engine that plants trees
6 years ago 01:04:00 2
Money that grows on Trees FREE ZOOM
6 years ago 00:04:14 1
Even The Trees - All That Jazz.
8 years ago 00:06:18 39
Grafting Lemon Trees – Grafting Fruit Trees by T-budding
4 years ago 00:02:12 73
More Airtime = More Trees!
11 years ago 00:02:39 53
Taller Than Trees - Vessels
1 year ago 00:25:35 1
Trees That Grow • Tony Morris • YOW! 2019
11 years ago 00:04:34 66
Snoop Dogg - That Tree ft. Kid Cudi
6 years ago 00:06:40 18
Pictures of Bread that have been Stapled to Trees
6 years ago 00:04:22 1
Even The Trees - All That Jazz Live
7 years ago 04:18:47 4
Персиковое Время #17 - All that Red JoJo Trees
8 years ago 00:02:39 206
Balloon Trees Eindhoven: making of
6 years ago 00:06:18 14
Super Trees: Climbing a Giant Sequoia | Nat Geo Live