camlspotter

let () =
  prerr_endline @@ GMain.Main.init ();
  let window = GWindow.window ~title: "liv" ~allow_shrink: true ~allow_grow: true () in
  window#show ();

  window#event#add [`SCROLL];
  ignore @@ window#event#connect#scroll ~callback:(fun ev -> 
    Printf.eprintf "at +%.0f+%.0f %s\n%!"
      (GdkEvent.Scroll.x ev)
      (GdkEvent.Scroll.y ev)

camlspotter

(* OCaml version
   compile with:
    ocamlopt str.cmxa -o classifyDigits classifyDigits.ml 
*)

(*
// This F# dojo is directly inspired by the 
// Digit Recognizer competition from Kaggle.com:
// http://www.kaggle.com/c/digit-recognizer
// The datasets below are simply shorter versions of

camlspotter

(*

OCaml translation of the ideas explained in http://fumieval.hatenablog.com/entry/2014/09/22/144401

To emulate the higher kinded polymorphism, the technique used explained in https://ocamllabs.github.io/higher/lightweight-higher-kinded-polymorphism.pdf

*)

module StateMonad = struct
  type ('s, 'a) m = 's -> 's * 'a

camlspotter

open Printf

module ByMonomorphicRecord = struct

  (* Interface by a monomorphic record *)    
  type point = {
    get : unit -> int;
    set : int -> unit;
    print : unit -> unit;
  }

camlspotter

type t = 
  | Pair of t * t
  | Number of int
  | Function of string (* or what? *)
  
let rec empty = Pair (empty, empty) (* make a looped value *)

let is_empty t = match t with
  | Pair (t1, t2) -> t == t1 && t == t2  (* using pointer equality *)
  | _ -> false

camlspotter

let (&) = (@@)

module Array = struct
  include Array

  let fold_lefti f st a =
    let st = ref st in
    Array.iteri (fun i a -> st := f !st i a) a;
    !st
end

camlspotter

(*
ocamlfind ocamlopt -o recrec -package compiler-libs.common -linkpkg recrec.ml
*)

open List
open Format

let (&) = (@@)

module I() = TypedtreeIter.MakeIterator(struct

camlspotter

diff --git a/README_curried_constr.md b/README_curried_constr.md
new file mode 100644
index 0000000..12ed175
--- /dev/null
+++ b/README_curried_constr.md
@@ -0,0 +1,66 @@
+Variant constructors as functions
+==================================
+
+Suppose we have:

camlspotter

open Format

let rec hovb ppf = function
  | 0 -> ()   
  | n ->
      fprintf ppf "(@[<hov>-----------------------------------%03d@," n;
      hovb ppf (n-1);
      fprintf ppf "@])"  
      
let rec b ppf = function    

camlspotter

(*

  (* CR jfuruse: なんたら *) というのは前職でのコードレビューの書き方で、私の癖になっている。すべて、「私ならば…こうするかな？」が省略されています。

  私ならやっつけモードでこう書く、という例です。人様のコードを元にしているので、ほんとにこう書くのかよ？という突っ込みはありかと思います。
  元コードも実際のものを簡略化されたものだそうですので、私の提案コードのように書きたいけれども実は書けないんだ！ということもあるでしょう。
  OCaml のプログラミングスタイルは決まったものはなくいろいろと流儀があります。その一つと思ってください。

*)