Saturday, February 24, 2018
Detecting use-cases for GADTs in OCaml
Before we dive into the GADT implementation lets do a quick review of how to define GADTs in OCaml. Remember that we previously defined the value type like this To define a GADT we need to use a slightly different syntax. The following syntax definition is taken from the OCaml Users Guide.
Tiger got to hunt, Bird got to fly; Lisper got to sit and wonder, (Y (Y Y))? Tiger got to sleep, Bird got to land; Lisper got to tell hims...
Programmers almost always need the ability to find and replace certain text across multiple files in their projects. Most IDEs provide find ...
This is a guest post from Sacha Greif, co-author of Discover Meteor and creator of VulcanJS and Sidebar.
RecordRTC is a library that allows for client-side recording, using WebRTC. It's a fantastic tool (created and well-maintained by Muaz...