Programación

Leí el artículo de Wikipedia Tipos existenciales . Supuse que se llaman tipos existenciales debido al operador existencial (∃). Sin embargo, no estoy seguro de cuál es el punto. Cuál es la diferencia entre T = ∃X { X a; int f(X); } y T = ∀x { X a; …

171 language-agnostic  types  type-systems  existential-type 

Usando LESS, sé que puedo cambiar la saturación o el tinte de una variable de color. Eso se ve así: background: lighten(@blue, 20%); Sin embargo, quiero cambiar la opacidad alfa de mi color. Preferiblemente así: background: alpha(@blue, 20%); ¿Hay una manera simple de hacer esto en MENOS?

171 css  variables  less  opacity  alpha 

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 3 años . Mejora esta pregunta Entiendo que el sitio para desarrolladores de …

171 android  screen-resolution  screen-size 

¿Hay una estructura foreach en MATLAB? Si es así, ¿qué sucede si los datos subyacentes cambian (es decir, si se agregan objetos al conjunto)?

171 matlab  syntax 

Si miras en la API de enumeración el método name()dice que: Devuelve el nombre de esta constante enum, exactamente como se declara en su declaración enum. La mayoría de los programadores deben usar el método toString con preferencia a este, ya que el método toString puede devolver un nombre más …

171 java  enums 

Necesito en la función node.js result = execSync('node -v'); eso ejecutará sincrónicamente la línea de comando dada y devolverá todo stdout'ed por ese texto de comando. PD. La sincronización es incorrecta. Lo sé. Solo para uso personal. ACTUALIZAR Ahora tenemos la solución de mgutz que nos da el código de …

171 javascript  command  node.js  exec  sync 

Estoy tratando de usar el nuevo objeto Map de Javascript EC6, ya que ya es compatible con las últimas versiones de Firefox y Chrome. Pero lo encuentro muy limitado en la programación "funcional", porque carece de métodos clásicos de mapa, filtro, etc. que funcionen bien con un [key, value]par. Tiene …

171 javascript  ecmascript-6 

Estoy trabajando con un repositorio con una gran cantidad de archivos que demora horas en pagar. Estoy investigando la posibilidad de que Git funcione bien con este tipo de repositorio ahora que admite pagos escasos, pero cada ejemplo que puedo encontrar hace lo siguiente: git clone <path> git config core.sparsecheckout …

171 git 

Estoy tratando de entender este bloque de código. En el primero, ¿qué es lo que estamos buscando en la expresión? Entiendo que es cualquier carácter (0 o más veces *) seguido de cualquier número entre 0 y 9 (una o más veces +) seguido de cualquier carácter (0 o más …

171 java  regex 

He encontrado un par de referencias ( por ejemplo ) que sugieren usarfinal tanto como sea posible y me pregunto qué tan importante es eso. Esto es principalmente en el contexto de parámetros de métodos y variables locales, no en métodos finales o clases. Para las constantes, tiene sentido obvio. …

171 java  final 

Quiero diseñar un programa que pueda ayudarme a evaluar entre 5 colores predefinidos cuál es más similar a un color variable y con qué porcentaje. El caso es que no sé cómo hacerlo manualmente paso a paso. Por lo tanto, es aún más difícil pensar en un programa. Más detalles: …

171 algorithm  colors  compare  rgb  hsv 

En su libro, The C++ Standard Library (Second Edition)Nicolai Josuttis afirma que el compilador puede optimizar mejor las lambdas que las funciones simples. Además, los compiladores de C ++ optimizan las lambdas mejor que las funciones normales. (Página 213) ¿Porqué es eso? Pensé que cuando se trata de alinear ya …

171 c++  optimization  c++11  lambda  compiler-optimization 

Necesito consultar los comentarios realizados en un día. El campo es parte de las marcas de tiempo estándar, es created_at. La fecha seleccionada proviene de a date_select. ¿Cómo puedo usar ActiveRecordpara hacer eso? Necesito algo como: "SELECT * FROM comments WHERE created_at BETWEEN '2010-02-03 00:00:00' AND '2010-02-03 23:59:59'"

171 ruby-on-rails  rails-activerecord  ruby-on-rails-2 

Tengo sucursales maestras y de nuevos proyectos . Y ahora me gustaría crear un nuevo repositorio con su maestro basado en la rama del nuevo proyecto. Antecedentes: tengo un repositorio que contiene tres aplicaciones independientes. No comenzó de esta manera. Originalmente solo había una aplicación en el repositorio. Con el …

171 git  github  branch 

Estoy tratando de ingresar algunos caracteres UTF-8 en un archivo LaTeX en TextMate (que dice que su codificación predeterminada es UTF-8), pero LaTeX no parece entenderlos. La ejecución cat my_file.texmuestra los caracteres correctamente en la Terminal. La ejecución ls -almuestra algo que nunca había visto antes: una "@" en la …

171 macos  encoding  latex  utf-8