doublec

{
  allowUnfree = true; 
  packageOverrides = pkgs : with pkgs; rec {
    # Tested with:
    # $ nix-env -i b2g-env
    # $ b2g-env
    # $ git clone https://github.com/mozilla-b2g/B2G b2g
    # $ cd b2g
    # $ REPO_INIT_FLAGS="--depth=1" ./config.sh nexus-5
    # $ ./build.sh

doublec

Keybase proof

I hereby claim:

• I am doublec on github.
• I am doublec (https://keybase.io/doublec) on keybase.
• I have a public key whose fingerprint is AA10 A0B5 334F A2E9 B21D 5131 736D 9F34 9753 DFAB

To claim this, I am signing this object:

doublec

(* Comparing to http://www.reddit.com/r/rust/comments/34rszb/pony_type_and_memory_safe_language/cqy2wo7 *)
#include "share/atspre_staload.hats"

extern castfn u64(n: uint): uint64

fun fib(n: uint64): uint64 =
  if n < u64(2u) then n else fib(n - u64(1u)) + fib(n - u64(2u))

implement main0(argc, argv) = let
  val () = assertloc(argc = 2)

doublec

Add the following to your ~/.nixpkgs/config.nix:

alicemlEnv = pkgs.myEnvFun {
  name = "alicemlEnv";
  buildInputs = [ stdenv gcc smlnj libtool gnumake381 autoconf automake111x
                  zlib file which zsh vimWrapper gmp m4 gnome.gtk
                  gnome.libgnomecanvas pango sqlite libxml2 pkgconfig ];
  extraCmds = ''
   LD_LIBRARY_PATH=\$LD_LIBRARY_PATH:${gcc.gcc}/lib64

for i in $nativeBuildInputs; do

doublec

Keybase proof

I hereby claim:

• I am doublec on github.
• I am doublec (https://keybase.io/doublec) on keybase.
• I have a public key whose fingerprint is AA10 A0B5 334F A2E9 B21D 5131 736D 9F34 9753 DFAB

To claim this, I am signing this object:

doublec

(* A view for an array  that contains:
     byte    = hbtype
     ushort  = payload length
     byte[n] = bytes of length 'payload length'
     byte[16]= padding
*)
dataview record_data_v (addr, int) =
  | {l:addr} {n:nat | n > 16 + 2 + 1} make_record_data_v (l, n) of (ptr l, size_t n)

extern prfun free_record_data_v {l:addr} {n:nat} (pf: record_data_v (l, n)): void

doublec

( |
  "_" parent* = traits oddball.

  object = (| eval = ( |dict = dictionary copy| 
                         members elements do: [|:v. :k|
                           dict at: v string eval Put: v value eval
                         ].
                         dict
                      ) 
           |).

doublec

use std::cast::transmute;

struct Zero;
struct Succ<T>;
struct Prev<T>;

enum List<T,N> {
  Nil,
  Cons (T, ~List<T,N>)
}

doublec

/* From an example in the ATS distribution */
dataprop FACT (int, int) =
  | FACTzero (0, 1)
  | {n,r,r1:int | n > 0} FACTsucc (n, r) of (FACT (n-1, r1), MUL (n, r1, r))

fun fact {n:nat} .<n>. (n: int n): [r:int] (FACT (n, r) | int r) =
  if n > 0 then let
    val (pf1 | r1) = fact (n - 1)
    val (pf_mul | r) = n imul2 r1
  in

doublec

all: stack1 stack2 stack3 stack4 stack5

stack1: stack1.dats
	atscc -o stack1 stack1.dats

stack2: stack2.dats
	atscc -o stack2 stack2.dats

stack3: stack3.dats
	atscc -tc stack3.dats