| #!/bin/sh | |
| command="${*}" | |
| printf "Initialized REPL for [%s]\n" "$command" | |
| printf "%s> " "$command" | |
| read -r input | |
| while [ "$input" != "" ]; | |
| do | |
| eval "$command $input" | |
| printf "\n%s> " "$command" |
A type is a collection of possible values. An integer can have values 0, 1, 2, 3, etc.; a boolean can have values true and false. We can imagine any type we like: for example, a HighFive type that allows the values "hi" or 5, but nothing else. It's not a string and it's not an integer; it's its own, separate type.
Statically typed languages constrain variables' types: the programming language might know, for example, that x is an Integer.
In that case, the programmer isn't allowed to say x = true; that would be an invalid program.
The compiler will refuse to compile it, so we can't even run it.
| {% capture the_collection %}{{page.collection}}{% endcapture %} | |
| {% if page.collection %} | |
| {% assign document = site[the_collection] %} | |
| {% endif %} | |
| <h1>TITLE: {{ page.title }}</h1> | |
| {% for links in document %} | |
| {% if links.title == page.title %} | |
| {% unless forloop.first %} | |
| {% assign prevurl = prev.url %} | |
| {% endunless %} |
| @interface MyView : UIView | |
| - (void)kissMyAss; | |
| @end | |
| @interface _MyViewIOS6 : MyView | |
| @end | |
| @interface _MyViewIOS7 : MyView | |
| @end |
| #!/usr/sbin/dtrace -s | |
| /* Run like: | |
| % sudo csh | |
| # ./spy.d $PROCESS_ID [$INTERESTING_PROBEPROV] | |
| Prints a line of dashes every 5 seconds to delineate different experiments. | |
| */ | |
| #pragma D option quiet |
| #!/bin/bash | |
| # | |
| # Build and iPhone Simulator Helper Script | |
| # Shazron Abdullah 2011 | |
| # | |
| # WARN: - if your .xcodeproj name is not the same as your .app name, | |
| # this won't work without modifications | |
| # - you must run this script in where your .xcodeproj file is | |
| PROJECTNAME=$1 |
| @book { girard1989, | |
| author = "Jean-Yves Girard and Yves Lafont and Paul Taylor", | |
| title = "Proofs and Types", | |
| publisher = "Cambridge University Press", | |
| year = "1989", | |
| isbn = "978-0521371810" } | |
| @book { barendregt1984 | |
| author = "Henrik P. Barendregt", | |
| title = "The Lambda Calculus: Its Syntax and Semantics", |
