The scope of the srfi
Vladimir Nikishkin
(17 Jul 2020 02:11 UTC)
|
Re: The scope of the srfi
Linas Vepstas
(17 Jul 2020 02:26 UTC)
|
Re: The scope of the srfi
Vladimir Nikishkin
(17 Jul 2020 02:33 UTC)
|
Re: The scope of the srfi
Arthur A. Gleckler
(17 Jul 2020 03:00 UTC)
|
Re: The scope of the srfi Vladimir Nikishkin (17 Jul 2020 03:53 UTC)
|
Re: The scope of the srfi
Arthur A. Gleckler
(17 Jul 2020 04:42 UTC)
|
Re: The scope of the srfi
Linas Vepstas
(17 Jul 2020 04:43 UTC)
|
Re: The scope of the srfi
Vladimir Nikishkin
(17 Jul 2020 05:01 UTC)
|
Re: The scope of the srfi
Linas Vepstas
(17 Jul 2020 05:14 UTC)
|
Re: The scope of the srfi
Vladimir Nikishkin
(17 Jul 2020 05:20 UTC)
|
Re: The scope of the srfi
Linas Vepstas
(17 Jul 2020 05:43 UTC)
|
Well, I didn't have any evil intentions, honestly. I just wanted to, once again, say that the design of an API in the form of several generators for a few pre-defined distributions seems to me to be too specific to be really useful for a general user, but not rigourous enough for mathematical applications. It's just strange to see a library providing a "normally-distributed random number" generator, but not an actual function to compute the value of a gaussian bell in, i.g. that particular points where the generator has produced some samples. An inverse value is extremely often needed in statistical analysis. Furthermore, a normal distribution spans all the real line from -inf to inf. How does this work with Scheme numbers? I'm no expert, but I'd expect an infinite amount of corner-cases in practice. The (gsampling) function, e.g., produces a uniform combination of distributions. What makes the uniform distribution a chosen one? What about a function (ggsampling integer-generator . v-generator-list) , that generates a weight from a generator w-generator and the actual value from a (seq-ref (integer-generator) v-generator-list). This trivially generalizes to (gsampling). Again, introducing a good and carefully designed (preferably, minimal) statistical framework in such a scientific language as Scheme would be extremely useful, but I just feel that this srfi is very likely to cause frustration. Again, this is just an opinion, I'm not familiar with full context. Maybe there are some implementation-specific applications that may be instantly made several times more portable after the introduction of this srfi (which would be a perfect justification for me), but in its present shape, I think it is not what I find aesthetically pleasing. I'm sorry. On Fri, 17 Jul 2020 at 11:00, Arthur A. Gleckler <xxxxxx@speechcode.com> wrote: > > On Thu, Jul 16, 2020 at 7:33 PM Vladimir Nikishkin <xxxxxx@gmail.com> wrote: >> >> The code would be just as well perfectly convenient for the user if >> uploaded to Akku.SCM or snow-fort. >> They are as portable as portability can be achieved in Scheme, and do >> not require such a rigourous scrutiny as srfis do. > > > One of the benefits of the SRFI process is that the ideas can get more rigorous scrutiny than a one-person project uploaded to Akku might get. With the additional scrutiny, we hope that the resulting API will be better, and beyond that, simply more widely agreed upon. One of the challenges of our field is that everyone wants to design their own API and write their own implementation, and lessons learned by one API and implementation are often missed by another. SRFIs aren't perfect, but the process does help organize Scheme programmers to build cleaner, more practical code that is also more widely useful. > > In the case of this SRFI, in particular, I'm thrilled that we have mathematically sophisticated contributors who can take us far beyond where I, at least, would be able to get on my own. I'm sure I'm not the only one who will benefit from that expert help. > > But thank you very much for bringing up this philosophical point. Sometimes, it is hard to decide what is appropriate as a SRFI and what isn't, or how far a specific SRFI should go. -- Yours sincerely, Vladimir Nikishkin