Untyped module

Author: GTof

Makefile

@@ -1,34 +1,26 @@
-.PHONY: test-opt test-src clean format check publish docs opt
+.PHONY: test clean format check publish docs opt
 
-test-opt: opt
-	cd opt/ && python -m pytest
-
-test-src:
-	cd src/ && python -m pytest
+test: opt
+	python -m pytest
 
 clean:
 	./clean.sh
 
 format:
 	black `find . -iname "*.py" -type f`
 
-check: format test-src clean test-opt docs
+check: format test docs
 
-publish: check
-	./clean.sh
-	./opt.sh
-	cd opt/ && python setup.py sdist
-	cd opt/ && twine upload dist/*
+publish: check clean
+	python setup.py sdist
+	twine upload dist/*
 
 docs:
 	rm -r docs/ || true
-	cd src/ && pdoc3 --html raffiot -o ../docs/
+	pdoc3 --html raffiot -o docs/
 	mv docs/raffiot/* docs/
 	rm -r docs/raffiot/
 	git add docs/
 
-opt: clean
+opt:
 	./opt.sh
-
-profile: opt
-	cd opt && python -m cProfile ../benchmarks/imeprofile.py 30 | less

benchmarks/fibonacci.py

@@ -17,7 +17,9 @@ def fibo(i: int) -> int:
 
 def fibo_io(i: int) -> IO:
     if i > 1:
-        return io.defer_io(lambda: fibo_io(i-1)).flat_map(lambda x: fibo_io(i-2).map(lambda y: x+y))
+        return io.defer_io(lambda: fibo_io(i - 1)).flat_map(
+            lambda x: fibo_io(i - 2).map(lambda y: x + y)
+        )
     else:
         return io.pure(i)
 
@@ -46,6 +48,7 @@ def mesure_io(nb):
         i += 1
     return statistics.median(l)
 
+
 x = 8
 
 print(f"fibo({x})=${fibo(x)}")

benchmarks/imeprofile.py

@@ -6,7 +6,9 @@
 
 def fibo_io(i: int) -> IO:
     if i > 1:
-        return io.defer_io(lambda: fibo_io(i - 1)).flat_map(lambda x: fibo_io(i-2).map(lambda y: x + y))
+        return io.defer_io(lambda: fibo_io(i - 1)).flat_map(
+            lambda x: fibo_io(i - 2).map(lambda y: x + y)
+        )
     else:
         return io.pure(i)
 

clean.sh

@@ -1,3 +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
+rm -r `find . -type d -and \( -iname ".hypothesis" -or -iname ".pytest_cache" -or -iname "dist" -or -iname "raffiot.egg-info" -or -iname "__pycache__"  -or -iname "untyped" \)` || true
+rm -r tests/test_untyped_*.py || true

docs/index.html

@@ -54,6 +54,10 @@ <h2 class="section-title" id="header-submodules">Sub-modules</h2>
 <dd>
 <div class="desc"><p>Data structure to represent the result of computation.</p></div>
 </dd>
+<dt><code class="name"><a title="raffiot.untyped" href="untyped/index.html">raffiot.untyped</a></code></dt>
+<dd>
+<div class="desc"></div>
+</dd>
 </dl>
 </section>
 <section>
@@ -74,6 +78,7 @@ <h1>Index</h1>
 <li><code><a title="raffiot.io" href="io.html">raffiot.io</a></code></li>
 <li><code><a title="raffiot.resource" href="resource.html">raffiot.resource</a></code></li>
 <li><code><a title="raffiot.result" href="result.html">raffiot.result</a></code></li>
+<li><code><a title="raffiot.untyped" href="untyped/index.html">raffiot.untyped</a></code></li>
 </ul>
 </li>
 </ul>