CodaFi

/// An operator is given by a list of arities, where each element indicates the number of
/// variables bound by the operator at that position and the length of the list determines the
/// number of variables the operator accepts.  The full generalization of arity is called
/// the operator's "valence".
///
/// For example, if I have a little calculator language with let-bindings, its operators
/// would look like this:
///
/// 
///		enum CalcOps : Operator {

avafloww

/*<?php
//*/public class PhpJava { public static void main(String[] args) { System.out.printf("/*%s",
//\u000A\u002F\u002A
class PhpJava {
    static function main() {
        echo(//\u000A\u002A\u002F
        "Hello World!");
}}
//\u000A\u002F\u002A
PhpJava::main();

CodaFi

Modular Swift

• Proposal: SE-NNNN
• Authors: Robert Widmann, Jaden Geller
• Review Manager: TBD
• Status: Awaiting review

Introduction

chriseidhof

import UIKit

struct Monoid<A> {
    let zero: A
    let append: (A, A) -> A
}

let additive = Monoid(zero: 0, append: +)
let multiplicative = Monoid(zero: 1, append: *)

mayoff

@import Foundation;
@import CoreGraphics;

typedef struct __attribute__((objc_boxable)) CGPoint CGPoint;
typedef struct __attribute__((objc_boxable)) CGSize CGSize;
typedef struct __attribute__((objc_boxable)) CGRect CGRect;
typedef struct __attribute__((objc_boxable)) CGVector CGVector;

int main(int argc, const char * argv[]) {
    @autoreleasepool {