emberian

On Understanding Data Abstraction, Revisited: http://www.cs.utexas.edu/~wcook/Drafts/2009/essay.pdf

CLU Reference Manual: http://publications.csail.mit.edu/lcs/pubs/pdf/MIT-LCS-TR-225.pdf

Semantics Engineering with Redex: https://mitpress.mit.edu/books/semantics-engineering-plt-redex

On Understanding Types, Data Abstraction, and Polymorphism: http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf

Practical Foundations of Programming Languages: http://www.cs.cmu.edu/~rwh/plbook/book.pdf

sobels

enum height = 5;
enum width = 5;

enum iterations = 20;

enum initialState = [
  0, 1, 0, 1, 1,
  0, 0, 0, 0, 1,
  1, 1, 0, 0, 0,
  1, 1, 1, 1, 1,

kelsey-sorrels

Purpose

To define a common data language for applications that simulate entire worlds. When many applications speak the same language, an ecosystem develops that is often more than the sum of its parts.

General

• All data is UTF-8 encoded.
• MIME type is application/json

brendanzab

site:http://www.opengl.org/registry/api/

GL

• gl.tm
• headers
  • gl3.h
  • glcorearb.h
  • glext.h
• specs

pcwalton

// Original version: http://play.golang.org/p/ebO20f-eax
// Requires Rust 0.5.

extern mod std;

use io::WriterUtil;

const WIDTH: uint = 76;
const HEIGHT: uint = 10;
const NUM_BALLS: uint = 10;

RustSyntaxProposal

type Name = {
  first: ~str,
  last:	~str
}
 
 
type Shape = Circle(int) | Rect(int, int)	// Variants with constructors
 
type Direction = North | South | East | West	// without constructors
 

nikomatsakis

pub trait BaseVec: Index<uint,Self::T>
                 + Eq {
    type T;
    static LEN: uint;
    fn from_value(value: Self::T) -> Self;
}

pub trait BaseVec3: BaseVec {
    fn new(x: Self::T, y: Self::T, z: Self::T) -> Self;
}

luqmana

fn libc_rsqrt(f: &f32) -> f32 {
    1.0/f32::sqrt(*f)
}
fn llvm_rsqrt(f: &f32) -> f32 {
    1.0/core::unstable::intrinsics::sqrtf32(*f)
}
fn asm_rsqrt(f: &f32) -> f32 {
    let mut b = &0.0f32;
    unsafe {
        asm!("rsqrtss ($0), %xmm0\n\t\

sw17ch

fn r̄ͬ̇ͦ̓u͗͗̅̐s̔̈́ͯ̄̓ͭ͋tͣͯͦ̂̃̆̓_̍͌̉̃l̆a͐̾̿̋̈́n̉ͬͥ́ͪ̊gͭ͛̾_́cͪͬ͑͂̈oͭͨ̊̋̓ͧm̌̿̐̿ͤ̆͐e̔̓̆ͭͨ̾̚s() {
  println("ĭ̒̚tͧ̂͆ͫ̄ ̃ͬ͗̍̂c̈͒̊õ͑̓ͩͦ͒m̊͗̐̒esͩ͛!ͨ̀ͩ̀͆̄̚ ĭ̿̈̍̀ͮ͑tͦ͂̉̒̔̇ ̓co͛́̾ͤ̄̉͌m͂͆̀ͫe͛ͨ͌̇͆ͣͥs͂!̇̌̎̆");
}

fn main() {
  r̄ͬ̇ͦ̓u͗͗̅̐s̔̈́ͯ̄̓ͭ͋tͣͯͦ̂̃̆̓_̍͌̉̃l̆a͐̾̿̋̈́n̉ͬͥ́ͪ̊gͭ͛̾_́cͪͬ͑͂̈oͭͨ̊̋̓ͧm̌̿̐̿ͤ̆͐e̔̓̆ͭͨ̾̚s();
}

metajack

pub struct Context {
    chan: SharedChan<Msg>,
}

enum Msg {
    CreateWindow(Context, uint, uint, ~str, WindowMode, Chan<Option<Window>>),
    DetachCurrentContext,

    // window messages
    GetShouldClose(*c_void, Chan<bool>),