Dan Vanderkam danvk

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.

What is TypeScript?

TypeScript does two things:

Compiles TypeScript to JavaScript ("transpiling").
Performs static type analysis on your code.

async function f() { const funFact = await fetch('http://numbersapi.com/42');

	#!/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>

	// Type definitions for dygraphs 2.1
	// Project: http://dygraphs.com
	// Definitions by: Dan Vanderkam <https://github.com/danvk>
	// Martin Badin <https://github.com/martin-badin>
	// Definitions: https://github.com/DefinitelyTyped/DefinitelyTyped

	/// <reference types="google.visualization" />

	declare namespace dygraphs {
	type DataArray = Array<Array<number \| Date \| null>>;

	<!DOCTYPE html>
	<html>
	<head>
	<meta charset='utf-8' />
	<title>Raycasting with Mapbox</title>
	<meta name='viewport' content='initial-scale=1,maximum-scale=1,user-scalable=no' />
	<script src='https://api.tiles.mapbox.com/mapbox-gl-js/v1.4.0/mapbox-gl.js'></script>
	<link href='https://api.tiles.mapbox.com/mapbox-gl-js/v1.4.0/mapbox-gl.css' rel='stylesheet' />

	<style>