On 30 October 2016 at 19:40, Waldek Hebisch wrote:
>
> Before using a function Spad runtime first has to compute
> types appearing in function signature. So before call to 'ap'
> we have to compute 'A(S->S)' with 'A' replaced by 'AMaybe'.
> The problem is that constructors (in particular 'AMaybe'
Am 31.10.2016 um 02:42 schrieb Bill Page:
> On 30 October 2016 at 19:14, Waldek Hebisch wrote:
>> ...
>> OTOH:
>>
>> (2) -> typeOf(Integer)
>>
>>(2) Type
>>Type: Category
>> (3) -> typeOf(typeOf(Integer))
>>
>>(3) Categor
On 30 October 2016 at 19:14, Waldek Hebisch wrote:
> ...
> OTOH:
>
> (2) -> typeOf(Integer)
>
>(2) Type
>Type: Category
> (3) -> typeOf(typeOf(Integer))
>
>(3) Category
>
Bill Page wrote:
>
> On 28 October 2016 at 22:32, Waldek Hebisch wrote:
> > Bill Page wrote:
> >>
> >> The following code compiles (requires bootStrapMode) and seems to work:
> >>
> >> --
> >> )abbrev category APPL Applicative
> >> Applicative(S : Type, A: (Type->Type)) : Category == Type with
>
Bill Page wrote:
>
> 10) -> typeOf(SetCategory)
>
>(10) Category
>Type: Type
>
> (11) -> typeOf(Category)
>
>(11) Variable(Category)
>Type: Type
>
>
(1) -> f := cosh(x)*(-cosh(2*x)+tanh(x))/(sinh(x)^2+sinh(2*x))/sinh(2*x)^(1/2)
cosh(x)tanh(x) - cosh(x)cosh(2x)
(1)
2 ┌┐
(sinh(2x) + sinh(x) )\│sinh(2x)
Type