From J Wiki
Jump to navigation Jump to search
  • Constraint 0 is problematic in that the "that is" part is not the same as the preceding sentence ("must produce ..."). 2^127 does not produce the number in all its digits but satisfies the "that is" part. -- Roger Hui <<DateTime(2007-11-06T02:24:30Z)>>
    • Yes, I neglected tolerance. Does the new constraint 1 share the same problem? -- Dan Bron <<DateTime(2007-11-06T02:35:28Z)>>
    • If you mean the new constraint 0 then it is fine. -- Roger Hui <<DateTime(2007-11-06T03:07:51Z)>>
  • Wrt. constraint 3, how do expressions with conjunction trains like ?(?`) count? -- B Jonas <<DateTime(2007-11-07T11:54:41Z)>>
    • I attempted to formalize the rules with a J verb that would validate & measure its input sentence, y. However, the generality of constraint 3, in particular, was too much to cover. We'll say that any character which contributed to the execution of a ` shall count as a noun-character. In your example, there are 4 noun characters: '(', ')', and '?' (twice). -- Dan Bron <<DateTime(2007-11-07T13:32:00Z)>>
    • (I admit I can't think of other ways to beat the system and do without any nouns now. Apart from `, there seem to be no builtins that can create a noun with no noun input.) -- B Jonas <<DateTime(2007-11-07T12:01:02Z)>>
    • Though I can still work on ways to beat it with a single noun character. -- B Jonas <<DateTime(2007-11-07T12:07:09Z)>>
  • To EwartShaw: Wow. Your solution 5 is sublime. It's __it__. It's the hidden treasure I was seeking but couldn't find. -- Dan Bron <<DateTime(2007-11-08T13:38:26Z)>>
    • (PS: I'm really, really jealous) -- Dan Bron <<DateTime(2007-11-08T13:40:16Z)>>