types

6热度

2回答

为什么ML/Haskell数据类型对于像数学表达式那样定义“语言”很有用？

这更像是一个关于功能语言中类似ML系列的静态类型系统的软问题。我明白为什么你需要数据类型来描述像列表和树这样的数据结构，但是为数据类型中的命题逻辑定义“表达式”似乎只会带来一些便利，并不是必需的。例如 datatype arithmetic_exp = Constant of int | Neg of arithmetic_exp | Add of (ari

haskell types ml 2017-09-05

---

3热度

3回答

std :: variant vs std ::任何当类型是移动可构造

如果我有一个类型是std::is_nothrow_move_constructible，我需要将它存储在std::any或std::variant，你会推荐使用哪一个？为什么？哪一个会给最少的开销？编辑：std::variant和std::any有什么不同的用例？ class MyType { public: MyType(const MyType&) = default;

c++ performance types c++17 2017-09-05

---

0热度

1回答

如何从构造函数列表初始化TypeScript对象？ （可能：映射类型？类型操作符与`typeof`相反？）

在TypeScript class Foo {}中生成名称声明Foo，它是类Foo的一个实例的类型，它生成变量Foo，它是构造函数为Foo类。 （TypeScript Declaration Spaces。）给定值Foo（构造函数），可以使用typeof运算符来获取类的类型（而不是类的实例的类型）。 摘要： Code Variable Declaration Name Declarat

typescript types 2017-09-06

---

0热度

1回答

读取字符串并同时使用它们（pascal）

我正在执行的程序的正常输入为5：3B2F。 ，在同一行的所有插入和outputwould是写在3B2F底座5 我们已指示阅读该行两个字符（一个为基地，另一种为数字） 的我所遇到的问题是，我不知道如何去查看每个单独的角色并同时进行操作，忽略了“：”和“。”，然后我还必须确保“数字”来自“：”到“。”。最多有7个字符。 另外，作为即时阅读的enrty为char时基本是一个数字我得到一个错误说预期的字符

string types pascal 2017-09-06

---

0热度

1回答

为什么打字稿中的这两个函数类型不同？

使用typescript，我发现为什么两个不同的函数分配给不同的局部变量导致不同的签名。我认为一个更明确。 let a: (number)=>number = function(x: number): number {return 42;}; let z = function(x:number): number { return 42; }; > .type a let a:

function typescript types typescript-2.5 2017-09-13

---

6热度

2回答

如何在应用类型默认规则的情况下打印ghci中的多态函数（或值）类型？

当我进入GHCI命令:t我看到的多态类型： ghci> :t 42 42 :: Num t => t ghci> :t div div :: Integral a => a -> a -> a 但经过我实际评估这些功能我看到的类型默认规则的结果。根据Haskell报告和/或ghc实现应用类型违约规则后，有没有一些命令或能力可以在ghci中观察如何更改类型？

haskell types polymorphism ghci monomorphism-restriction 2017-09-13

---

1热度

1回答

VHDL：使用std_logic与使用std_logic_vector的子类型的数组

我有多个属于一起的输入（在相同的时钟等采样），但在逻辑上不是一个矢量（即不是并行总线）我需要修改的代码。 此前，他们被定义为 type my_type is array (my_width - 1 downto 0) of std_logic; signal my_signal : my_type; 直到现在，为此，我一直用这个： subtype my_subtype is std_logi

types vhdl subtype 2017-09-13

---

0热度

3回答

如何在离子角度设置twilio sms api？

@types/twilio 运行下面的代码和 安装twilio NPM包 NPM安装twilio 在我的供应商我已经通过指定 进口*为twilio进口from'twilio' 当我运行由离子服务--verbose 我的控制台显示错误，它无法找到模块'../../package.json' 虽然库文件有一个，我会附上一个图像以供参考

node.js angular typescript types twilio 2017-09-13

---

0热度

1回答

0.0返回类型为十进制时显示为double

我遇到了this stack，这对理解小数和双精度之间的区别非常有帮助，但它不能解决我的问题。 为什么0.0默认为double？

c# .net types type-conversion 2017-09-13

---

2热度

1回答

流的结构子类型是否“忘记”特定的子类型属性？

我目前正在学习结构分型。我对这样的想法持怀疑态度，认为两种类型被认为是相同的，只是因为它们碰巧有一部分共同的结构。这感觉很像静态鸭子打字，它完全忽略了类型的语义层次。所以我把在普通对象的流动的结构打字定睛一看，也遇到以下行为： const o:{} = {foo: true}; o.foo; // type error {}是一种结构类型和所有普通对象的超类型。因此，我可以用它注释o，因为{

javascript types flowtype static-typing structural-typing 2017-09-13

---