Security News
Introducing the Socket Python SDK
The initial version of the Socket Python SDK is now on PyPI, enabling developers to more easily interact with the Socket REST API in Python projects.
Aca, a functional programming language, and shitty toy.
Aca is a toy functional programming language initially inspired by ISWIM. The interpreter is currently written in Python.
$ pip install acalang
$ cat foo.aca
let main =
dechurch 3
$ aca foo.aca
3
$ aca foo.aca -S # `noeval' mode
(lambda x: dechurch(x))((lambda x: x)((lambda f: lambda x: (f(f(f(x)))))))
$ aca # REPL
$ aca -S # REPL with `noeval'
let main =
(\x y f. f x y)
let a = zero
let b = succ zero
let main = dechurch b
-- 1
let main = 0
-- This is identical to
{-
let main =
(\x . x)
-}
let main =
dechurch 42
-- Output: 42
let main =
debool true
-- Output: True
let main =
dereal (neg (u2i 42))
-- Output: -42
use
$ foo.aca
let foo = 42
$ bar.aca
use foo
let main =
dechurch foo
$ aca bar.aca
42
v1.0.0
:
v1.0.0
:
v2.0.0
:
MIT
FAQs
Aca, a functional programming language, and shitty toy
We found that acalang demonstrated a healthy version release cadence and project activity because the last version was released less than a year ago. It has 1 open source maintainer collaborating on the project.
Did you know?
Socket for GitHub automatically highlights issues in each pull request and monitors the health of all your open source dependencies. Discover the contents of your packages and block harmful activity before you install or update your dependencies.
Security News
The initial version of the Socket Python SDK is now on PyPI, enabling developers to more easily interact with the Socket REST API in Python projects.
Security News
Floating dependency ranges in npm can introduce instability and security risks into your project by allowing unverified or incompatible versions to be installed automatically, leading to unpredictable behavior and potential conflicts.
Security News
A new Rust RFC proposes "Trusted Publishing" for Crates.io, introducing short-lived access tokens via OIDC to improve security and reduce risks associated with long-lived API tokens.