Type erasure

Author: GTof

Makefile

@@ -1,23 +1,30 @@
-.PHONY: test clean format check publish docs
+.PHONY: test-opt test-src clean format check publish docs opt
 
-test:
-	python -m pytest
+test-opt: opt
+	cd opt/ && python -m pytest
+
+test-src:
+	cd src/ && python -m pytest
 
 clean:
-	rm -r `find . -iname "__pycache__" -type d` || true
-	rm -r .hypothesis/ .pytest_cache/ dist/ raffiot.egg-info/ || true
+	./clean.sh
 
 format:
-	black `find raffiot/ tests/ -iname "*.py" -type f`
+	black `find . -iname "*.py" -type f`
 
-check: format test docs clean
+check: format test-src clean test-opt docs
 
 publish: check
-	python setup.py sdist
-	twine upload dist/*
+	./clean.sh
+	./opt.sh
+	cd opt/ && python setup.py sdist
+	cd opt/ && twine upload dist/*
 
 docs:
 	rm -r docs/ || true
-	pdoc3 --html raffiot -o docs/
+	cd src/ && pdoc3 --html raffiot -o ../docs/
 	mv docs/raffiot/* docs/
 	rm -r docs/raffiot/
+
+opt: clean
+	./opt.sh

benchmarks/fibonacci.py

@@ -0,0 +1,51 @@
+import sys
+import statistics
+from timeit import default_timer as timer
+from raffiot import io
+from raffiot.io import IO
+
+n = int(sys.argv[1])
+t = int(sys.argv[2])
+
+def fibo(u0: int, u1: int, i: int) -> int:
+    if i > 1:
+        return fibo(u1, u0 + u1, i-1)
+    if i == 1:
+        return u1
+    return u0
+
+def fibo_io(u0: int, u1: int, i: int) -> IO:
+    if i > 1:
+        return io.defer_io(lambda: fibo_io(u1, u0 + u1, i-1))
+    if i == 1:
+        return io.pure(u1)
+    return io.pure(u0)
+
+def mesure(nb):
+    l = []
+    i = 0
+    while i < 10 * nb:
+        start = timer()
+        fibo(0,1,n)
+        end = timer()
+        l.append(end - start)
+        i += 1
+    return statistics.median(l)
+
+def mesure_io(nb):
+    l = []
+    i = 0
+    mio = fibo_io(0,1,n)
+    while i < nb:
+        start = timer()
+        mio.run(None)
+        end = timer()
+        l.append(end - start)
+        i += 1
+    return statistics.median(l)
+
+print(io.marker)
+print(f"fibo({n})    : {mesure(t)}")
+print(f"fibo_io({n}) : {mesure_io(t)}")
+print(f"fibo({n})    : {mesure(t)}")
+print(f"fibo_io({n}) : {mesure_io(t)}")

benchmarks/imeprofile.py

@@ -0,0 +1,22 @@
+import cProfile, pstats
+from raffiot import io
+from raffiot.io import IO
+import sys
+
+def fibo_io(u0: int, u1: int, i: int) -> IO:
+    if i > 1:
+        return io.defer_io(lambda: fibo_io(u1, (u0 + u1) % 10000, i-1))
+    if i == 1:
+        return io.pure(u1)
+    return io.pure(u0)
+
+m = fibo_io(0,1,int(sys.argv[1]))
+
+
+profiler = cProfile.Profile()
+profiler.enable()
+m.run(None)
+profiler.disable()
+stats = pstats.Stats(profiler).sort_stats('cumtime')
+stats.print_stats()
+

clean.sh

@@ -0,0 +1,3 @@
+#!/bin/sh
+rm -r opt || true
+rm -r `find . -type d -and \( -iname ".hypothesis" -or -iname ".pytest_cache" -or -iname "dist" -or -iname "raffiot.egg-info" -or -iname "__pycache__"  \)` || true

conda/raffiot/meta.yaml

@@ -1,5 +1,5 @@
 {% set name = "raffiot" %}
-{% set version = "0.0.5" %}
+{% set version = "0.0.6" %}
 
 package:
   name: "{{ name|lower }}"