derrickturk

function Counter()
{
    const [count, setCount] = React.useState(0);
    return (
        <div>
            <p>Count = {count}</p>
            <button onClick={() => setCount(count + 1)}>
                Click me! Click me! Do it now, you son of a bitch!
            </button>
        </div>

derrickturk

#lang pie

(claim Vect
  (→ U Nat
    U))
(define Vect
  (λ (A n)
    (iter-Nat
      n
      Trivial

derrickturk

#lang pie

(claim + (→ Nat Nat Nat))
(define +
  (λ (x y)
    (iter-Nat x
      y
      (λ (acc) (add1 acc)))))

(claim repeat

derrickturk

Python 3.6.6 (v3.6.6:4cf1f54eb7, Jun 27 2018, 03:37:03) [MSC v.1900 64 bit (AMD64)] on win32
Type "help", "copyright", "credits" or "license" for more information.
>>> import dis
>>> def f_list():
...     xs = list()
...     for i in range(10):
...         xs.append(i * i)
...     return xs
...
>>> def f_comp():

derrickturk

import sys
import os
import os.path
import csv

from typing import List, Optional, Set

# given a list of directories d1, d2, d3
# each containing a common set of CSV files with the same columns:
#   d1/a.csv d1/b.csv

derrickturk

{-# LANGUAGE RankNTypes #-}

newtype Listy a = Listy { runListy :: forall b . (a -> b -> b) -> b -> b }

nil :: Listy a
nil = Listy $ \_ init -> init

cons :: a -> Listy a -> Listy a
cons x xs = Listy $ \fn init -> fn x (runListy xs fn init)

derrickturk

def cons(x, lis):
    return lambda t: x if t else lis

def nil():
    return None

def foldr(fn, lis, init):
    if lis is None:
        return init
    head = lis(True)

derrickturk

takeExactly :: Int -> [a] -> Maybe [a]
takeExactly 0 _ = Just []
takeExactly n [] = Nothing
takeExactly n (x:xs) = (x:) <$> takeExactly (n - 1) xs

windows :: Int -> [a] -> [[a]]
windows n xs = case takeExactly n xs of
  Nothing -> []
  Just window -> window:windows n (tail xs)

derrickturk

perverse : {a : Type} -> a -> a
perverse {a = Integer} x = x + 1
perverse {a = String} x = "hello " <+> x
perverse {a = _} x = x

main : IO ()
main = do
  printLn $ perverse 5
  printLn $ perverse "world"
  printLn $ perverse True

derrickturk

import requests
import sys
from bs4 import BeautifulSoup # type: ignore
from bs4.element import Tag, NavigableString # type: ignore

from typing import Callable, Dict, List

def retrieve(url: str) -> BeautifulSoup:
    rq = requests.get(url)
    rq.encoding = 'utf-8'