Brendan Zabarauskas brendanzab

😵‍💫

writing elaborators

I'm interested in how computers can extend human creativity, and how type systems can be used as tools for thought. 👨‍🎨👨‍💻👨‍🔬

brendanzab / gist:3936918

Created October 23, 2012 05:36

brendanzab / map_cast.rs

Created October 26, 2012 01:13 — forked from erickt/gist:3956374

map_cast Rust macro

brendanzab / Makefile

Created February 12, 2013 20:55 — forked from dpc/Makefile

	RUSTC ?= rustc

	#LOG_FLAGS ?= RUST_LOG=rustc::metadata::creader

	all: glhex

	run: all
	./glhex

	glhex: main.rs *.rs

brendanzab / rust_syntax_proposal_01.md

Last active December 15, 2015 08:29 — forked from anonymous/RustSyntaxProposal

The first stage would be to unify the struct and type keywords.

Current syntax

struct Name {
    first: ~str,
    last: ~str
}
 
struct Point(int, int);

brendanzab / echo.rs

Last active December 17, 2015 22:38 — forked from andydude/echo.rs

	use std::{os,str};

	fn main() {
	let args = os::args();
	match args.tail() {
	[~"-n",..strs] => print(str::connect(strs, " ")),
	strs => println(str::connect(strs, " ")),
	}
	}

brendanzab / nest.rs

Last active December 22, 2015 13:38 — forked from killballad/nest.rs

	fn new_foo(a: &Path) -> Result<~Foo, ~str> {
	read_whole_file(a).chain(\|b\| frob(b))
	.chain(\|b\| baz(b))
	.map_move(\|b\| ~Foo { bar: b })
	}

brendanzab / borrow-example.rs

Created March 31, 2014 06:37 — forked from Aatch/borrow-example.rs

	extern crate serialize;

	use serialize::json;

	fn get_string<'a>(data: &'a json::Json, key: &~str) -> Option<&'a str> {
	match *data {
	json::Object(ref map) => {
	match map.find(key) {
	Some(&json::String(ref s)) => {
	Some(s.as_slice())

brendanzab / map.rs

Last active August 29, 2015 13:58 — forked from bstrie/map.rs

	use std::iter::Iterator;

	fn map<T, U, I: Iterator<T>>(fun: \|T\| -> U, mut iter: I) -> Vec<U> {
	let mut acc = vec![];
	for elt in iter {
	acc.push(fun(elt));
	}
	acc
	}

brendanzab / error

Last active August 29, 2015 13:59 — forked from bvssvni/Main.idr

	rustc src/lib.rs -o idris/idrisfs.o --crate-type=lib --emit=obj

	Undefined symbols for architecture x86_64:
	"___morestack", referenced from:
	_sizeof_int in idrisfs.o
	sizeof_int::__rust_abi in idrisfs.o
	mem::size_of::h1f2d9faff57bec09oaa::v0.0 in idrisfs.o
	ld: symbol(s) not found for architecture x86_64
	clang: error: linker command failed with exit code 1 (use -v to see invocation)
	FAILURE: gcc -O2 -fwrapv -fno-strict-overflow -I. ./idrisfs.o -x c /var/folders/_t/g72k9vzd30b5svvyd1nxpwp40000gn/T/idris5178 -L/Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/rts -lidris_rts -lgmp -lpthread -I/Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/rts -I. -I/Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/prelude -I/Users/sven/Library/Haskell/ghc-7.6.3/lib/idris-0.9.12/share/base -o /var/folders/_t/g72k9vzd30b5svvyd1nxpwp40000gn/T/idris5176

brendanzab / glutin-ns-events.rs

Last active August 29, 2015 14:10

	fn new_foo(a: &Path) -> Result<~Foo, ~str> {
	read_whole_file(a).chain(\|b\| frob(b))
	.chain(\|b\| baz(b))
	.map_move(\|b\| ~Foo { bar: b })
	}