> 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
> 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
>> 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
>>
>>
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
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
> 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
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