Supongamos que tengo un parámetro que existe solo para el beneficio del sistema de tipos, por ejemplo, como en este pequeño programa: {-# LANGUAGE GADTs #-} module Main where import Data.Proxy import Data.List data MyPoly where MyConstr :: Proxy a -> a -> (Proxy a -> a -> Int ->...
Estoy tratando de definir un objeto con un símbolo como tipo de clave ya que MDN dice: Se puede usar un valor de símbolo como identificador para las propiedades [...] del objeto Pero usándolo como tipo para la propiedad clave: type obj = { [key: symbol | string]: string } da como...
Tengo un DTO que se completa leyendo desde una tabla DynamoDB. Digamos que se ve así actualmente: public class Item { public string Id { get; set; } // PK so technically cannot be null public string Name { get; set; } // validation to prevent nulls but this doesn't stop database hacks public...
Considere el siguiente código. void f(double p) {} void f(double* p) {} int main() { f(1-1); return 0; } MSVC 2017 no compila eso. Se da cuenta de que hay una llamada sobrecargada ambigua, ya que 1-1es lo mismo 0y, por lo tanto, se puede convertir double*. Otros trucos, como 0x0, 0Lo...
Estoy habilitando los tipos de referencia anulables C # 8.0 en un proyecto .NET Core 3.0. El proyecto utiliza Entity Framework Core 3.0 para acceder a la base de datos. El siguiente es un modelo de datos cuyo título no debe ser nulo. public class Vehicle { public int Id { get; private set; }...
C # 8.0 introduce tipos de referencia anulables. Aquí hay una clase simple con una propiedad anulable: public class Foo { public String? Bar { get; set; } } ¿Hay alguna manera de verificar que una propiedad de clase use un tipo de referencia anulable mediante
Considere el siguiente código: #nullable enable class Foo { public string? Name { get; set; } public bool HasName => Name != null; public void NameToUpperCase() { if (HasName) { Name = Name.ToUpper(); } } } En Name = Name.ToUpper () recibo una advertencia de que Name es una posible...
Estoy creando esta API, y la base de datos almacenará valores que representan uno de los siguientes: porcentaje promedio Velocidad Sinceramente, no tengo idea de cómo representar algo con un rango entre 0 y 100% en números. Deberia ser 0.00 - 1.00 0.00 - 100.00 cualquier otra alternativa que...
La implementación de std::mem::dropestá documentada para ser la siguiente: pub fn drop<T>(_x: T) { } Como tal, esperaría que el cierre |_| ()(conocido coloquialmente como cierre del inodoro ) sea un posible reemplazo 1: 1 drop, en ambas direcciones. Sin embargo, el siguiente código muestra...
En C # 8.0 podemos tener tipos de referencia anulables. Los documentos indican que hay 4 tipos de nulabilidad. Los primeros 3 son bastante claros, pero no entiendo el punto de "desconocido". Los documentos dicen que se usa con genéricos, pero cuando trato de llamar a un método en una variable no...
La seasonfunción usa funciones algebraicas pero siento que el código es repetitivo. ¿Cómo lo hago lo más corto posible? data Month = Jan | Feb | Mar | Apr | May | June | July | Aug | Sept| Oct | Nov | Dec deriving (Eq,Ord,Show,Read) data Seasons = Spring | Summer | Autumn | Winter deriving...
Estoy tratando de obtener el mayor rendimiento posible de algún método interno. El código de Java es: List<DirectoryTaxonomyWriter> writers = Lists.newArrayList(); private final int taxos = 4; [...] @Override public int getParent(final int globalOrdinal) throws IOException { final int...
Tengo un rasgo que tiene una función para deserializar un tipo asociado. Sin embargo, ese tipo asociado debe tener una vida útil que decida la persona que llama, por lo que tengo un rasgo separado para el que uso un rasgo de mayor rango, para que pueda ser deserializado para cualquier...
Estoy escribiendo una función donde me gustaría aceptar 2 types de parámetros. A string(char *) A structuredonde habrá n número de elementos. Y para lograr esto, estoy pensando en usar un tipo simple void *como parámetro. Pero no sé cómo verificar si el parámetro es de un tipo u otro, de forma...
Quería probar el nuevo función de tipos de referencia anulables en C # 8.0. Comencé un nuevo proyecto dirigido a .NET Core 3.0, habilité tipos de referencia anulables en el .csprojarchivo y comencé a codificar. Creé una lista simple que toma string[]ay devuelve el stringen esa matriz que es igual...
Tengo un proyecto que muestra este error cuando ejecuto 'tsc': ../modules/node_modules/sequelize/types/lib/transaction.d.ts:33:14 - error TS1086: An accessor cannot be declared in an ambient context. 33 static get LOCK(): LOCK;
Creo que actualmente estoy experimentando un error en Entity Framework 6 y posiblemente en ADO.NET. Dado que hay una fecha límite, no estoy seguro de que pueda esperar a que se solucione este error y espero que alguien pueda ayudarme con una solución limpia. El problema es que la consulta usa los...
Me parece que realmente no hay garantía de que una variable no anulable nunca tenga nulo. Imagine que tengo una clase que tiene una propiedad que no es anulable: public class Foo { public Foo(string test) { Test = test; } public string Test {get;set;} } Ahora eso puede parecer que ahora no...
Estoy rastreando un error en el código de un tercero y lo reduje a algo similar. use libc::c_void; pub unsafe fn foo() {} fn main() { let ptr = &foo as *const _ as *const c_void; println!("{:x}", ptr as usize); } Ejecutado en estable 1.38.0 esto imprime el puntero de función, pero beta...
Hablando funcional y sintácticamente, ¿hay alguna diferencia entre una función cuyo prototipo es int foo(void)y int foo(void *)? Sé la diferencia entre, por ejemplo, int bar(int)y int bar(int *)- uno de ellos está buscando un int, y el otro está buscando un puntero int. ¿Se voidcomporta de la...