Loading README.md +3 −3 Original line number Diff line number Diff line Loading @@ -47,7 +47,7 @@ const putStr = (text) => async (IO) => { **Python version:** ```python def put_str(text): def put_str(text) -> Callable[[object], Awaitable[None]]: async def inner(io): print(text) return io Loading @@ -62,13 +62,13 @@ All core abstractions (e.g., `InternalError`, `IO`, and `Maybe`) are designed to The code can be ported to any language that supports: - First-class (including higher-order) functions - Asynchronous operations (e.g., `Promises` in JavaScript or `async`/`await` in Python) - Asynchronous operations (e.g., `Promise<T>` in JavaScript or `Callable[[IO], Awaitable[T]]` in Python) This design promotes **long-term maintainability**, **code reuse**, and **portability** across ecosystems. ## How to Run Make sure **Redis** and **PostgreSQL** are running, with appropriate configuration files under the `Conf/` directory. Make sure **PostgreSQL** and **Redis** are running, with appropriate configuration files under the `Conf/` directory. ### JavaScript version: ```bash Loading Loading
README.md +3 −3 Original line number Diff line number Diff line Loading @@ -47,7 +47,7 @@ const putStr = (text) => async (IO) => { **Python version:** ```python def put_str(text): def put_str(text) -> Callable[[object], Awaitable[None]]: async def inner(io): print(text) return io Loading @@ -62,13 +62,13 @@ All core abstractions (e.g., `InternalError`, `IO`, and `Maybe`) are designed to The code can be ported to any language that supports: - First-class (including higher-order) functions - Asynchronous operations (e.g., `Promises` in JavaScript or `async`/`await` in Python) - Asynchronous operations (e.g., `Promise<T>` in JavaScript or `Callable[[IO], Awaitable[T]]` in Python) This design promotes **long-term maintainability**, **code reuse**, and **portability** across ecosystems. ## How to Run Make sure **Redis** and **PostgreSQL** are running, with appropriate configuration files under the `Conf/` directory. Make sure **PostgreSQL** and **Redis** are running, with appropriate configuration files under the `Conf/` directory. ### JavaScript version: ```bash Loading