Skip to content

Instantly share code, notes, and snippets.

@keleshev

keleshev/blog-topics.md

Last active September 22, 2019 21:09
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save keleshev/ea8ce7404b63ecae31152d0df8b2fd46 to your computer and use it in GitHub Desktop.
Save keleshev/ea8ce7404b63ecae31152d0df8b2fd46 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
blog-topics.md
  • Package vendoring with OPAM
  • Dual numbers / Automatic differentiation
  • Sumbolic differentiation
  • Pure-functional precedence parsing
  • fold_left as recursion scheme
  • Format module: part 1: json; part 2: javascript
  • Dformat or Dprintf approach?
  • OCaml on OpenBSD: compilation from source, or pkg_add opam, Vultr affiliate
  • Data Structures for Free
  • TRMC
  • Tagless final JSON
  • Extensible effects, algebraic effects with polymorphic variants for free

  • vi mode bash

  • ocaml on windows/ubuntu

  • unisofn/free/extensible monads

  • learn to love reason

  • StdLabels, MoreLabels to ease porting to Base

  • parsing keywords, future-proof

  • FP patterns: atom variant, module per type

  • scoped typed variables

  • cat list

  • ocaml advent calendar

  • ocaml "extensions"

  • reason: poly compare/hash, non-tail rec, total functions

  • replacing json objects

  • operator </>

  • programming in an adversarial language

  • haskell big O

  • haskell: safe print, rectypes, polymorphic variants, module system

    • gadt, lambda case, scoped typed variables, explicit forall, no monomorphism restriction
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment