~knutsen/tacitpy

Simple tacit programming library for Python.
1a4c46f0 — Demonstrandum 8 months ago
Added package to pypi.
643eb74f — Demonstrandum 8 months ago
Additional types and improved type-checking
03489a73 — Demonstrandum 8 months ago
Make copied type-variable context only for each instance of a function call.

refs

master
browse  log 

clone

read-only
https://git.sr.ht/~knutsen/tacitpy
read/write
git@git.sr.ht:~knutsen/tacitpy

You can also use your local clone with git send-email.

#TacitPy

Tacit Python programming.

#Example

from tacit import *

add5 = add(5)
print('6 + 5 =', add5(6))
	#=> 11

@Curry("int -> int -> float")
def f(x, y):
	return (6.5 + x) * y

# or
f = Curry(lambda x, y: (6 + x) * y)

a = (f(3) * add(2))(5)
b = f(3, 2 + 5)

print('a == b  #=>', a == b)
	#=> true