This article is rated Start-class on Wikipedia's
content assessment scale. It is of interest to the following WikiProjects: | |||||||||||
|
I think the article page should mention two things:
- that Unlambda had a great impact on a number of esoteric programming languages, and - that Unlambda is _not_ very pure, as a functional programming language.
opinions? -- User:128.214.214.194 17:14, 29 Jul 2004
d
and c
are impure. --
Dominus 15:51, 7 Oct 2004 (UTC)Hey, nice work on rewriting the article, Dominus. :) I don't know any Unlambda myself but I'm willing to learn so this was a huge improvement. Could you check this sentence in the fifth paragraph: "i
represents the version of the identity function that has no such side effectl it is used here as a summy argument". You've obviously got a typo there but I don't know what it is supposed to say. :/ Please also add some headings, the text is now in a rather cumbersome junk. A list of all the commands in Unlambda with short descriptions would be nice at some point. --
ZeroOne 15:52, 6 Oct 2004 (UTC)
Is there a connection between Unlambda and SKI combinator calculus? --Jesse Ruderman
Is Joy really a "similar language"? It's not esoteric, perhaps not really even experimental, it has named functions instead of just few primitives, it's stack-based, and while it does have combinators I fail to see any other interesting similarities. 213.243.161.50 ( talk) 10:51, 23 October 2008 (UTC)
"The notation .x denotes a function which takes one argument and returns it unchanged, printing the single character x as a side effect when it is invoked." Looks impure to me. Actually, I'm going to see if this language is mentioned in any WP:SECONDARY sources, and in what way. Pcap ping 06:48, 30 December 2009 (UTC)
It's rather difficult to verify much of this article, as it seems almost entirely based on a Japanese book, which isn't freely available online. It's certainly a valid source, and there's no reason to doubt the article follows it faithfully, but please post any other reliable sources if you find any.
Currently cited sources:
{{
cite web}}
: Italic or bold markup not allowed in: |work=
(
help)While most blogs wouldn't count as a reliable source, Chu-Carroll's is a published author in the field, and I think meets Wikipedia's "expert" requirements for self-published sources.
I think Campos' lecture notes should not be relied upon as a reliable source; Campos was a grad student, and the April 1 date suggests it may have been an April Fool's joke (e.g., "it is powerful", "it is the ideal language for abstraction elimination"; this could be serious, or a spoof of overstated language claims). I don't see any sentence in this article that is supported by the lecture notes, so it could probably be removed without an effect on the article, though perhaps it was the basis for parts of sentences (e.g., that it is Turing complete, or that it allows abstraction elimination).
原 悠's book was republished this year; Google preview doesn't show the text, but does show the table of contents, which list the 12-page section on Unlambda as a subsection of "Esoteric Languages":
Other reliable sources I found that mention it had very minor coverage:
Combinatory logic is used in some esoteric languages including Unlambda.[14] A functional language based on the combinatory logic is a language without variables or lambda expressions. Unlambda is of some theoretical interest. Lambda calculus and combinatory logic are now studied as idealized programming languages." Footnote: "[14] For the official Unlambda distribution, including several (other) implementations and documentation of the language, see the Unlambda Homepage by David Madore: http://www.madore.org/~david/programs/unlambda/.
{{
cite journal}}
: External link in |quote=
(
help)Although this is theoretically banal, it has major practical significance in allowing people to read combinators (and foiling the obfuscatory attempts of languages like unlambda, and Iota).
Indépendamment d'Imbécil, il convient de remarquer aussi dans cette ligne de pensée des initiatives telles que Malbolge, Unlambda, Whitespace, Rrainfuck ou Intercal, qui sont tous des langages de programmation conçus expressément pour être (presque) impossibles à utiliser. ... Apart from 'Imbécil', other programs follow the same line of thought, such as Malbolge, Unlambda, Whitespace, Brainfuck and Intercal, all programming languages designed specially to be (almost) impossible to use.
{{
cite book}}
: CS1 maint: unrecognized language (
link)U Ultra 32, Unicon, UnLambda, UnrealScript(It is just included among a large list of programming languages, in a line for languages beginning with a U).
...those who are interested in the implementation of TM in different programming languages other than C [like C++, Haskell, Java, OCaml, Ruby, Scheme, and Unlambda] can delve...
The application supports forty programming languages: Ada, ... Unlambda, ...
This article is rated Start-class on Wikipedia's
content assessment scale. It is of interest to the following WikiProjects: | |||||||||||
|
I think the article page should mention two things:
- that Unlambda had a great impact on a number of esoteric programming languages, and - that Unlambda is _not_ very pure, as a functional programming language.
opinions? -- User:128.214.214.194 17:14, 29 Jul 2004
d
and c
are impure. --
Dominus 15:51, 7 Oct 2004 (UTC)Hey, nice work on rewriting the article, Dominus. :) I don't know any Unlambda myself but I'm willing to learn so this was a huge improvement. Could you check this sentence in the fifth paragraph: "i
represents the version of the identity function that has no such side effectl it is used here as a summy argument". You've obviously got a typo there but I don't know what it is supposed to say. :/ Please also add some headings, the text is now in a rather cumbersome junk. A list of all the commands in Unlambda with short descriptions would be nice at some point. --
ZeroOne 15:52, 6 Oct 2004 (UTC)
Is there a connection between Unlambda and SKI combinator calculus? --Jesse Ruderman
Is Joy really a "similar language"? It's not esoteric, perhaps not really even experimental, it has named functions instead of just few primitives, it's stack-based, and while it does have combinators I fail to see any other interesting similarities. 213.243.161.50 ( talk) 10:51, 23 October 2008 (UTC)
"The notation .x denotes a function which takes one argument and returns it unchanged, printing the single character x as a side effect when it is invoked." Looks impure to me. Actually, I'm going to see if this language is mentioned in any WP:SECONDARY sources, and in what way. Pcap ping 06:48, 30 December 2009 (UTC)
It's rather difficult to verify much of this article, as it seems almost entirely based on a Japanese book, which isn't freely available online. It's certainly a valid source, and there's no reason to doubt the article follows it faithfully, but please post any other reliable sources if you find any.
Currently cited sources:
{{
cite web}}
: Italic or bold markup not allowed in: |work=
(
help)While most blogs wouldn't count as a reliable source, Chu-Carroll's is a published author in the field, and I think meets Wikipedia's "expert" requirements for self-published sources.
I think Campos' lecture notes should not be relied upon as a reliable source; Campos was a grad student, and the April 1 date suggests it may have been an April Fool's joke (e.g., "it is powerful", "it is the ideal language for abstraction elimination"; this could be serious, or a spoof of overstated language claims). I don't see any sentence in this article that is supported by the lecture notes, so it could probably be removed without an effect on the article, though perhaps it was the basis for parts of sentences (e.g., that it is Turing complete, or that it allows abstraction elimination).
原 悠's book was republished this year; Google preview doesn't show the text, but does show the table of contents, which list the 12-page section on Unlambda as a subsection of "Esoteric Languages":
Other reliable sources I found that mention it had very minor coverage:
Combinatory logic is used in some esoteric languages including Unlambda.[14] A functional language based on the combinatory logic is a language without variables or lambda expressions. Unlambda is of some theoretical interest. Lambda calculus and combinatory logic are now studied as idealized programming languages." Footnote: "[14] For the official Unlambda distribution, including several (other) implementations and documentation of the language, see the Unlambda Homepage by David Madore: http://www.madore.org/~david/programs/unlambda/.
{{
cite journal}}
: External link in |quote=
(
help)Although this is theoretically banal, it has major practical significance in allowing people to read combinators (and foiling the obfuscatory attempts of languages like unlambda, and Iota).
Indépendamment d'Imbécil, il convient de remarquer aussi dans cette ligne de pensée des initiatives telles que Malbolge, Unlambda, Whitespace, Rrainfuck ou Intercal, qui sont tous des langages de programmation conçus expressément pour être (presque) impossibles à utiliser. ... Apart from 'Imbécil', other programs follow the same line of thought, such as Malbolge, Unlambda, Whitespace, Brainfuck and Intercal, all programming languages designed specially to be (almost) impossible to use.
{{
cite book}}
: CS1 maint: unrecognized language (
link)U Ultra 32, Unicon, UnLambda, UnrealScript(It is just included among a large list of programming languages, in a line for languages beginning with a U).
...those who are interested in the implementation of TM in different programming languages other than C [like C++, Haskell, Java, OCaml, Ruby, Scheme, and Unlambda] can delve...
The application supports forty programming languages: Ada, ... Unlambda, ...