Re: modern logic classes

From: Andrzej Krzemienski (akrzemi1_at_[hidden])
Date: 2024-05-04 10:12:04

sob., 4 maj 2024 o 09:47 g.peterhoff_at_[hidden] <g.peterhoff_at_[hidden]>
napisał(a):

> > Thanks for sharing.
> > Could we have some motivating use cases for these types and functions?
>
> This is supposed to be a general library, but in my opinion with a better
> implementation for three-valued logic. tribool can be replaced by bool3.
> What bothers me about tribool is:
> * strange implementation of indeterminate
> * no support for weak negation
>
> https://de.wikipedia.org/wiki/Dreiwertige_Logik#Starke_und_schwache_Negation
>   https://arxiv.org/pdf/cs/0511041.pdf
> * no support for
>   - std::numeric_limits
>   - std::to_(w)string
>   - std::from/to_chars or boost::from/to_chars
>   - std::formatter for std::format
>
> I would be grateful for any further ideas/criticism.
>

Gero,
Since you are asking this question on a Boost distribution list, I assume
that you would like to get a Boost-like review of your library. One
criterion for a Boost-quality library that I can offer is the quality of
the documentation. A good documentation should:

* Briefly (in five minutes or less) convince the reader that it is worth
investing time in studying the library,
* Describe what computational problems it helps solving,
* Convince that it will be a good fit in users' programs,
* Demonstrate the usage,
* Provide enough information that I know how to use it in my programs.

For now, having browsed the repo and read this thread, I do not know what I
would need this library for. The only information that I got is that
`bool3` is an "improved" version of Boost.Tribool. I do not know why anyone
would use `bool2` or `bool4`. As a potential user I would like to know
that. Could you show us some small programs, where using `bool4` actually
helps? Similarly, can you show us the program example where using a weak
negation makes the program cleaner or more efficient or less bug-prone?

I think this is the necessary step to enable more useful feedback and
criticism.

Regards,
&rzej;