yatima-lang-alpha

A programming language for the decentralized web (by yatima-inc)

Yatima-lang-alpha Alternatives

Similar projects and alternatives to yatima-lang-alpha

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better yatima-lang-alpha alternative or higher similarity.

yatima-lang-alpha reviews and mentions

Posts with mentions or reviews of yatima-lang-alpha. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-06-07.
  • Yatima: A programming language for the decentralized web
    16 projects | news.ycombinator.com | 7 Jun 2021
    Absolutely accepting contributions, come join our matrix channel: #yatima:matrix.org https://matrix.to/#/!bBgWgXJqeKuDuiUYWN:matrix.org?via=matri...

    This issue (on improving the test-suite) is a particularly good starter issue: https://github.com/yatima-inc/yatima/issues/37

    16 projects | news.ycombinator.com | 7 Jun 2021
    Some random questions to the developers regarding motivation 2 at [0]:

    1. Do you have plans to make Yatima a usable theorem prover?

    2. If so, how will people typically quotient things (e.g. does it have quotient types)?

    3. How far does the type theory depart from classical mathematics?

    [0]: https://github.com/yatima-inc/yatima#motivation

    16 projects | news.ycombinator.com | 7 Jun 2021
    Sure, so I do use petgraph for actually visualizing the lambda DAG graphs, since it's got a very nice graphviz integration: https://github.com/yatima-inc/yatima/blob/059b0abccd0ca54b9a....

    You can see the output of that here: https://i.redd.it/94zg24fboyv61.png

    (N.B. We removed that module from the language core since we're trying to make that no_std, but we're adding it back to our utils crate soon: https://github.com/yatima-inc/yatima/issues/70)

    But we can't use petgraph for the actual computational lambda-DAG because of performance. For example, one thing we get by using pointers is constant-time insertion and removal of of parent nodes (every node in the graph points to their parent). We actually wrote our own Doubly-Linked-List in Rust (it can be done!) to store pointers to the parents for this reason: https://github.com/yatima-inc/yatima/blob/main/core/src/dll.....

    There's also memory concerns, given that the lambda-DAG collects its own garbage, freeing space allocated for nodes when no longer in use, whereas I believe petgraph is just `Vec` internally, which would require shrinking, and that would also be slow.

    All this low-level pointer manipulation was, tbh, a huge amount of work, but the end result is a performant lazy lambda-calculus reducer with sharing in a few thousand lines of Rust, which means fast lambdas on wherever WASM runs.

    (That said, I'm a little bit concerned about cache misses with all the pointer chasing we do, but I haven't yet gotten around to profiling different Yatima expressions to measure this. Would be a great project for an OSS contributor too, so I'll probably make a GH issue for it!)

    16 projects | news.ycombinator.com | 7 Jun 2021
    Totally a fair point. Honestly I'm not sure the Yatima's actually ready for on-boarding language users, as distinct from language contributors, just yet. Like, if you want to hack on a Rust implementation of a functional language and can figure out a lot stuff from the source, we're just about ready for you. If you want to use the language to build software that's useful for some other purpose, I don't think we're quite there yet. We don't even have IO yet!

    But you're definitely right that once we're ready for people who aren't contributors to use the language we'll need code examples, tutorials, a web repl (it's in progress! https://github.com/yatima-inc/yatima/tree/main/web), and all that good stuff. 100% agree on that

    16 projects | news.ycombinator.com | 7 Jun 2021
  • A note from our sponsor - LearnThisRepo.com
    learnthisrepo.com | 25 Feb 2024
    LearnThisRepo lets you learn 300+ open source repos including Postgres, Langchain, VS Code, and more by chatting with them using AI! Learn more →

Stats

Basic yatima-lang-alpha repo stats
9
450
0.0
12 months ago

yatima-inc/yatima-lang-alpha is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of yatima-lang-alpha is Rust.

Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com