types

    2热度

    2回答

    嗨我已经开始学习F#,我在想你是否可以限制函数的输入和输出的类型。 我试着这样做: main : unit let main = printf "Hello World\n" |> (fun x -> printf "Goodbye World\n") let _ = main ,我也试图把letmain之前的第一道防线。都没有工作。有没有办法在F#中做这种事情?我认为这是Haskell的

    3热度

    2回答

    我想接下来要运行的代码,我得到无效的错误类型对于j循环内: for(int i = 0; i < N; i++) //steps { j[i]=0; for (int j = 0; j < Particles; j++) //Particles { u = randnum(0,1); dr = pow(pow(a, 1-

    0热度

    1回答

    首先我知道这个问题必须在某个地方回答,但我很难找到答案,因为我没有在寻找我想要的正确答案。 所以我知道Java垃圾收集器,它负责处理未使用的对象,但是在方法调用之后,本地数据类型的值会发生什么? 例如 public void anyMethod() { int foo = 20; } 会发生什么方法调用后,foo的?它是否仍然存在于记忆中,即使它从未被使用过?我是否应该关心这种“技

    0热度

    2回答

    我正在OCaml做一个学校任务,我对表达的含义有疑问。 当定义功能,如果我举个例子,写道: let iter : int * (int -> int) -> (int -> int) = fun (n,f) -> 是什么(int -> int)意思?我明白函数本身收到一对作为参数,但我不完全明白括号是什么意思...

    4热度

    2回答

    对类型变量进行参数化很好,但不能缩放。作为可能发生的一个例子,http://oleg.fi/gists/posts/2017-04-26-indexed-poptics.html给出了一个包含9个类型变量的抽象。我一直在研究程序转换的框架,这些程序转换由程序设计语言进行了参数化,并且可以想象将来有几十或几百个参数。 所以这里的基本问题:我有一个数据类型T,它是参数化的N类型。如何在T上编写一个函数

    1热度

    2回答

    在ML语言 假设f(x,y,z)是一个函数。给出一个f的定义的例子,它会导致f的参数具有类型:a’ * a’ * int。 示例代码 fun f1 (x,y,z) = z<5 ; val f1 = fn : 'a * 'b * int -> bool 我如何改变这种VAL到a’ * a’ * int -> bool?

    1热度

    2回答

    我跟着TypeScript手册实现用户定义的类型守卫但我仍然收到错误,我不明白为什么。我有一种感觉,它与我使用Object.keys有关,但我不太确定。 types.ts type devices = 'Web' | 'iOS' | 'Android' | 'Gaming' | 'Mac' | 'PC'; type languages = 'Javascript' | 'PHP' | 'Ruby

    0热度

    1回答

    从Java并发Pactice 每个Java对象可以隐含充当用于同步目的的锁定;这些内置的锁称为内部锁或锁监视器。 什么是“每个Java对象都可以隐式作为锁?”是什么意思? 这是否意味着每个Java对象的类实现Lock接口如下? public interface Lock { void lock(); void lockInterruptibly() throws Interr

    3热度

    1回答

    我已经找到一种方法来一个Nat转换成Integer使用Proxy和natVal,你可以在下面的代码中看到: {-# LANGUAGE DataKinds #-} {-# LANGUAGE ScopedTypeVariables #-} module Main where import Data.Proxy (Proxy) import Data.Monoid ((<>)) impor

    0热度

    2回答

    我正在编写使用笛卡尔方法和三角函数在平面上移动,调整大小和旋转形状以及跟踪和报告这些恶作剧的python代码。 它不会计算密集型 - 通常用户指令会导致单个移动/旋转/调整大小操作。 我想知道什么是用于形状坐标和尺寸对的最合适的变量类型,以及为什么。 我考虑的类型是 x = 10 y = -15 list_coords = [x, y] tuple_coords = (x, y) im