jberthold

module GenericChapter where


-- | We define our own "Polynomial functor" type class.
-- Declaring an instance for this type class means to state a rule in
-- the 14.1 rule system for "poly" (static semantics). The respective
-- implementation of @pfmap@ realises the dynamic semantics (evaluation).
class PolyFunc p where
    pfmap :: (a -> b) -> p a -> p b

jberthold

<div>
<table id="cfps" class="sortable" 
       style="margin-top:200px;text-align:center;font-size:small">
<!-- filled by js --></table>
<script type="text/javascript" src="Papers/cfp.js"></script>
<script type="text/javascript">
fillCFPs("cfps");
var sorter = new TINY.table.sorter("sorter");
sorter.head = "head";
sorter.asc = "asc";

jberthold

Emacs

• Good summary on special characters in Emacs minibuffers and in general: http://ergoemacs.org/emacs/emacs_line_ending_char.html
• On replacement by newline: https://stackoverflow.com/a/613029
• toggle-truncate-lines and visual-line-mode
• Join particular windows: C-u C-x 0
• Org mode table commands: https://orgmode.org/manual/Built_002din-Table-Editor.html
  • in particular M + S + Left to delete a column

jberthold

Notes at SPLASH 2022 - 20221205-10 Auckland NZ

Monday 5 12

Static Analysis Symposium (SAS), Keynote

• Bernhard Scholz (Sydney)
• "Souffle (Static analysis toolkit for Datalog)

Historical overview and problem description

jberthold

Notes at SPLASH 2022 - 20221205-10 Auckland NZ

Tue 6 12 - Keynote day

Unsound Workshop: Keynote

About the workshop

new workshop. Motivation: verification systems became so popular but

jberthold

Notes at SPLASH 2022 - 20221205-10 Auckland NZ

Wed 7 12

SLE Keynote: Shigeru Chiba, about embedded DSL - libraries as languages

"People do not want to learn a new language but a new library"

• Language vs Library
  • the era of libraries: people tweak libraries instead of making or modifying languages

jberthold

Notes at SPLASH 2022 - 20221205-10 Auckland NZ

Thu 8 12 : Splash 22 main tracks

c.mann@regmaster.com

Keynote: Mary Shaw "What does it mean to be a programming language"

Mary Shaw: of SWE fame, foundational work in modularity and SW architecture

jberthold

Notes at SPLASH 2022 - 20221205-10 Auckland NZ

Fri 9 12

Random notes

• conversation about debugging (R. O.Callahan):
  • omniscient debugging for Haskell
  • limited history for a debugger? (back-steps)

jberthold

Notes at SPLASH 2022 - 20221205-10 Auckland NZ

Sat 10 12

Keynote : "I can get no - Verification"

(Atsushi Igarashi)

Intro

• SW verification as "the holy grail" (Bill Gates, 2002) is within

jberthold

Splash a.k.a. Oopsla in Auckland

• Monday (Workshops SAS, APLAS)
• Tuesday (Workshops Unsound, LIVE, GPCE - keynotes)
• Wednesday (Workshops SLE, FTSCS)
• Thursday: OOPSLA
• Friday: OOPSLA
• Saturday: OOPSLA