Hi Amirouche,

yes, your understanding is correct.

I am not sure what you mean with "identifiers and documentation", but I interpretĀ is as "names for things" and "text describing them" - and yes, the idea is that you can say something like "Vienna is the capital of Austria", and the names for Vienna and for Austria get localized as does the sentence expressing this information. The code that generates this text will be created, maintained, and localized in the wiki for code.

I hope that helps,
Denny



On Sat, Jul 11, 2020 at 8:52 AM Amirouche Boubekki <amirouche.boubekki@gmail.com> wrote:
The proposal of wikilambda at [0] starts with:

> Wikilambda is a new Wikimedia project that allows editors to create and maintain code. This is useful in many different ways. It provides a catalog of all kind of functions that anyone can call, write, maintain, and use.

[0] https://meta.wikimedia.org/wiki/Abstract_Wikipedia#Proposal

Then it goes into:

> It also provides code that translates the language-independent article from Abstract Wikipedia into the language of a Wikipedia. This allows everyone to read the article in their language. Wikilambda will use knowledge about words and entities from Wikidata.

It seems to me that the first part is much different from the second
part. The first part describes some kind of code repository (with
versioning I assume). The second part focus on the main use case for
that repository and describes to some extent what would be the
required or necessary function that can be created inside the
repository. The second part can be understood as the procedure
required by abstract Wikipedia to do its work.

I want to focus on the first part. If I understand correctly
wikilambda is a *wiki for code*, that possibly allows translating
procedure/function, documentation, and really any name into multiple
natural languages. The programming language itself is not fixed yet.
We know that we would like to make it possible to run programs on
various existing programming language interpreter/compiler. That is
already beyond the scope of this email.

Here is the question: Is that correct that wikilambda is a repository
for code that allows us to:

1) create,
2) maintain,
3) localize identifiers and documentation into multiple natural languages

Is that all of wikilambda?

_______________________________________________
Abstract-Wikipedia mailing list
Abstract-Wikipedia@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/abstract-wikipedia