Leonidas-from-XIV

(* Some kind of function that needs to be [Some _] for the rest of the body *)
let bigger_than x v = match v > x with true -> Some (v - 1) | false -> None

(* Sample inputs *)
let xs = [ 0; 1; 2; 3; 4; 5; 6; 7; 8; 9 ]

(* Why `fold` here in the first place? Maybe your data structure doesn't have `filter_map` etc.
 * This is an example
 *)

Leonidas-from-XIV

~/lua-ml (dunify)> dune clean
 ~/lua-ml (dunify)> dune build
File "src/luaparser_impl.ml", line 1:
Error: Could not find the .cmi file for interface src/luaparser_impl.mli.
~/lua-ml (dunify) [1]> dune build
# success

Leonidas-from-XIV

open Core

let rec list_set_exn index v = function
  | [] -> []
  | _ :: xs when index = 0 -> v :: xs
  | x :: xs -> x :: list_set_exn (Int.pred index) v xs

Leonidas-from-XIV

#!/usr/bin/env bash
#
# Adapted and fixed from https://gist.github.com/josh-padnick/fdae42c07e648c798fc27dec2367da21
#
# This is an adaptation of code I wrote to download a private binary from GitHub. Such...pain.
# Why can't GitHub just offer a standardized URL you can download a release binary from and attach 
# your Github Personal Access Token as a header?
#
# Since this code is an adaptation it hasn't been directly tested, but the code it was adapted from works
# and hopefully you can get the missing piece you're after by looking here.

Leonidas-from-XIV

File "lib_helpers/kafka_producer.ml", line 1:
Error: The implementation lib_helpers/kafka_producer.ml
       does not match the interface lib_helpers/.kafka_helpers.objs/byte/kafka_helpers__Kafka_producer.cmi:
       Values do not match:
         val stream_to : ('a, unit) sink -> 'a iterable -> unit
       is not included in
         val stream_to : ('a, 'b) sink -> 'a iterable -> 'b
       File "lib_helpers/kafka_producer.mli", line 9, characters 0-48:
         Expected declaration
       File "lib_helpers/kafka_producer.ml", line 4, characters 4-13:

Leonidas-from-XIV

open Lwt.Infix
open Cohttp
open Cohttp_lwt_unix
 
let body () =
  Client.get (Uri.of_string "https://hacker-news.firebaseio.com/v0/maxitem.json") >>= fun (resp, body) ->
  let code = resp |> Response.status |> Code.code_of_status in
  Lwt_io.printf "Response Code: %d\n" code >>= fun () ->
  Lwt_io.printf "Headers: %s\n" (resp |> Response.headers |> Header.to_string) >>= fun () ->
  body |> Cohttp_lwt.Body.to_string >>= fun body ->

Leonidas-from-XIV

;; probably not how to do it

(executable
 (name bench)
 (flags (-safe-string))
 (libraries yojson core_bench core))

(alias
  (name bench)
  (deps bench.json)

Leonidas-from-XIV

module Let_syntax = struct
  let return = Lwt.return
  let (>>=) = Lwt.Infix.(>>=)
  let (>>|) = Lwt.Infix.(>|=)
  module Let_syntax = struct
    let bind m ~f = Lwt.bind m f
  end
end

Leonidas-from-XIV

type 'a resp = Handled of unit | Continue of 'a

let handle_x = function Handled () -> Handled () | Continue x -> match x with `X -> Handled () | rest -> Continue rest
let handle_y = function Handled () -> Handled () | Continue x -> match x with `Y -> Handled () | rest -> Continue rest
let handle_xy v = handle_x (handle_y v)

match handle_xy (Continue `X) with
  | Handled () -> ()
  | Continue v -> 
    match v with 

Leonidas-from-XIV

type foo = [`Hello | `World | `Other]
type bar = [`Yet | `Another | `Other]

type baz = [foo | bar]

type qux = Foo of foo | Bar of bar | Quux

let transform = function
  | Foo x -> x
  | Bar x -> x