Dan Vanderkam danvk

See Calculate an upper bound on a tree containing sum nodes, choice nodes, and requiring consistent choices, also context.

Pruning a transitive type dependency for TypeScript

See [Stack Overflow: How can I completely hide an irrelevant directory of type declarations from TypeScript?][1].

This is mostly interesting as a template for using paths to prune the set of files considered by tsc when building a project.

Solution tsconfig.json:

Type Coverage Repro

See plantain-00/type-coverage#83

$ yarn type-coverage --detail --ignore-catch --ignore-unread -p tsconfig.json
yarn run v1.22.4
$ /Users/danvk/code/type-coverage-toy/node_modules/.bin/type-coverage --detail --ignore-catch --ignore-unread -p tsconfig.json
6 / 6 100.00%
type-coverage success.

✨ Done in 0.94s.

	import itertools

	def w(c0, c1, c2, c3, c4, c5):
	a0,e0,i0,o0,u0 = c0
	c1,h1,k1,m1,p1,t1 = c1
	a2,e2,i2,o2,u2 = c2
	l3,n3,r3,s3,y3 = c3
	b4,d4,f4,g4,j4,v4,w4,x4,z4 = c4
	c5,h5,k5,m5,p5,t5 = c5
	n_0=1+d4

	(declare-const c0 Bool)
	(declare-const h0 Bool)
	(declare-const k0 Bool)
	(declare-const m0 Bool)
	(declare-const p0 Bool)
	(declare-const t0 Bool)
	(assert (= (+ c0 h0 k0 m0 p0 t0) 1))
	(declare-const a1 Bool)
	(declare-const e1 Bool)
	(declare-const i1 Bool)

	#!/usr/bin/env python
	"""Manage multiple batches on OpenAI"""

	import json
	import hashlib
	import os
	import sys
	import time
	from typing import Optional, TypedDict, get_type_hints

	DIGITAL_ID
	717743f
	2040871
	717939f
	1516983
	1640784
	703777f
	1629993
	1630288
	1629362

	import { assertEquals } from "https://deno.land/[email protected]/assert/mod.ts";

	import { parseLisp, tokenize } from "./parser.ts";

	Deno.test("tokenizer", () => {
	const input = "(first (list 1 (+ 2 3) 9))";
	assertEquals(
	[...tokenize(input)],
	["(", "first", "(", "list", 1, "(", "+", 2, 3, ")", 9, ")", ")"],
	);

	<?xml version="1.0"?>
	<gpx xmlns="http://www.topografix.com/GPX/1/1" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" version="1.1" creator="AllTrails.com" xsi:schemaLocation="http://www.topografix.com/GPX/1/1 http://www.topografix.com/GPX/1/1/gpx.xsd">
	<metadata>
	<name><![CDATA[Slide Mountain Winter Hike]]></name>
	<desc><![CDATA[Sunny day for a winter hike. The trail was quite icy on the way up and we were happy to have our spikes. By the time we came down enough ice had melted that we took them off.]]></desc>
	<link href="http://www.alltrails.com">
	<text>AllTrails, LLC</text>
	</link>
	<bounds minlat="41.99887" minlon="-74.42762" maxlat="42.00864" maxlon="-74.38516"/>
	</metadata>