Jason Manuel jmanuel1

Method for Emulating Higher-Kinded Types in Rust

Intro

I've been fiddling about with an idea lately, looking at how higher-kinded types can be represented in such a way that we can reason with them in Rust here and now, without having to wait a couple years for what would be a significant change to the language and compiler.

There have been multiple discussions on introducing higher-ranked polymorphism into Rust, using Haskell-style Higher-Kinded Types (HKTs) or Scala-looking Generalised Associated Types (GATs). The benefit of higher-ranked polymorphism is to allow higher-level, richer abstractions and pattern expression than just the rank-1 polymorphism we have today.

As an example, currently we can express this type:

A header，。？

An，。？other

Keybase proof

I hereby claim:

I am jmanuel1 on github.
I am mccabesimplicity (https://keybase.io/mccabesimplicity) on keybase.
I have a public key whose fingerprint is 5AFB 9D57 EBBD 28D0 1ED2 79BE 0914 05EF CE07 B74C

To claim this, I am signing this object:

Table of Contents generated with DocToc

CNN

	module Issue
	{- comment added to make it clear which lines are being displayed -}
	fun : () -> Int
	fun () = True

	{
	function documentToOrg(document) {
	const title = document.querySelector("#document_title").value;

	let orgFile = `#+TITLE: ${title}\n\n`;

	const bullets = document.querySelector("#root_node_children");

	function bulletsToOrg(bullets, level = 1) {
	let orgBullets = "";

	module.exports = {
	config: {
	// default font size in pixels for all tabs
	fontSize: 14,

	// font family with optional fallbacks
	fontFamily: 'Consolas',

	// terminal cursor background color and opacity (hex, rgb, hsl, hsv, hwb or cmyk)
	cursorColor: 'rgba(248,28,229,0.8)',