strongtyped.blogspot.com
Strong Typed: July 2007
http://strongtyped.blogspot.com/2007_07_01_archive.html
A corner to talk about software design, type theory, compilers and programming languages. Tuesday, July 31, 2007. Como no aprender sobre recursividad. A mediados de los 80s descubrí el fascinante mundo de la recursión gracias al lenguaje LOGO. LOGO es un lipsoide con excelente soporte gráfico, por lo que nada mas natural que combinar gráficos y recursión para generar fractales. Como el copo de nieve. Un segmento de código que evite la recursión infinita. Un segmento de código que haga el trabajo. Cuando ...
strongtyped.blogspot.com
Strong Typed: August 2008
http://strongtyped.blogspot.com/2008_08_01_archive.html
A corner to talk about software design, type theory, compilers and programming languages. Tuesday, August 5, 2008. Autenticacion LDAP en zope2. La autenticación LDAP en zope2 se ha hecho mas fácil con los eggs. Basta con agregar al listado de eggs necesarios en buildout el nombre Products.PloneLDAP. Este producto depende a su vez de. Todos ellos descargados automáticamente durante el buildout. Ahora, Centos 4 viene con una versión antigua de LDAP que no es compatible con python-ldap. Y poniendo de primer...
strongtyped.blogspot.com
Strong Typed: Más diversión con tipos algebraicos
http://strongtyped.blogspot.com/2010/01/mas-diversion-con-tipos-algebraicos.html
A corner to talk about software design, type theory, compilers and programming languages. Monday, January 18, 2010. Más diversión con tipos algebraicos. Comenté la elegancia de los tipos de datos algebraicos (ADT) y como este simple concepto reemplaza a las enumeraciones, estructuras y uniones de otros lenguajes. Adicionalmente, los ADT ofrecen otra característica interesante: el emparejamiento de patrones ( pattern matching. Data Lista a = Nulo Cons a (Lista a). Lista2 = Cons 3 Nulo. Longitud Nulo = 0.
strongtyped.blogspot.com
Strong Typed: November 2007
http://strongtyped.blogspot.com/2007_11_01_archive.html
A corner to talk about software design, type theory, compilers and programming languages. Friday, November 23, 2007. Sobre Monadas, monoides y afines. Brian Beckman ofrece un vídeo orientado a los programadores donde explica que es una monada:. Http:/ channel9.msdn.com/ShowPost.aspx? Otra serie de vídeos interesantes sobre el tópico, aunque mas orientados hacia la parte matemática pueden verse en el canal de YouTube "The Catsters". Subscribe to: Posts (Atom). View my complete profile.
strongtyped.blogspot.com
Strong Typed: Instalando Zope 3
http://strongtyped.blogspot.com/2008/02/instalando-zope-3.html
A corner to talk about software design, type theory, compilers and programming languages. Friday, February 1, 2008. La presente explicación aplica para usuarios de Linux y otras formas de Unix. Otro punto a considerar es que zope recomienda el python 2.4 mas su paquete de desarrollo, los cuales podría no ser los instalados en el sistema. Python2.4 bin/virtual-python.py - prefix= /zope3/. El siguiente paso es instalar easy install, la aplicación que maneja los eggs y permite instalar paquetes de python de...
strongtyped.blogspot.com
Strong Typed: Language's culture
http://strongtyped.blogspot.com/2010/01/languages-culture.html
A corner to talk about software design, type theory, compilers and programming languages. Friday, January 29, 2010. I don't remember how I get interested in Haskell, but I remember that Why Haskell matters. Sealed the deal. There was a comparison of QuickSort implementations in C and Haskell. The Haskell version was so beautiful, so concise, that I had to learn it. But why a C programmer would use a list structure when an array can do the work? Subscribe to: Post Comments (Atom). View my complete profile.
strongtyped.blogspot.com
Strong Typed: Diversión con tipos de datos algebraícos
http://strongtyped.blogspot.com/2010/01/diversion-con-tipos-de-datos.html
A corner to talk about software design, type theory, compilers and programming languages. Thursday, January 14, 2010. Diversión con tipos de datos algebraícos. Los tipos de datos algebraicos. Por sus siglas en inglés: Algebraic Data Types) son una de las características más interesante de los "nuevos" lenguajes funcionales, y por nuevos quiero decir de la época de SML. Lo simpático de los ADTs es que reunen en un solo concepto lo que en otros lenguajes serían enumeraciones, estructuras y uniones. Esta fo...
strongtyped.blogspot.com
Strong Typed: My OOP Oh! moment.
http://strongtyped.blogspot.com/2010/06/my-oop-oh-moment.html
A corner to talk about software design, type theory, compilers and programming languages. Wednesday, June 9, 2010. Inheritance as the natural control structure in OOL. A few days ago I had my Object Oriented Programming "Oh! Moment". I retook my studies of smalltalk reading Ragnar Hojland's LDAPlayer package. I didn't understood its design. Its LDAP-filter category seem to have a class for each possible variation of LDAP filter. A class for each variation of LDAP filter, for god's sake! If you are choosi...
strongtyped.blogspot.com
Strong Typed: February 2008
http://strongtyped.blogspot.com/2008_02_01_archive.html
A corner to talk about software design, type theory, compilers and programming languages. Thursday, February 21, 2008. Desarrollo y Despliegue en zope. Siguiendo con los apuntes de zope 3, aquí esta la versión aumentada y corregida de como trabajar con zope. Básicamente se quiere llevar a cabo dos actividades: desarrollo (development) y despliegue (deployment). Con una version previa de easy install, instalar virtualenv. Wget http:/ peak.telecommunity.com/dist/ez setup.py. Sudo python2.4 ez setup. Introd...
strongtyped.blogspot.com
Strong Typed: zc.buildout
http://strongtyped.blogspot.com/2010/01/zcbuildout.html
A corner to talk about software design, type theory, compilers and programming languages. Thursday, January 21, 2010. Comienzo hoy una serie de artículos sobre desarrollo de aplicaciones en python, particularmente, desarrollo web. Y nuestro invitado del día es zc.buildout. O simplemente buildout, para los amigos. A buildout lo había mencionado de pasada en otras oportunidades. Ahora es el momento de tratarlo con exclusividad, como se merece. Que problema soluciona buildout? La parte extensible entra en j...