DSL en Clojure que reemplaza una solución de software orientada a objetos?

Question

Hola chicos: Me preguntaba si alguien conocía un ejemplo concreto de un DSL en Clojure que reemplaza la abstracción y la legibilidad de un buen programa OO (escrito, por ejemplo, Java).

He estado tratando de tomar un modelo de datos orientado a objetos (que es "grano" en base, con métodos muy abstractos que esconden subyacente implementaciones) en un moeity clojure ...

sé que "macros" y existen "funciones de orden superior", sin embargo, nunca las he visto aplicadas a un conjunto de datos del mundo real que se entienda fácilmente (por ejemplo, un sistema de registro de cursos, un concesionario de automóviles o un sistema de facturación, o algo por el estilo) , recuerde los infames ejemplos de "JPetStore" que Hibernate e Ibatis popularizaron en la última década).

De todas formas ... Mi pregunta básica es:

¿Existen plantillas de dominio específico para el aprendizaje de cómo modelar sistemas del mundo real en Clojure con protocolos y funciones de orden superior?

Answer 1

No sé si esto es lo que estás buscando, pero he leído un libro sobre Clojure (Programming Clojure; Programadores pragmáticos) que contiene un ejemplo de un pequeño y agradable DSL. Puede encontrar el código en https://github.com/stuarthalloway/lancet. Básicamente lanceta es algo así como hacer o hormiga pero implementado como un Clojure-DSL.

Answer 2

programación orientada a objetos es bueno en el SENCE realmente estamos acostumbrados a ello y mapa para conceptos en el mundo real.

Puede ver cómo construir un sistema de programación orientada a objetos con mapas y métodos múltiples (algo similar a inheritence prototípico en JS) en la alegría de clojure, capítulo 9.

en el libro de Paul Graham Lisp muestran cómo crear un sistema de objeto en lisp. Debería ser fácil adaptarlo a clojure.

Este libro también explica ampliamente "abajo hacia arriba" de programación, que es la construcción de pequeños ladrillos básicos y componerlos para construir construcciones más alto nivel.

También si usted ver concepto principal en muchas aplicaciones (como Java tienda de mascotas) es de procedimiento/fonctionnal y no utiliza objetos concepto como la generalización o encapsulación ampliamente.

Bean no tienen ningún comportamiento. Los datos sin encapsulamiento tienen getters/setter que permiten el acceso público a ellos. Por lo que te da, podrías usar una estructura C (en lenguaje escrito) o un mapa en lenguaje dinámico como clojure.

servicio que trabajan en ellos son básicamente funciones. No tienen estado y toman datos de los parámetros (beans) o de la base de datos. Si realmente necesita inteface, tiene protocolos en clojure.

Eso no es tan complicado.

Nombre sus granos como en JAVA ... Pero implementarlas en un mapa clojure o como registros

Nombre sus servicios e implementar como funciones.

¿Necesita fábricas? Las funciones que toman una configuración y devuelven funciones.

¿Necesita inyección de dependencias? Bueno, puedes usar los parámetros de la función.

Answer 3

no hay plantillas especiales para DSL - que acaba de tomar herramientas disponibles en el idioma y tratar de hacer que lo más conveniente y cerca del dominio de lo posible. Lisp solo te da más herramientas que otros lenguajes.

Para el ejemplo concreto de buen aspecto DSL en ClojureQL. Inicialmente, SQL se creó como DSL para bases de datos relacionales. Y es muy conveniente para trabajar desde la consola ... pero no desde el lenguaje de programación como Java o Clojure. Java vino con grandes marcos ORM como Hibernate, y Clojure ofrece DSL simple que es tan conveniente como SQL original, pero funciona de forma totalmente como parte de la lengua:

(select (table :users) (where (= :id 5))) 

cosa común en Lisp DSL está utilizando construcciones como defsomething. Por ejemplo, en un libro (lo siento, no recuerdo su nombre) hay un ejemplo de coincidencia de patrones en el texto. El autor crea el módulo con un número de emparejamiento como ? para una palabra, + para una o más palabras, * para cero o más palabras y así sucesivamente. Para este propósito crea macro defmatcher que requiere cierta sintaxis y agrega controlador para esta sintaxis al registro central. Esto es solo abstracción: en lugar de varias operaciones repetidas, introduce una sola macro que dice lo que realmente quiere hacer: definir el matcher. También este ejemplo usa ambos: macros y funciones de orden superior.

Así que, una vez más, no hay nada especial en las DSL basadas en Lisp: solo describe el área de dominio con las herramientas que tiene en su idioma, ya sea Java, Clojure o cualquier otra cosa. Simplemente acostúmbrate con las instalaciones de idiomas y verás cómo debe ser.

UPD. Algunos ejemplos del "mundo real" donde DSL basado en Lisp son más convenientes que, por ejemplo, programación orientada a objetos:

Dominio: dillership coche

(defcar my-cool-car :wheels 4, :doors 2, :color red) ;; in Java you need Factory 
(def car1 (make-car my-cool-car))     ;; and lots of methods to 
                ;; add features to cars and 
                ;; cars to factory 

Dominio: sistema de facturación

(transaction    ;; in Java you cannot create wrapping constructs 
    (withdraw account1 100) ;; so you have to use inheritance, annotations, etc. 
    (put account2 100))  ;; which is much more code 

Dominio: algunos servicios web, que manejan solicitudes de varios tipos

(defhandler :show-all (fn [params] ...))  ;; adds defined function to the 
(defhandler :find-best (fn [params] ...)) ;; map of :message-type -> function 
... 
(defn handle [message] 
    (let [msg-type (:type message), msg-params (:params message)] 
    (if (contains? *handlers* msg-type) 
     ((*handlers* msg-type) msg-params) 
     (throw (Exception. (concat "No handler for type" (:type message))))))) 

No hay Lo especial de estos ejemplos: puedes implementarlos en Java o en cualquier otro idioma. Sin embargo, cosas como palabras clave (primer ejemplo), funciones de orden superior (segundo ejemplo), macros (los tres ejemplos) hacen que el código sea más conciso y descriptivo.