Thanks.I&#x27;m new to Zig myself and created this library because I had trouble verifying the correctness of the code I wrote for a set of complex data structures in another larger Zig project (this one: <a href="https:&#x2F;&#x2F;github.com&#x2F;habedi&#x2F;ordered" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;habedi&#x2F;ordered</a>). I&#x27;m currently experimenting with how to use DbC in Zig, which led to the creation of this library.

This is pretty cool, I like to see this kind of project coming to Zig. Zig&#x27;s compile-time language features make DbC a natural fit.I am not yet proficient enough in Zig to be able to evaluate how well the syntax fits into idiomatic Zig.Good work.

I created this library to help me verify the correctness of my Zig code in another project. However, I wanted the option to strip the checks when the code becomes more mature, for efficiency. For efficiency, I mainly care about speed, which is why checks are only compiled out in `ReleaseFast`.

Why are the checks included in ReleaseSmall?

I think they want to add lambdas to Zig at some point. The number of changes is high between releases.

Related RFC for context:
<a href="https:&#x2F;&#x2F;github.com&#x2F;ziglang&#x2F;zig&#x2F;issues&#x2F;20242" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;ziglang&#x2F;zig&#x2F;issues&#x2F;20242</a>

Another project burdened by Andrew Kelley&#x27;s weird hate-boner for function literals.<pre><code> (struct { fn run }).run
</code></pre>
How ridiculous that this is required to do something so simple.

Hi everyone,I&#x27;ve made an open-source library for using design by contract (DbC) principles in the Zig programming language.It&#x27;s called Zig-DbC, and it currently provides the following features:- A simple API to define preconditions, postconditions, and invariants.- Contracts are active in `Debug`, `ReleaseSafe`, and `ReleaseSmall` modes to catch bugs early.- All checks are removed at compile time in `ReleaseFast` mode for zero performance cost.- An optional mode to handle partial state changes in functions that return errors.- Transparent error handling that propagates errors from your code to the caller.Project&#x27;s GitHub repo: <a href="https:&#x2F;&#x2F;github.com&#x2F;habedi&#x2F;zig-dbc" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;habedi&#x2F;zig-dbc</a>

Show HN: Zig-DbC – A design by contract library for Zig