[Jprogramming] AOC 10 - explicit to tacit

[Henry Rich]

I would change your phrase "expects nouns to be gerunds" to "expects 
nouns to be boxed". u`v does not audit u and v to see if they are valid 
gerunds.  It just converts verb(s) to gerund(s) and then joins the two 
nouns into a list. If u/v are nouns they can be any compatible types.  
The domain error in 3&{.`3 comes from joining the boxed gerund to the 
unboxed 3 :

    {.`3
|domain error
|       {.`3
    {.`(<<<<3)
+--+-------+
|{.|+-----+|
|  ||+---+||
|  |||+-+|||
|  ||||3||||
|  |||+-+|||
|  ||+---+||
|  |+-----+|
+--+-------+

Henry Rich



On 12/11/2017 3:12 AM, Raul Miller wrote:
> Your sentences here are built from conjunctions.
>
> If I add redundant parenthesis (to show parsing order),
>
>     3&{. ` , ` }. `: 0 a
>
> would become
>
>     ((((3&{.) ` ,) ` }.) `: 0) a
>
> And, similarly,
>
>     3&{. ` , ` 3&}. `: 0 a
>
> would become
>
>     (((((3&{.) ` ,) ` 3)&}.) `: 0) a
>
> The domain error is because ` expects nouns to be gerunds, but 3 is a
> number. (That the resulting expression would not be what you intended
> is something of a coincidence, but the language flags enough errors
> that errors become likely when you get into that kind of situation.)
>
>     3&{.`,`3
> |domain error
>
> As for what you are trying to simplify... I must admit that I'm not
> entirely sure yet what you are going for there. Or, at least, not
> anything where a simplification jumped out at me.
>
> I hope this helps,
>


---
This email has been checked for viruses by AVG.
http://www.avg.com