En lenguajes imperativos, es trivial diseñar una prueba de programación del uso del lenguaje de "semántica de valor" o "semántica de referencia". Se podría hacer lo siguiente y verificar el valor de a(where Vertex {one, two, three :: Integer}): a := Vertex 3 4 5 b := a one b := 6 two b := 8 three...
Simon Peyton Jones mismo reconoce que razonar sobre el desempeño en Haskell es difícil debido a la semántica no estricta. Todavía tengo que escribir un proyecto importante en Haskell, así que me pregunto: ¿puedo razonar sobre el rendimiento solo al comienzo de un proyecto (al elegir estructuras de...
Cerrada . Esta pregunta está basada en la opinión . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que pueda ser respondida con hechos y citas editando esta publicación . Cerrado hace 6 años .
Durante algunas semanas he estado pensando en la relación entre los objetos, no especialmente los objetos de OOP. Por ejemplo, en C ++ , estamos acostumbrados a representar eso al agrupar punteros o contenedores de punteros en la estructura que necesita un acceso al otro objeto. Si un objeto Atiene...
Después de desarrollar varias aplicaciones de Haskell, me encontré segregando rigurosamente el código impuro y las funciones de fallas ( parciales ) de sus contrapartes puras y totales . Estos esfuerzos han reducido notablemente el costo de mantenimiento asociado con las aplicaciones. Con el tiempo...
Recientemente me asignaron a trabajar en un pequeño proyecto que se está implementando en Haskell. Viniendo de un entorno OO / imperativo, estoy acostumbrado a convertir requisitos / historias de usuario en casos de uso y diagrama de secuencia antes de la codificación. Sin embargo, en el proyecto...
En las universidades y en los libros de texto de algoritmos, es bastante común que el maestro y el autor expliquen el flujo de control en pseudocódigo. Con el advenimiento de lenguajes más expresivos como Python y Haskell entre otros, ¿es razonable que las universidades cambien para explicar...
Me pregunto si hay una diferencia entre las clases de tipo de Haskell y las interfaces de Go. Ambos definen tipos basados en funciones, de esa manera, que un valor coincide con un tipo, si una función requerida por el tipo se define para el valor. ¿Hay alguna diferencia o son solo dos nombres...
Sabemos que en Prolog , los predicados no deterministas son una característica utilizada para reducir los problemas combinatorios . En Haskell vemos un comportamiento no determinista similar al de Prolog en la Lista Mónada . En Haskell también vemos el no determinismo al elegir el orden de...