piq9117

let explode s =
  let rec expl i l = 
    if i < 0 then l else
      expl (i - 1) (s.[i] :: l) in
  expl (String.length s - 1) []

let implode l =
  let result = Bytes.create (List.length l) in
  let rec imp i = function
  | [] -> result

piq9117

open BsWebapi.Webapi.Dom
module Error = struct type 'e t = 'e Js.t end
module Database =
struct
  type t
  module rec
    Reference:sig
    type t
    external key : t -> string Js.nullable = ""[@@bs.get ]
    external parent : t -> t Js.nullable = ""[@@bs.get ]

piq9117

Phantom types in ReasonML

Introduction

"A phantom type is a parametrised type whose parameters do not all appear on the right-hand side of its definition..." Haskell Wiki, PhantomType

The following write-up is intended as an introduction into using phantom types in ReasonML.

Taking a look at the above definition from the Haskell wiki, it states that phantom types are parametrised types where not all parameters appear on the right-hand side. Let's try to see if we can implement a similar example as in said wiki.

piq9117

module type FUNCTOR = sig
    type 'v f
    val map : ('a -> 'b) -> 'a f -> 'b f
end

module type MONAD = sig
    type 'v f
    val map : ('a -> 'b) -> 'a f -> 'b f
    val pure : 'a -> 'a f
    val join : ('a f) f -> 'a f

piq9117

module type FUNCTOR = sig
    type 'v f
    val map : ('a -> 'b) -> 'a f -> 'b f
end

module type MONAD = sig
    type 'v f
    val map : ('a -> 'b) -> 'a f -> 'b f
    val pure : 'a -> 'a f
    val join : ('a f) f -> 'a f

piq9117

#!/bin/sh

rm -rf lib/bs/mli
mkdir -p lib/bs/mli

filepath(){
  FILENAME=`echo $(basename $1)  | cut -d'-' -f 1`
  echo "lib/bs/mli/$FILENAME.mli"
}

piq9117

'use strict';

/*****************NATIVE forEACH*********************/

Array.prototype.myEach = function(callback) {
    for (var i = 0; i < this.length; i++)
        callback(this[i], i, this);
};

//tests

piq9117

const run = (iter, val = null) => ({
  const next = iter.next(val);
  if (!next.done) {
    next.value.then(result => run(iter, result));
  }
});

run(function*() {
  const a = yield fs.readFile("a.txt");
  const b = yield fs.readFile("b.txt");

piq9117

{-# LANGUAGE RecordWildCards, Arrows #-}

import Numeric
import Data.Char

import Control.Monad
import Data.Monoid ((<>))
import Data.List (nub, sort, reverse)

data RepeatBounds = RB

piq9117

stack exec -- ghcid -c "stack ghci [project_name]"