Ingeniería de software

12
¿Es posible demostrar que una función es idempotente?

¿Es posible usar tipos estáticos o dependientes para demostrar que una función es idempotente? He buscado en Google y en varios lugares en StackOverflow / StackExchange la respuesta sin suerte. Lo más cercano que encontré fue esta conversación sobre Idris:

12
¿Por qué se implementan números sin signo?

No puedo entender por qué los sistemas de microprocesador implementan números sin signo. Supongo que el costo es solo el doble del número de ramificaciones condicionales, ya que mayor que, menor que, .etc, necesita un algoritmo diferente al de signo, ¿todavía hay algoritmos para los que los números...

12
Scrum - Desarrolladores que trabajan fuera de Sprint

El equipo de Scrum 3 x desarrolladores 2 x probadores 1 x analista de pruebas de automatización No somos un equipo multifuncional porque los desarrolladores no prueban y los evaluadores no se desarrollan. Creo que esta es la raíz del problema. Actualmente hacemos sprints de dos semanas. Al...

12
Compartir partes de un monorepo

Actualmente tenemos un sistema de compilación complejo e ineficiente que consta de muchos repositorios SVN y Git (aproximadamente 50% cada uno), incluido uno que es un repositorio de submódulos git. También tenemos guiones caseros que manejan más o menos bien todo. Un punto importante de nuestra...