Skip to content

Instantly share code, notes, and snippets.

View bracevac's full-sized avatar

Oliver Bračevac bracevac

View GitHub Profile
@rhaleblian
rhaleblian / vmware-fusion-tech-preview-bad-kernel-week-install.md
Last active December 18, 2023 23:26
Installing Ubuntu Server in VMware Fusion Tech Preview during Bad Kernel Week

Phantom types

Phantom types are designed to support compile time type evidences without any overhead costs to runtime. Phantom evidences are usually in the form of implicit arguments, which once resolved, can be erased by the compiler.

Because of these properties, phantom types are completely outside of the normal type lattice, and as such these phantom types do not inherit the semantics of Any.

@chrisdone
chrisdone / typing.md
Last active July 4, 2024 16:47
Typing Haskell in Haskell

Typing Haskell in Haskell

MARK P. JONES

Pacific Software Research Center

Department of Computer Science and Engineering

Oregon Graduate Institute of Science and Technology