From: slack <slack@codemaniacs.com>
Date: Tue, 8 Dec 2009 02:24:03 +0000 (+0100)
Subject: Added language description
X-Git-Url: http://slack.codemaniacs.com/git/?a=commitdiff_plain;h=fa5b2bb0df7d0177b588d81cc38902c297ffe835;p=clojure-slides.git

Added language description
---

diff --git a/clojure-slides.xhtml b/clojure-slides.xhtml
index 464f81c..fac7d4f 100755
--- a/clojure-slides.xhtml
+++ b/clojure-slides.xhtml
@@ -2,6 +2,7 @@
 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
  "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
 <html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"> 
+  <!-- vim: ts=2:sts=2:sw=2:et:encoding=utf-8-->
 <head> 
   <title>Clojure</title> 
   <meta name="copyright" 
@@ -28,6 +29,149 @@
    <p><a href="mailto:slack@codemaniacs.com">slack@codemaniacs.com</a></p> 
   </div> 
 
+  <div class="slide">
+    <h1>Â¿QuÃ© es Clojure?</h1>
+    <p> Cuatro grandes ideas: </p>
+    <ul>
+      <li>Dialecto de Lisp</li>
+      <li>Corre en la JVM (y en el CLR de .NET!)</li>
+      <li>ProgramaciÃ³n funcional</li>
+      <li>Concurrencia</li>
+    </ul>
+  </div>
+
+  <div class="slide">
+    <h1>Clojure es un dialecto de Lisp</h1>
+    <p> Algunos datos sobre Lisp: </p>
+    <ul>
+      <li>DiseÃ±ado en 1958 
+        <ul><li>hace mÃ¡s de 50 aÃ±os, sÃ³lo FORTRAN es mÃ¡s viejo</li></ul>
+      </li>
+      <li>NotaciÃ³n prefija
+        <ul><li>(* (+ 3 5) (* 2 2))</li></ul>
+      </li>
+      <li>HomoicÃ³nico: <b>el cÃ³digo son datos</b>
+        <ul><li>Â¡Â¡Â¡MACROS!!!</li></ul>
+      </li>
+      <li>DinÃ¡mico</li>
+      <li>RecolecciÃ³n de basura</li>
+    </ul>
+  </div>
+
+  <div class="slide">
+    <h1>Clojure corre en la JVM</h1>
+    <ul>
+      <li>Compila a <i>bytecode</i>
+        <ul><li>Eficiente... relativamente ;-)</li></ul>
+      </li>
+      <li>Los tipos bÃ¡sicos son los de Java
+        <ul><li>java.lang.String, java.lang.Integer...</li></ul>
+      </li>
+      <li>Puede acceder a toda la biblioteca de clases de Java
+      </li>
+      <li>Sintaxis especÃ­fica para la interoperabilidad con Java
+        <ul>
+          <li> (.toUpperCase "hola") </li>
+          <li> Detalles mÃ¡s adelante ;-) </li>
+        </ul>
+      </li>
+    </ul>
+  </div>
+
+  <div class="slide">
+    <h1>Clojure es un lenguaje funcional</h1>
+    <p>Clojure tiene muchas de las caracterÃ­sticas de los lenguajes funcionales:</p>
+    <ul>
+      <li>Funciones como "objetos de primer orden"
+        <ul><li>Funciones de orden superior: map, reduce...</li></ul>
+      </li>
+      <li>Estructuras de datos inmutables</li>
+      <li><i>Lazy sequences</i></li>
+    </ul>
+    <p>...pero no es un lenguaje funcional puro al estilo Haskell</p>
+    <ul>
+      <li>Variables (referencias)</li>
+      <li>EvaluaciÃ³n estricta en lugar de perezosa</li>
+      <li>Los objetos del mundo Java tienen estado mutable</li>
+      <li>I/O</li>
+    </ul>
+  </div>
+
+  <div class="slide">
+    <h1>Clojure estÃ¡ diseÃ±ado pensando en la concurrencia</h1>
+    <ul>
+      <li>El cÃ³digo funcional puro es concurrente <i>per se</i>
+        <ul><li>No hay estado mutable, por lo tanto no hay condiciones de carrera</li></ul>
+      </li>
+      <li>El acceso al estado mutable se puede controlar mediante transacciones o "agentes"</li>
+    </ul>
+  </div>
+
+  <div class="slide">
+    <h1>Primitivas</h1>
+    <ul>
+      <li>NÃºmeros: 
+      <ul>
+        <li>Enteros (pasan a bignums si desbordan): <code>1234</code></li>
+        <li>Ratios: <code>22/7</code></li>
+        <li>Doubles: <code>3.0</code></li>
+      </ul>
+      </li>
+      <li>Cadenas: <code>"Hola, mundo"</code></li>
+      <li>Keywords: <code>:cosa</code></li>
+      <li>SÃ­mbolos: <code>cosa</code></li>
+      <li>Booleanos: <code>true</code>,<code>false</code></li>
+    </ul>
+  </div>
+
+  <div class="slide">
+    <h1>Estructuras de datos</h1>
+    <ul>
+      <li>Listas: <code>(1 2 3 4)</code>
+      <ul>
+        <li>La clÃ¡sica lista simplemente enlazada, inserciÃ³n eficiente al principio</li>
+      </ul>
+      </li>
+      <li>Vectores: <code>[1 2 3 4]</code>
+      <ul>
+        <li>Acceso aleatorio:
+        <ul><li><code>(def v [1 2 3 4])<br />(v 0) &nbsp;&nbsp;=&gt; 1</code></li></ul>
+        </li>
+        <li>InserciÃ³n eficiente al final. Â¡Ojo! No son arrays</li>
+      </ul>
+      </li>
+      <li>Diccionarios: <code>{:a 1, :b 2}</code>
+      <ul>
+        <li><code>({:a 1, :b 2} :b) &nbsp;&nbsp;=&gt; 2</code></li>
+        <li><code>({:a 1, :b 2} :x) &nbsp;&nbsp;=&gt; nil</code></li>
+      </ul>
+      </li>
+      <li>Conjuntos: <code>#{1 2 :a "blah"}</code> </li> 
+    </ul>
+  </div>
+
+  <div class="slide">
+    <h1>Programas = Estructuras de datos</h1>
+    <ul>
+      <li>Una lista no vacÃ­a se considera una llamada a una funciÃ³n, a una forma especial o a una macro</li>
+      <li>Las formas especiales son excepciones a la norma de evaluaciÃ³n de funciones (primero argumentos, luego llamada)
+      <ul>
+        <li><code>(def name val)</code>: crea una variable global</li>
+        <li><code>(fn name? [params*] exprs*)</code>: crea una funciÃ³n</li>
+        <li><code>(if test then else?)</code>: evaluaciÃ³n condicional</li>
+        <li><code>(let [bindings*] exprs*)</code>: crea "variables" (aliases) locales </li>
+        <li><code>(quote form)</code>: devuelve form sin evaluar</li>
+        <li><code>(do exprs*)</code>: evalua expresiones en orden, devuelve la Ãºltima</li>
+        <li>...y algunas mÃ¡s</li>
+      </ul>
+      </li>
+    </ul>
+  </div>
+
+  <div class="slide">
+    <h1>Entonces... Â¿quÃ© pinta tiene un programa?</h1>
+  </div>
+
 	<div class="slide">
 		<h1>En busca del lenguaje de programaciÃ³n ideal</h1>
 		<ul class="incremental">
@@ -47,24 +191,28 @@
 		</ul>
 	</div>
 
-	<div class="slide incremental">
-    <h1 class="non-incremental">Patrones de diseÃ±o</h1>
-    <p class="non-incremental">La comunidad de seguidores de la OOP adora los patrones de diseÃ±o</p>
-    <ul>
+	<div class="slide">
+    <h1>Patrones de diseÃ±o</h1>
+    <p>La comunidad de seguidores de la OOP adora los patrones de diseÃ±o</p>
+    <ul class="incremental">
       <li>Su uso se considera una seÃ±al de madurez</li>
+      <li>Otros los consideran una seÃ±al de alarma:
+        <div class="hbox" style="align:center; height:25%">
+          "When I see patterns in my programs, I consider it a sign of trouble. The
+          shape of a program should reflect only the problem it needs to solve. Any
+          other regularity in the code is a sign, to me at least, that I'm using
+          abstractions that aren't powerful enough - often that I'm generating by
+          hand the expansions of some macro that I need to write."
+          <br />
+          -- Paul Graham
+        </div>
+      </li>
     </ul>
-    <div class="hbox" style="align:center; height:21%">
-      "When I see patterns in my programs, I consider it a sign of trouble. The
-      shape of a program should reflect only the problem it needs to solve. Any
-      other regularity in the code is a sign, to me at least, that I'm using
-      abstractions that aren't powerful enough - often that I'm generating by
-      hand the expansions of some macro that I need to write."
-    </div>
 	</div>
   <div class="slide">
     <h1>Es mas... Â¿por quÃ© creemos que la OOP es la panacea?</h1>
     <p>Alexander Stepanov (coautor de la STL) dijo una vez:</p>
-    <ul>
+    <ul class="incremental">
       <li>I find OOP <b>technically unsound</b>. It attempts to decompose the world in
       terms of interfaces that vary on a single type. To deal with the real
       problems you need multisorted algebras - families of interfaces that span
