site/events/2024-10-10-lambda-calcul.html


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58

<!DOCTYPE html>
<html lang="fr">
<head>
  <meta charset="UTF-8">
  <meta name="viewport" content="width=device-width, initial-scale=1.0">
  <title>Interprétons le Lambda Calcul - Lambda Nantes</title>
  <link rel="preconnect" href="https://fonts.googleapis.com">
  <link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
  <link href="https://fonts.googleapis.com/css2?family=Inter:wght@400;500;600;700&family=JetBrains+Mono:wght@400;700&display=swap" rel="stylesheet">
  <link rel="stylesheet" href="../style.css">
  <link rel="stylesheet" href="../event.css">
  <link rel="icon" href="data:image/svg+xml,<svg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 100 100'><text y='.9em' font-size='90'>&#955;</text></svg>">
</head>
<body>
  <nav class="nav">
    <div class="container nav__inner">
      <a href="../index.html" class="nav__brand"><span class="lambda">&lambda;</span>-Nantes</a>
      <ul class="nav__links">
        <li><a href="../index.html#a-propos">A propos</a></li>
        <li><a href="../index.html#ateliers">Rencontres</a></li>
        <li><a href="../index.html#rejoindre">Rejoindre</a></li>
      </ul>
    </div>
  </nav>

  <header class="event-hero">
    <div class="container">
      <a href="../index.html#ateliers" class="event-hero__back">&larr; Toutes les rencontres</a>
      <h1>Workshop 1 : Interprétons le Lambda Calcul</h1>
      <div class="event-meta">
        <span class="event-meta__item">&#128197; 10 octobre 2024</span>
        <span class="event-meta__item">&#128336; 17h00 - 19h30</span>
        <span class="event-meta__item">&#128205; PaloIT, 1 Rue Saint Julien, Nantes</span>
      </div>
    </div>
  </header>

  <section class="event-body">
    <div class="container">
      <div class="event-body__content">
        <p>Première édition des Workshops de Lambda Nantes ! Une session interactive explorant le Lambda Calcul. Les participants construisent collaborativement un interpréteur de Lambda Calcul, dans le langage de programmation de leur choix.</p>

        <p>La session couvre l'implémentation d'un interpréteur, la compréhension des arbres syntaxiques abstraits, leur représentation dans des langages mainstream comme TypeScript ou Kotlin, et l'évaluation d'expressions.</p>

        <p>Premier d'une série, cet atelier initie une progression vers la construction d'un langage de programmation compilé. Des implémentations canoniques en Kotlin et TypeScript sont fournies pour les sessions futures.</p>

        <a href="https://mobilizon.fr/events/74195726-6f81-4520-8ae0-068d96146d62" class="event-link" target="_blank" rel="noopener">Voir sur Mobilizon &rarr;</a>
      </div>
    </div>
  </section>

  <footer class="footer">
    <div class="container">
      <p>&lambda;-Nantes &mdash; Nantes, France</p>
    </div>
  </footer>
</body>
</html>