kayceesrk

(* Reverse-mode algorithmic differentiation using effect handlers.
   Adapted from https://twitter.com/tiarkrompf/status/963314799521222656.
   See https://openreview.net/forum?id=SJxJtYkPG for more information. *)
   
module F = struct
  type t = { v : float; mutable d : float }

  let mk v = {v; d = 0.0}

  effect Plus : t * t -> t

kayceesrk

(* GC stress/performance test.
   Uses only core GC features - no finalisers, weak references, etc. *)

type work = F : (int -> 'a) * ('a -> int) -> work

type bintree = Leaf of int | Branch of bintree * bintree
let tree =
  let rec mktree = function
    | 0 -> Leaf 1
    | n -> Branch (mktree (n-1), mktree (n-1)) in

kayceesrk

(* Requires: OCaml 4.03.0+ *)
(* Usage: `ocaml eff.ml` *)

(** Identifiers *)
module Ident = struct
  type t = string

  let id = ref 0

  let create base =

kayceesrk

/***********************************************************************/
/*                                                                     */
/*                                OCaml                                */
/*                                                                     */
/*         Xavier Leroy and Damien Doligez, INRIA Rocquencourt         */
/*                                                                     */
/*  Copyright 2009 Institut National de Recherche en Informatique et   */
/*  en Automatique.  All rights reserved.  This file is distributed    */
/*  under the terms of the GNU Library General Public License, with    */
/*  the special exception on linking described in file ../../LICENSE.  */

kayceesrk

module type Handler = sig
  type effect = ..
  type 'a t
  type cont

  val return : 'a -> 'a t
  val (>>=)  : 'a t -> ('a -> 'b t) -> 'b t
  val run    : unit t -> unit
  val handle : 'a t -> (effect -> cont -> unit t) -> unit t
  val continue : cont -> unit t

kayceesrk

## Docker file for OCaml with GDB support
#
#  Build
#  -----
#  $ mkdir monda-docker
#  $ cp <this_file> monda-docker/
#  $ docker build --force-rm=true -t monda .
#  ..takes a while..
#
#  Run

kayceesrk

## Docker file for OCaml with GDB support
#
#  Build
#  -----
#  $ mkdir monda-docker
#  $ cp <this_file> monda-docker/
#  $ docker build --force-rm=true -t monda .
#  ..takes a while..
#
#  Run

kayceesrk

#!/bin/sh
sort -n | awk '
  BEGIN {
    c = 0;
    sum = 0;
  }
  $1 ~ /^[0-9]*(\.[0-9]*)?$/ {
    a[c++] = $1;
    sum += $1;
  }

kayceesrk

module Main where
import Debug.Trace
import Control.Exception.Base
import Control.Monad
import Control.Concurrent
import Control.Concurrent.STM

type MyChan a = (TVar (Maybe a), TVar Bool)

newMyChan :: IO (MyChan a)

kayceesrk

p2p key-value store over datakit

Data Model

Key -> Path
Value -> Json

The value is possibly JSON automatically generated for OCaml type definitions using ppx_deriving_yojson library. Merge function must be explicitly specified: