Jost Berthold jberthold

Splash a.k.a. Oopsla in Auckland

(Atsushi Igarashi)

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

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

"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

new workshop. Motivation: verification systems became so popular but

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

	<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";

	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