Talk:Binary combinatory logic

This isn't on the Language List, and its categorization seems incomplete. For consistency, either it should be added to the Language List, or recategorized. Any opinions? --ais523 13:08, 19 May 2006 (UTC)


 * I don't think this should be categorized as a language. Category:Computational_models is probably more appropriate. --Rune 14:15, 19 May 2006 (UTC)


 * It seems like a very grey zone. Why it but not Iota and Jot? Especially if as I suspect, it is a creation of John Tromp, who is obviously interested in both esoteric languages and in the mathematical implications of BCL. Which was his reason for creating it? Intention matters or not, as the case of the atrocious commercial language BancStar shows. But it seems like languages based on mathematical ideas might be even more difficult to decide. Maybe not even the creator knows. I just know this will bite me one day, as a mathematician. :-) --Ørjan 14:41, 19 May 2006 (UTC)


 * Since the discussion seemed to die out without a consensus, I added it to the language list, for consistency because it is already in the Languages category.


 * However I then thought of an additional argument. I think that it is not a computational model in itself because its semantics are not really different from the ordinary combinatory logic model. Only the syntax distinguishes it. --Ørjan 19:00, 8 Jun 2006 (UTC)