Keean Schupke

Proxy Iterators

1

@shelby3 Another C++ mess: http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/p0022r0.html We need to think about this carefully in light of wanting to use Pony style references. The immediate solution that occurs to be is that...

Postfix Notation

1

If IDE tooling, and autocomplete is so important, should functional languages use postfix notation? ``` ((3, 4)add)print ``` In a way the `.` is used for this in most OO...

Language Discussion

116

The idea is to create a simple, compact, symmetrical, typed language for generic programming that compiles to JavaScript. The initial reference is "Elements of Programming" by Alexander Stepanov and Paul...

Function Syntax

108

One of the first things we need to do is decide on a function syntax, for application and definition.

Type Syntax

8

This is for discussion of the syntax used for types (type annotations and printing types). What we have so far: - Type variables are ALL_CAPS - Type constructors are first...

Foreign Function Import

6

This issue is for discussing the mechanism that will be used for interfacing and importing foreign functions.

Usage Instructions

5

I will keep this top-post up to date. Starting with a program in a file ending '.zs': ``` js let id2 = (x) => let id = (x) => x...

Union Types: Inference and Checking.

14

Here's a problem with (anonymous) union types, given the following: ``` f x = (x "ABC", x 123) ``` what is the type?