David Peter sharkdp

Did you look at the actual changes to the file(s) in the repository?

Type-safety in physics calculations

This article describes a (loose?) analogy between physical units and data types in programming languages that I thought about while working on Insect, a scientific calculator that supports physical units.

In addition to typical mathematical operators like +, *, ^, %, etc., Insect has a special conversion operator (written as an arrow ->/➞ or as the word to). It can be used to convert an expression to a particular unit:

≫ 2 ft + 2 in ➞ cm

  = 66.04 cm

	module Main where

	import Prelude
	import Flare
	import Test.FlareCheck

	sayHello :: String -> Int -> Boolean -> String
	sayHello name year shout = "Hello " <> name <> " " <> show year <> suffix
	where suffix = if shout then "!!!" else "."

	#!/usr/bin/env python
	#
	# Usage: ratings.py [RATINGS CSV FILE]

	import argparse
	import csv
	import statistics
	import itertools

	from collections import defaultdict

	Data.NaturalTransformation
	Type.Proxy
	Data.Boolean
	Unsafe.Coerce
	Data.Int.Bits
	Data.Show
	Data.String.Unsafe
	Global.Unsafe
	Data.ArrayBuffer.Types
	Data.Char

	module Main where
	import Prelude

	import Text.Smolder.HTML as H
	import Text.Smolder.Markup ((!), text)
	import Text.Smolder.HTML.Attributes as A

	import Color (black, toHexString)

	import Flare.Smolder (runFlareHTML)

	module Main where

	import Prelude

	import Data.List.Lazy
	import Data.Maybe
	import Data.Tuple
	import Data.Int (pow, toNumber)
	import Flare
	import Flare.Drawing

	import csv
	import random


	with open("WATCHLIST.csv") as f:
	rows = csv.DictReader(f, delimiter=",", quotechar='"')

	movies = [row for row in rows if row["Title type"] == "Feature Film"]

	movie = random.choice(movies)

	echo "This script will now ask for your password in order to gain root/sudo"
	echo "permissions. These are required to reset the harddisk caches."
	echo ""

	sudo echo "Okay, acquired superpowers :-)" \|\| exit

	base_path="/mnt/daten"
	pattern='.*[0-9]\.jpg$'

	for _ in $(seq 1 3); do

	#pragma once

	extern double pi;