小编Dan*_*nov的帖子

如何在Typed Racket中编写将多态函数作为参数的高阶函数?

例如,我如何编写一个版本的版本map将与Typed Racket中的多态函数一起使用?我使用一个简单的id函数定义为:

(: id : (All (A) A -> A))
(define (id x) x)
Run Code Online (Sandbox Code Playgroud)

当我尝试将其映射到列表时,我收到一个错误:

> (map id '(1 2 3))

Type Checker: Polymorphic function `map' could not be applied to arguments:
Types: (-> a b ... b c) (Listof a) (Listof b) ... b -> (Listof c)
   (-> a c) (Pairof a (Listof a)) -> (Pairof c (Listof c))
Arguments: (All (A) (-> A A)) (List One Positive-Byte Positive-Byte)
Expected result: AnyValues
   in: (map id …
Run Code Online (Sandbox Code Playgroud)

types higher-order-functions racket polymorphic-functions typed-racket

8
推荐指数
1
解决办法
556
查看次数

球拍REPL和子模块

有没有一种简单的方法让我在emacs的racket-mode中加载当前文件中的子模块?

例如,如果我有以下文件

#lang racket

(define (foo x)
  x)

(module+ sub
  (define (bar x y)
    x))
Run Code Online (Sandbox Code Playgroud)

然后我在racket-mode中按f5启动repl然后foo可用但bar不是.

emacs racket

6
推荐指数
1
解决办法
185
查看次数

除了Perl之外还有其他语言的默认变量吗?

我最近了解了Perl的默认变量$_.关于主题的好文章在这里http://perlmaven.com/the-default-variable-of-perl.我发现能够将函数应用于它而不指定令人着迷的参数.还有其他类似设施的编程语言吗?

编辑:评论中列出的一些语言是:

Powershell - 应该与Perl非常相似.

Groovy - 具有泛型it迭代器变量.

Scala - 具有_变量作为通用lambda参数.

Lisp - 具有照应宏.

HyperTalk和AppleScript - 请参阅@AmbroseChapel的回答

perl

4
推荐指数
1
解决办法
184
查看次数

Android以编程方式获取特定应用程序的数据使用情况,例如:“ Facebook”上使用的数据使用情况

我想按以下方式对数据使用量进行分类:

OS ------60% (300MB used so far)
Music ------ 10% (50MB used so far)
Facebook -----5% (25MB used so far)
Run Code Online (Sandbox Code Playgroud)

作为Android开发的初学者,任何人都可以帮助我解决此Android编程问题,并且希望当前开发一个移动网络监视器应用程序。我想通过指定应用程序名称来获取数据使用情况。

谢谢。希望听到大家的声音。

java android network-traffic

4
推荐指数
1
解决办法
9105
查看次数

如何在鼠标移开时隐藏 primefaces 菜单栏

我需要p:menubar躲起来mouseout。我怎样才能得到这个?尝试过覆盖PrimeFaces.widget.Menubar.prototype方法,但总是有东西被破坏。

javascript primefaces

0
推荐指数
1
解决办法
1234
查看次数