lambdaway :: traverse

6 | list | login |load

| |

_img http://lambdaway.free.fr/lambdawalks/data/cat-infinity.gif

{center {@ style="margin:-70px 0 70px 0"} {toggle}}

_h1fr chemins de traverse
_h1en side roads

_pfr Tout a commencé avec le besoin d'une syntaxe uniforme pour écrire, structurer, styliser et coder un site web. Une syntaxe parenthésée et préfixée - à la LISP - s'est imposée non seulement comme élégante alternative aux lourdes balises emboîtées du HTML - la matière de base du web - mais encore comme la clé de son extension à un véritable langage de programmation. C'est ainsi qu'est né [[{b lambdatalk}|?view=coding]].
_pen It all started with the need for a uniform syntax for writing, structuring, styling and coding a website. A parenthetical and prefixed syntax - a la LISP - emerged not only as an elegant alternative to the heavy nested tags of HTML - the basic material of the web - but also as the key to its extension to a real programming language. Thus [[{b lambdatalk}|?view=coding]] was born.

_pfr Ce langage s'est d'abord révélé comme utilisable à des niveaux différents, celui du "{b rédacteur}" apportant l'information et a priori sans compétence en informatique, celui du "{b styliste}" chargé de la mise en forme et celui du "{b codeur}" fournissant les fonctionalités souhaitées par les deux premiers. Le tout ouvrant la voie à une véritable création collective.
_pen This language was first shown to be usable at different levels, that of the "writer" providing the information and a priori without computer skills, that of the "stylist" in charge of the formatting and that of the "coder" providing the functionalities desired by the first two. All this opens the way to a real collective creation.

_pfr De façon inattendue le développement de ce langage a mis en lumière un formalisme datant des années 30, le {b lambda-calcul}, oublié au fin fond de tiroirs universitaires et qui s'est révélé être un formidable outil pour comprendre {b la fabrique d'un langage} de programmation à partir d'un couple d'opérateurs, {b l'abstraction et l'application}, travaillant sur un seul type de donnée, {b le texte}. 
_pen Unexpectedly, the development of this language brought to light a formalism dating from the 1930s, the lambda-calculus, forgotten at the bottom of university drawers, and which proved to be a formidable tool for understanding the making of a programming language from a pair of operators, abstraction and application, working on a single type of data, text.

_pfr Ce qui n'était au départ qu'un banal outil d'aide à la création de site web est devenu un outil permettant de dégager et d'explorer les concepts fondamentaux des langages de programmation, à savoir les structures de données et de contrôle, articulées autour d'un seul objet, {b la fonction}. Armé de ce seul outil il devenait possible de construire les briques de base - les booléens, les aggrégats, la récursion, l'arithmétique. Et au-delà un dictionnaire extensible à la demande tirant profit de l'énorme écosystème qu'est devenu le web.
_pen What started out as a simple tool to help create a website has become a tool for identifying and exploring the fundamental concepts of programming languages, namely data and control structures, articulated around a single object, the function. Armed with this single tool it became possible to build the basic building blocks - Booleans, aggregates, recursion, arithmetic. And beyond that, a dictionary that could be extended on demand, taking advantage of the enormous ecosystem that the web has become.

_pfr Au final, au moins en ce qui me concerne, une balade émerveillée dans les coins perdus de {b la pensée}, un voyage tout à fait inattendu, gommant la frontière entre {b raison} occidentale et {b sagesse} orientale, un "trip" loin des foules et passionnant. Notamment ici [[noosphere]]. A bientôt sur la [[lambdaway|?view=start]] ...
_pen In the end, at least for me, it's an amazing journey into the lost corners of thought, a completely unexpected trip, erasing the border between Western reason and Eastern wisdom, a trip far from the crowds and fascinating. Particularly here [[noosphere]. See you soon on the [[lambdaway|?view=start]] ...

_p alain marty | 2022/03/19

;; coder's corner

;; {div {@ style="position:fixed; top:0px; left:0px; "} {toggle}}

{macro _h(\d)fr ([^\n]+)\n to {h€1 {@ class="fr"}€2}}
{macro _h(\d)en ([^\n]+)\n to {h€1 {@ class="en"}€2}}
{macro _pfr ([^\n]+)\n to {p {@ class="fr"}€1}} 
{macro _pen ([^\n]+)\n to {p {@ class="en"}€1}} 
{macro _l([\d]*)fr ([^\n]+)\n to {ul {@ class="fr" style="margin-left:€1px;"} {li €2}}}
{macro _l([\d]*)en ([^\n]+)\n to {ul {@ class="en" style="margin-left:€1px;"} {li €2}}}

{{hide}
{def toggle
  {input {@ type="button" value="english" onclick="toggle(this)"}}}
}

{style 
.fr { display:block; }
.en { display:none; }

body, #page_frame, #page_content, .page_menu { 
  background:#444; color:#fff; 
  box-shadow:0 0 0 #444; border:0px solid #444; 
  font:normal 1.2em papyrus,arial;
}
pre { background:#666; color:#fff; box-shadow:0 0 8px #000; padding:5px; }
 a { color:#ff0; }
}

{script 
var toggle = function(obj) {
  var frs = document.getElementsByClassName('fr');
  var ens = document.getElementsByClassName('en');
  if (obj.value==='english') {
    for (var i=0; i< frs.length; i++) frs[i].style.display="none";
    for (var i=0; i< ens.length; i++) ens[i].style.display="block";
    obj.value = 'français';
  } else {
    for (var i=0; i< frs.length; i++) frs[i].style.display="block";
    for (var i=0; i< ens.length; i++) ens[i].style.display="none"; 
    obj.value = 'english';   
  }
};
}