小编Kot*_*lar的帖子

我想转换IEnumerable<Contact>为List<Contact>.我怎样才能做到这一点？

每次我在Mac上打开终端我都会得到提示

你想检查更新吗？

我觉得很烦人.无论如何要阻止它这样做？

我有超类Point和synchronized方法draw().如果我覆盖它们中的方法或者我必须总是写它,Point继承的子类synchronized是否会继承draw()？

优先级是什么::,是否有任何运营商的优先级甚至低于它？

似乎优先级::低于$,因为下面的表达式都返回"ab"

map head $ ["alice", "bob"] :: String
map head ["alice", "bob"] :: String

我试图通过给它一个镜头参数来重构我的函数(从xml-lens包中).我错过了关于类型量词的一些东西.这里发生了什么？

*Main> let z name = listToMaybe $ pom ^.. root ./ ell name . text
*Main> :t z
z :: Text -> Maybe Text
*Main> let z name l = listToMaybe $ pom ^.. l ./ ell name . text

<interactive>:13:38:
    Couldn't match expected type ‘(Element -> f Element)
                                  -> Document -> f Document’
                with actual type ‘t’
      because type variable ‘f’ would escape its scope
    This (rigid, skolem) type variable is bound by
      a type expected …

如果我有这种结构的图形:

@prefix  :       <http://example/> .
@prefix  rdf:    <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix  foaf:   <http://xmlns.com/foaf/0.1/> .

:alice rdf:type        foaf:Person .
:alice foaf:givenName  "Alice" .
:alice foaf:familyName "Liddell" .

:bob   rdf:type        foaf:Person .
:bob   foaf:givenName  "Bob" .
:bob   foaf:familyName "Doe" .

:choi  rdf:type        foaf:Person .
:choi  foaf:givenName  "Hwa" .
:choi  foaf:familyName "Choi" .

:alice :knows          :bob, :choi .

如何以某种结构化格式获取Alice知道的人的姓名？理想的格式是这样的:

[
  {
    "given": "Alice",
    "family": "Liddell",
    "knows": [
      { "given": "Bob", "family": "Doe" },
      { "given": "Hwa", "family": "Choi" }
    ]
  }
]

如果我只想要一个属性的数组,我可以这样做:

SELECT …

有人声称，在拉取镜像后可以提取 Docker 镜像的构建参数（示例）。

我已经使用以下 Dockerfile 对此进行了测试：

FROM scratch

ARG SECRET

ADD Dockerfile .

当我构建图像时：

$ docker build -t build-args-test --build-arg SECRET=12345 .

并按照文章中指定的方式检查它：

$ docker image history --no-trunc build-args-test
IMAGE                   CREATED          CREATED BY                    SIZE      COMMENT
sha256:(hash omitted)   17 minutes ago   ADD Dockerfile . # buildkit   43B       buildkit.dockerfile.v0
<missing>               17 minutes ago   ARG SECRET                    0B        buildkit.dockerfile.v0

我看不到实际的构建参数 ( 12345)。

有没有办法从图像中提取构建参数？

如果图像不是在我的机器上构建而是从存储库中提取的，答案会有所不同吗？

我知道Docker 构建秘密功能。但是，我具体询问的是ARG.

示例代码：

{-# LANGUAGE NamedFieldPuns #-}

module Sample where

class Sample a where
  isA :: a -> Bool
  isB :: a -> Bool
  isC :: a -> Bool

data X =
  X

instance Sample X where
  isA = undefined
  isB = undefined
  isC = undefined

data Wrapper = Wrapper
  { x :: X
  , i :: Int
  }

instance Sample Wrapper where
  isA Wrapper {x} = isA x
  isB Wrapper {x} = isB x
  isC Wrapper {x} = isC x

在这里，我有一个由实现的类， …

export interface Principal {
  name: string; // just a field
  [attribute: string]: any; // allowed custom fields

  [securityId]: string; // what does this mean ?
}

securityId 是什么意思？

在 Haskell 中，编译程序的执行从mainmodule 中的执行开始Main。该函数的类型必须是IO ()。

哪个标准或参考文献定义了上述内容？

Haskell 2010和Haskell 98没有main正式定义（尽管有几个名为 的函数示例main），而是说：

我们将 Haskell 程序的操作、解释、编译等方式保留为依赖于实现的方式。

GHC 用户指南指导用户创建一个main函数，但从未提及其所需的类型或它是程序执行的开始。有对Main模块的引用，但没有对main函数的引用。

比较C++（参考 C11 标准 (ISO/IEC 9899:2011) 5.1.2.2.1 程序启动 (p: 13)）：

每个 C 程序 [...] 都包含一个名为 main 的函数的定义 [...]，它是程序的指定开始。

哪个标准或参考文献说这main是 Haskell 程序执行的开始？