> After more careful look at 'install.rst' I think that for now we
> should go with plain text version. Namely, unlike README,
> .rst version looks significantly worse than plain text version.
What do you mean by "worse"?
That you have to write verbose inline stuff inside ``...``?
That verbose co
After more careful look at 'install.rst' I think that for now we
should go with plain text version. Namely, unlike README,
.rst version looks significantly worse than plain text version.
--
Waldek Hebisch
--
You received this message because you are subscribed to
> I wanted to avoid useless talk in the README. I am affraid that
> "parametric dependent types" does not tell much for many our
> potential readers. And some folks may understand it wrong.
OK. Let's settle it and let it be "strongly typed".
> Formally it can be argued that Spad type system is
On Sun, Apr 18, 2021 at 06:38:11PM +0200, Ralf Hemmecke wrote:
> >> In my version of the README, I use "statically typed" instead of
> >> "strongly typed".
> >>
> >> I have a strong desire to put "static" here (in contrast to dynamic).
> >> "strongly typed" doesn't seem to be sooo clear according t
> I'm advertising for 'strongly typed'. First of all, we claim it in
> https://en.wikipedia.org/wiki/FriCAS
Then we should change the Wikipedia entry and replace it with the first
of the following two.
https://en.wikipedia.org/wiki/Type_system#Static_type_checking
https://en.wikipedia.org/wiki/
>> In my version of the README, I use "statically typed" instead of
>> "strongly typed".
>>
>> I have a strong desire to put "static" here (in contrast to dynamic).
>> "strongly typed" doesn't seem to be sooo clear according to
>>
>> https://stackoverflow.com/questions/2690544/what-is-the-differenc
On 18.04.2021 17:34, Ralf Hemmecke wrote:
>> http://www.math.uni.wroc.pl/~hebisch/fricas/README
...
>
> https://stackoverflow.com/questions/2351190/static-dynamic-vs-strong-weak
>
> If I look at what they write in the first reference than with our
> "pretend" keyword, SPAD would be weakly type
On Sun, Apr 18, 2021 at 05:34:36PM +0200, Ralf Hemmecke wrote:
> > http://www.math.uni.wroc.pl/~hebisch/fricas/README
>
> Thank you.
>
> I've slightly modified it and have temporarily put it to my wip/rstdoc
> branch.
>
> https://github.com/hemmecke/fricas/tree/wip/rstdoc
>
> I have kept the li
> http://www.math.uni.wroc.pl/~hebisch/fricas/README
Thank you.
I've slightly modified it and have temporarily put it to my wip/rstdoc
branch.
https://github.com/hemmecke/fricas/tree/wip/rstdoc
I have kept the link to INSTALL, but I hope that eventually INSTALL will
only contain
See src/d
On Sat, Apr 17, 2021 at 10:18:31PM +0800, Qian Yun wrote:
> Preliminary benchmark shows 70% speedup for SBCL. (0.7s vs 1.2s).
>
> The improvement was smaller that I originally thought.
>
> I also thought it is a burden for us to maintain the (double)float
> computation algorithm.
double sqrt may
I have put at:
http://www.math.uni.wroc.pl/~hebisch/fricas/README
candidate for new README. A slightly longer alternative
candidate:
http://www.math.uni.wroc.pl/~hebisch/fricas/README2
It is hopefully correct .rst, but before commiting it I keep
name without extension.
I tried to keep it shor
11 matches
Mail list logo