Bump to v0.3.3

CHANGELOG.md

@@ -7,6 +7,16 @@ and this project adheres to [Semantic Versioning](http://semver.org/).
 
 ## [Unreleased]
 
+## [0.3.3] - 2023-02-09
+
+### Added
+
+- Add ability to curry functions i.e. transform functions with multiple args into functions with fewer args
+
+### Changed
+
+### Fixed
+
 ## [0.3.2] - 2023-02-08
 
 ### Added

README.md

@@ -81,11 +81,10 @@ def main():
     unit = ml.val(lambda v: v)
     is_even = ml.val(lambda v: v % 2 == 0)
     mul = ml.val(lambda args: args[0] * args[1])
-    superscript = ml.val(lambda num, power: num**power)
+    superscript = ml.val(lambda num, power=1: num**power)
     get_month = ml.val(lambda value: value.month)
     is_num = ml.val(lambda v: isinstance(v, (int, float)))
     is_exp = ml.val(lambda v: isinstance(v, BaseException))
-    is_zero_or_less = ml.val(lambda v, *args: v <= 0)
     if_else = lambda check=unit, do=unit, else_do=unit: ml.val(
         lambda *args, **kwargs: (
             ml.match(check(*args, **kwargs))
@@ -97,13 +96,13 @@ def main():
     """
     High Order Expressions
     """
-    accum_factorial = if_else(
-        check=is_zero_or_less,
-        do=lambda v, ac: ac,
-        else_do=lambda v, ac: accum_factorial(v - 1, v * ac),
+    factorial = lambda v, accum=1: (
+        ml.match(v <= 0)
+        .case(True, do=ml.val(accum))
+        .case(False, do=lambda num, ac=0: factorial(num - 1, accum=num * ac)())
     )
-    cube = ml.val(lambda v: superscript(v, 3))
-    factorial = ml.val(lambda x: accum_factorial(x, 1))
+    # currying expressions is possible
+    cube = superscript(power=3)
     get_item_types = ml.ireduce(lambda x, y: f"{type(x)}, {type(y)}")
     nums_type_err = ml.val(
         lambda args: TypeError(f"expected numbers, got {get_item_types(args)}")

docs/change-log.md

@@ -7,6 +7,15 @@ and this project adheres to [Semantic Versioning](http://semver.org/).
 
 ## [Unreleased]
 
+## [0.3.3] - 2023-02-09
+
+### Added
+
+- Add ability to curry functions i.e. transform functions with multiple args into functions with fewer args
+
+### Changed
+
+### Fixed
 
 ## [0.3.2] - 2023-02-08
 

docs/tutorial.md

@@ -124,11 +124,10 @@ def main():
     unit = ml.val(lambda v: v)
     is_even = ml.val(lambda v: v % 2 == 0)
     mul = ml.val(lambda args: args[0] * args[1])
-    superscript = ml.val(lambda num, power: num**power)
+    superscript = ml.val(lambda num, power=1: num**power)
     get_month = ml.val(lambda value: value.month)
     is_num = ml.val(lambda v: isinstance(v, (int, float)))
     is_exp = ml.val(lambda v: isinstance(v, BaseException))
-    is_zero_or_less = ml.val(lambda v, *args: v <= 0)
     if_else = lambda check=unit, do=unit, else_do=unit: ml.val(
         lambda *args, **kwargs: (
             ml.match(check(*args, **kwargs))
@@ -143,6 +142,7 @@ def main():
 Here we combine the primitive expressions into more complex ones using:
 
 - normal function calls e.g. `if_else(some_stuff)` where `if_else` is a primitive expression
+- a form of [currying](https://en.wikipedia.org/wiki/Currying) e.g. `add3 = add(3)` where `add = lambda x, y: x+y`
 - pipelines using the pipeline operator (`>>`).
   Pipelines let one start with data followed by the steps that operate on that
   data e.g. `output = records >> remove_nulls >> parse_json >> ml.execute()`
@@ -161,13 +161,13 @@ In our `main` function in our script `main.py`, let's add the following high ord
     """
     High Order Expressions
     """
-    accum_factorial = if_else(
-        check=is_zero_or_less,
-        do=lambda v, ac: ac,
-        else_do=lambda v, ac: accum_factorial(v - 1, v * ac),
+    factorial = lambda v, accum=1: (
+        ml.match(v <= 0)
+        .case(True, do=ml.val(accum))
+        .case(False, do=lambda num, ac=0: factorial(num - 1, accum=num * ac)())
     )
-    cube = ml.val(lambda v: superscript(v, 3))
-    factorial = ml.val(lambda x: accum_factorial(x, 1))
+    # currying expressions is possible
+    cube = superscript(power=3)
     get_item_types = ml.ireduce(lambda x, y: f"{type(x)}, {type(y)}")
     nums_type_err = ml.val(
         lambda args: TypeError(f"expected numbers, got {get_item_types(args)}")

docs_src/tutorial/main.py

@@ -36,11 +36,10 @@ def main():
     unit = ml.val(lambda v: v)
     is_even = ml.val(lambda v: v % 2 == 0)
     mul = ml.val(lambda args: args[0] * args[1])
-    superscript = ml.val(lambda num, power: num**power)
+    superscript = ml.val(lambda num, power=1: num**power)
     get_month = ml.val(lambda value: value.month)
     is_num = ml.val(lambda v: isinstance(v, (int, float)))
     is_exp = ml.val(lambda v: isinstance(v, BaseException))
-    is_zero_or_less = ml.val(lambda v, *args: v <= 0)
     if_else = lambda check=unit, do=unit, else_do=unit: ml.val(
         lambda *args, **kwargs: (
             ml.match(check(*args, **kwargs))
@@ -52,13 +51,13 @@ def main():
     """
     High Order Expressions
     """
-    accum_factorial = if_else(
-        check=is_zero_or_less,
-        do=lambda v, ac: ac,
-        else_do=lambda v, ac: accum_factorial(v - 1, v * ac),
+    factorial = lambda v, accum=1: (
+        ml.match(v <= 0)
+        .case(True, do=ml.val(accum))
+        .case(False, do=lambda num, ac=0: factorial(num - 1, accum=num * ac)())
     )
-    cube = ml.val(lambda v: superscript(v, 3))
-    factorial = ml.val(lambda x: accum_factorial(x, 1))
+    # currying expressions is possible
+    cube = superscript(power=3)
     get_item_types = ml.ireduce(lambda x, y: f"{type(x)}, {type(y)}")
     nums_type_err = ml.val(
         lambda args: TypeError(f"expected numbers, got {get_item_types(args)}")

pyproject.toml

@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "funml"
-version = "0.3.2"
+version = "0.3.3"
 description = "A collection of utilities to help write python as though it were an ML-kind of functional language like OCaml"
 authors = ["Martin <[email protected]>"]
 readme = "README.md"