Hexbyte  Hacker News  Computers In-Depth: Static Code Analysis

Hexbyte Hacker News Computers In-Depth: Static Code Analysis

|

December 27, 2011 | By John Carmack December 27, 2011 | By John Carmack     9 comments More: Console/PC, Programming Related Jobs The Behemoth — San Diego, California, United States [09.29.18] Experienced Generalist Programmer Poleaxe Games LLC — SAINT JOHNS, Florida, United States [09.29.18] Contract: Graphics programmer for surface effect system Skydance Interactive —…

HOWTO: Static access control using phantom types

HOWTO: Static access control using phantom types

|

We thought that phantom types would be an appropriate topic for our first real post because they are a good example of a powerful and useful feature of OCaml that is little used in practice. In this post, I’ll cover a fairly simple use of phantom types: enforcing a capability-style access-control policy. In particular, I’ll…