wouter-swierstra

// A type-level SAT solver in Swift


// Two types to model Booleans
struct True { }

struct False { }

// Negation, Conjunction, Disjunction

wouter-swierstra

// Two structs
struct One{ }
struct Two{ }

// Overloading the foo function - 
// it should always take two arguments, one of type One; the other of type Two
func foo(x:One,y:Two) {return }
func foo(x:Two,y:One) {return }

// In this example, Swift's type checker figures out that x must have type Two

wouter-swierstra

Local information about CocoaHeads

The CocoaHeads NL meeting will be held at University of Utrecht on the campus, de Uithof. There are very regular busses to the Uithof from Utrecht CS (the main train station). For example, line 12 departing from Platform C3. Utrecht CS is currently undergoing some major renovation. You may want to take this into account when plannig your journey.

Dinner, drinks and reception will be from 18:00 to 19:00 in the Educatorium:

Click here for a picture

There is a large cantine on the ground floor of the Educatorium – you can't miss it. We will be in the Balkon Pi. Look for the hidden staircase in the corner of the cantine.

wouter-swierstra

GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
Prelude> 1 + 2
3
Prelude> minimum(100,1)
1
Prelude> minimum(1,100)
100
Prelude> let splat = splitAt 5 [0..10]
Prelude> splat
([0,1,2,3,4],[5,6,7,8,9,10])

wouter-swierstra

import smtplib, ssl, sys, csv, getpass, time
# Call this file passing a semi-colon separated csv file as argument, e.g.:
# > python notification.py marks.csv

# Set debug to False to really send out emails!
# Set debug to True prints draft emails to stdout
debug          = False
fromAddress    = '[email protected]'
username       = '[email protected]'
subject        = 'Resultaat voor Logica voor Informatica'