bound

Combinators for manipulating locally-nameless generalized de Bruijn terms (by ekmett)

Bound Alternatives

Similar projects and alternatives to bound

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

bound discussion

Log in or Post with

bound reviews and mentions

Posts with mentions or reviews of bound. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-03-05.
  • What's the state of the art wrt representing bound variables in syntax trees with binding?
    1 project | /r/ProgrammingLanguages | 27 Oct 2023
    First off, I am using Rust. I've begun by implementing an idea that is close in essence to bound, available in this playground. I believe that this is a good first step, but I am concerned with all the recursion leading to stack overflows and that analysing a term under a scope requires eliminating it, which in turn requires full tree traversals. There are ways to optimize the approach (such as caching variable occurrences in each scope node and skipping subtress when a variable I am looking for is not in it) but I wonder how far I can go with this approach and if there’s alternatives.
  • Monthly Hask Anything (March 2023)
    5 projects | /r/haskell | 5 Mar 2023
    Has anyone applied this bound Imperative example to a larger language?

Stats

Basic bound repo stats
2
121
4.2
3 months ago

ekmett/bound is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.

The primary programming language of bound is Haskell.


Sponsored
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