Suponha que eu tenha um parâmetro que exista apenas para o benefício do sistema de tipos, por exemplo, como neste pequeno programa: {-# LANGUAGE GADTs #-} module Main where import Data.Proxy import Data.List data MyPoly where MyConstr :: Proxy a -> a -> (Proxy a -> a -> Int ->...
Estou tentando definir um objeto com um símbolo como tipo de chave, já que o MDN diz: Um valor de símbolo pode ser usado como um identificador para propriedades do objeto [...] Mas usando-o como tipo para a propriedade-chave: type obj = { [key: symbol | string]: string } resulta no...
Eu tenho um DTO que é preenchido pela leitura de uma tabela do DynamoDB. Diga que parece com isso atualmente: 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...
Considere o seguinte código. void f(double p) {} void f(double* p) {} int main() { f(1-1); return 0; } O MSVC 2017 não compila isso. Parece que há uma chamada sobrecarregada ambígua, como 1-1é a mesma 0e, portanto, pode ser convertida double*. Outros truques, como 0x0, 0L, ou...
Estou ativando tipos de referência anuláveis do C # 8.0 em um projeto do .NET Core 3.0. O projeto usa o Entity Framework Core 3.0 para acessar o banco de dados. A seguir, é apresentado um modelo de dados cujo título não deve ser nulo. public class Vehicle { public int Id { get; private set; }...
O C # 8.0 apresenta tipos de referência que permitem valor nulo. Aqui está uma classe simples com uma propriedade anulável: public class Foo { public String? Bar { get; set; } } Existe uma maneira de verificar se uma propriedade de classe usa um tipo de referência anulável por meio de...
Considere o seguinte código: #nullable enable class Foo { public string? Name { get; set; } public bool HasName => Name != null; public void NameToUpperCase() { if (HasName) { Name = Name.ToUpper(); } } } No Name = Name.ToUpper (), recebo um aviso de que Name é uma possível referência...
Estou criando esta API e o banco de dados armazenará valores que representam um dos seguintes: percentagem média taxa Sinceramente, não tenho idéia de como representar algo que o intervalo esteja entre 0 e 100% em números. Deveria ser 0,00 - 1,00 0,00 - 100,00 qualquer outra alternativa que...
A implementação de std::mem::dropestá documentada para ser a seguinte: pub fn drop<T>(_x: T) { } Como tal, eu esperaria que o fechamento |_| ()(conhecido coloquialmente como fechamento do vaso sanitário ) fosse um potencial substituto 1: 1 para drop, em ambas as direções. No entanto, o...
No C # 8.0, podemos ter tipos de referência anuláveis. Os documentos afirmam que existem 4 tipos de nulidade. Os três primeiros são bastante claros, mas não entendo o ponto "desconhecido". Os documentos dizem que é usado com genéricos, mas quando tento chamar um método em uma variável irrestrita do...
A seasonfunção usa funções algébricas, mas sinto que o código é repetitivo. Como faço para torná-lo o mais curto possível? 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...
Estou tentando obter o máximo desempenho possível de algum método interno. O código Java é: List<DirectoryTaxonomyWriter> writers = Lists.newArrayList(); private final int taxos = 4; [...] @Override public int getParent(final int globalOrdinal) throws IOException { final int bin =...
Eu tenho uma característica que tem uma função para desserializar um tipo associado. No entanto, esse tipo associado precisa ter uma vida útil que o chamador decide, portanto, eu tenho uma característica separada para a qual eu uso uma característica de classificação mais alta, para que possa ser...
Estou escrevendo uma função em que gostaria de aceitar 2 types de parâmetros. A string(caractere *) A structureonde haverá n número de elementos. E para conseguir isso, estou pensando em usar um simples void *como tipo de parâmetro. Mas não sei como verificar se o parâmetro é de um tipo ou de...
Eu queria testar o novo recurso de tipos de referência anuláveis no C # 8.0. Iniciei um novo projeto visando o .NET Core 3.0, habilitei os tipos de referência anuláveis no .csprojarquivo e iniciei a codificação. Eu criei uma lista simples que recebe string[]ae retorna a stringque é igual a abc....
Eu tenho um projeto que mostra esse erro quando executo '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;
Acho que atualmente estou enfrentando um bug no Entity Framework 6 e possivelmente no ADO.NET. Como existe um prazo, não tenho certeza se posso esperar que esse bug seja corrigido e espero que alguém possa me ajudar com uma solução limpa. O problema é que a consulta usa os valores 1 e 5 em locais...
Parece-me que realmente não há garantia de que uma variável não anulável nunca terá nulo. Imagine que eu tenho uma classe que possui uma propriedade que não é anulável: public class Foo { public Foo(string test) { Test = test; } public string Test {get;set;} } Agora, isso pode parecer que...
Estou rastreando um erro no código de terceiros e o reduzi a algo ao longo das linhas de. use libc::c_void; pub unsafe fn foo() {} fn main() { let ptr = &foo as *const _ as *const c_void; println!("{:x}", ptr as usize); } Executado no estável 1.38.0, imprime o ponteiro da função, mas...
Estou tentando criar um tipo semelhante ao de Rust Resultou Haskell Eithere cheguei até aqui: public struct Result<TResult, TError> where TResult : notnull where TError : notnull { private readonly OneOf<TResult, TError> Value; public Result(TResult result) => Value = result;...