Pertanyaan yang diberi tag types

65
Jenis bersyarat dalam TypeScript

Saya bertanya-tanya apakah saya dapat memiliki tipe bersyarat dalam TypeScript? Saat ini saya memiliki antarmuka sebagai berikut: interface ValidationResult { isValid: boolean; errorText?: string; } Tapi saya ingin menghapus errorText, dan hanya memilikinya ketika isValidadalah falsesebagai...

22
Apakah versi GHC modern memiliki penghapusan bukti?

Misalkan saya memiliki parameter yang hanya ada untuk kepentingan sistem tipe, misalnya seperti dalam program kecil ini: {-# LANGUAGE GADTs #-} module Main where import Data.Proxy import Data.List data MyPoly where MyConstr :: Proxy a -> a -> (Proxy a -> a -> Int -> Int) ->...

19
int numeral -> aturan konversi pointer

Pertimbangkan kode berikut. void f(double p) {} void f(double* p) {} int main() { f(1-1); return 0; } MSVC 2017 tidak mengkompilasi itu. Itu angka ada panggilan ambigu yang berlebihan, seperti 1-1yang sama 0dan karena itu dapat dikonversi menjadi double*. Trik lain, seperti 0x0, 0L, atau...

14
Kapan menggunakan float vs desimal

Saya sedang membangun API ini, dan database akan menyimpan nilai-nilai yang mewakili salah satu dari yang berikut: persentase rata-rata menilai Jujur saya tidak tahu bagaimana mewakili sesuatu yang kisarannya antara 0 dan 100% jumlahnya. Haruskah begitu 0,00 - 1,00 0,00 - 100,00 alternatif...