| import Data.List (foldl') | |
| update :: (Int, [Int]) -> (Int, [Int]) | |
| update (n, []) = (n, []) | |
| update (n, 0:ms) = (n+1, ms) | |
| -- optimization: ack(1, n) = n + 2 | |
| update (n, 1:ms) = (n+2, ms) | |
| update (0, m:ms) = (1, (m-1):ms) | |
| update (n, m:ms) = (n-1, m:(m-1):ms) |
This script generates long repetitive programs in various languages (statically typed ones that target native code) and measures the time taken to compile them.
Every program is roughly of the form:
main() {
var x = 0
{% n*2 times: %}
x = 2
print(i)
x = 3
| SIDE_LENGTH = 6 | |
| HOLE_INIT = 4 | |
| STONES = 2 * SIDE_LENGTH * HOLE_INIT | |
| class Board: | |
| def __init__(self, holes=None): | |
| if holes: | |
| self.holes = holes | |
| else: |
| # An Underload interpreter written in Tamsin. | |
| # Only supports programs containing only `a^:!S~*()`. | |
| # Concatenate two lists. | |
| concat(nil, R) = return R. | |
| concat(cons(A, AS), R) = concat(AS, R) -> R2 & return cons(A, R2). | |
| # Parse a term into an AST. | |
| term = "a" & return wrap | |
| | "^" & return exec |
| {-# LANGUAGE ViewPatterns #-} | |
| import Data.Ord (Down (..)) | |
| import Data.List (sort, sortOn, elemIndex, groupBy) | |
| import Data.Function (on) | |
| -- == -- == == -- == -- | |
| -- == -- == UTILITY FUNCTIONS == -- == -- | |
| -- == -- == == -- == -- |
| //! A faster rewrite of `maze_generator.py` in Rust. | |
| //! | |
| //! The Python version generated a 100x200 maze in about thirty seconds. | |
| //! This version generated a 1000x1000 maze in about five seconds. | |
| extern crate rand; | |
| extern crate itertools; | |
| extern crate integer_sqrt; | |
| use rand::Rng; |
| import random | |
| import time | |
| WALL = " " | |
| GAP = "@" | |
| def split(string, width): | |
| for i in range(0, len(string), width): | |
| yield string[i : i+width] |
| <html> | |
| <head> | |
| <link href="main.css" rel="stylesheet" type="text/css"> | |
| </head> | |
| <body> | |
| <b>Code:</b> | |
| <br/> | |
| <textarea id="code" width="300" height="300"></textarea> |