Dear John McCall
I am quite having second thoughts about Swift por diverse applications in several Apple’s platforms. From outside Apple I perceive the language is coming to age with different paradigms
as old times software engineering courses. I.e. Declarative, Object oriented, Functional and maybe Logic, among others. In reference to the last we could point out to C Prolog the original French development. Surprisingly this approach was used successfully to manipulate Natural Language applications, originally parsers first in grammar structures. First degree mathematical logic applications and semantics a good second. I wonder whether somehow that has been contemplated to extend Swift?
In this case, the programming objections I noted in my earlier attempts when tried to use set theory with Swift to solve some primitive AI applications, that could develop new vision and perspective for Swift. Let me refer to my my good will contribution in the 80’s to the Oxford University C Prolog with some predicates to manage List structures. Based on this particular data structure, which is composed of just two elements a Head and a Tail, whereby the Head is just one element (its first) and its Tail a sublist of the original List - but without its Head. The tail is always a List itself and by a recursive procedure the programmer could reach all its elements and operate as required in a particular logic programme. Membership could be a good example.
Essentially by using this extended approach I manage to get a first semantic interpreter in English which became my approved PhD thesis in 1992.
At the moment I am located in Reading UK, but I was travelling to New York where the University of Columbia show me some interest in a particular AI application together with a textbook on this matter. Further explanation merit a larger exposition. Needless to say I would like to extend it.
Please I requested your intervention before the development team so I can finally use Swift (and the Apple hardware) to implement this App at this University.
Jorge Guillermo Forero, PhD (Computer Science).