| # Edit this configuration file to define what should be installed on your system. Help is available in the configuration.nix(5) man page and in the NixOS manual (accessible by running ‘nixos-help’). | |
| { config, pkgs, ... }: | |
| { | |
| imports = [ # Include the results of the hardware scan. | |
| ./hardware-configuration.nix | |
| ./ssd-configuration.nix | |
| ./users.nix <home-manager/nixos> | |
| ]; |
| main :: IO () | |
| main = do | |
| starman "covfefe" 10 | |
| putStrLn "Program now shuts down" | |
| --starman super game | |
| starman :: String -> Int -> IO () | |
| starman word n = turn word ['-' | x <- word] n |
Delimited continuations manipulate the control flow of programs. Similar to control structures like conditionals or loops they allow to deviate from a sequential flow of control.
We use exception handling as another example for control flow manipulation and later show how to implement it using delimited continuations. Finally, we show that nondeterminism can also be expressed using delimited continuations.
| import pandas as pd | |
| import argparse | |
| # Example: printStuff('blub.html') | |
| # Where 'blub.html' is downloaded from Moodle | |
| def printStuff(fileName): | |
| table = pd.read_html(fileName)[0] | |
| res = table[1:-2][['Bereich', 'Prozentsatz']] | |
| res['Bereich'] = res['Bereich'].apply(lambda x: int(x[2:])) |
Copyright © 2017 Fantasyland Institute of Learning. All rights reserved.
A function is a mapping from one set, called a domain, to another set, called the codomain. A function associates every element in the domain with exactly one element in the codomain. In Scala, both domain and codomain are types.
val square : Int => Int = x => x * x
| map <M-h> previousTab | |
| map <M-l> nextTab | |
| let searchengine hayoo = "http://hayoo.fh-wedel.de/?query=%s" | |
| let completionengines = ["google", "wikipedia", "hayoo"] | |
| let searchalias h = "hayoo" | |
| let hintcharacters = "asdfghjkl;" | |
| let blacklists = ["https://mail.google.com/*","http://localhost/*","https://www.sharelatex.com/*"] |
| Description='eduroam' | |
| Connection='wireless' | |
| Interface=wlp3s0 | |
| Security='wpa-configsection' | |
| Description="eduroam network" | |
| IP='dhcp' | |
| TimeoutWPA=30 | |
| WPAConfigSection=( | |
| 'ssid="eduroam"' | |
| 'proto=RSN' |