Does APL Need a Type System? by Aaron W Hsu at #FnConf18
https://youtu.be/z8MVKianh54
#FunctionalProgramming #DyalogAPL #TypeSystem #InterpretedLanguage #UntypedLanguage #ArrayOrientedProgramming #ExpressiveCode
@H.PWiz Yeah, that doesn't seem right. I can't claim to understand this code (or much of what @arcfide writes), but I don't think A∘f⍨ can ever be right.
I have a question about grabbing a section of a matrix. ⌷ can grab an element or a row or maybe a plane of a cube, but how do I get say a 2 3 4 size section of a 4 6 8 size cube?
@Sherlock9 rewind a few minutes in the video and you'll hear how - he was analyzing checkerboard problems and he noticed a pattern he saw here in the orchard, in H.PWiz's golfing
@Sherlock9 The algorithm is sound, but it requires ridiculously large integers, so APL switches to floats and looses precision.
@ngn Challenge for you: do useful stuff in Dyalog APL using only ASCII. You'll have to find work-around for many common things. Assignments are :For N:In 42⋄:End and you can "call" dfns using globals. The only way I can think of doing function assignments is passing them into a tradop as operands…
@moonheart08 NP. So I spoke briefly with our CTO. We don't have any particular tools in place at this time, but you can of course run APL with a workspace (or as a bound executable) or pipe stuff in or use network communications.
@ngn Heh, I just wrote an ASCII APL program that takes an argument and prints all primes ≤argument
I've got ASCII looping, assignments and basic arithmetic now, so I suspect ASCII APL is TC. Logic can obviously be done using ^ for AND and 1- for not, so that's all in place…