小编mba*_*768的帖子

455
推荐指数
7
解决办法
21万
查看次数

你怎么让vim unhighlight你搜索的是什么?

我在文件中搜索"nurple".我找到了,很棒.但是现在,每次出现的"nurple"都会以黄色的病态黑色呈现.永远.

永远,也就是说,直到我搜索我知道的东西都找不到,例如"asdhfalsdflajdflakjdf",这样就可以清除之前的搜索突出显示.

当我完成搜索时,我不能只是用一把魔法钥匙来杀死高光吗?

vim search highlight

225
推荐指数
8
解决办法
10万
查看次数

逻辑编程的最佳用途是什么?

逻辑编程我指的是声明性编程语言的子范例.不要混淆这个问题和"如果 - 那么其他什么问题可以解决?"

像Prolog这样的语言非常吸引人,为了学习而值得学习,但我不得不想知道哪种类型的现实问题最能用这种语言表达和解决.还有更好的语言吗?在更流行的编程语言中,逻辑编程是否存在另一个名称?这个答案的愤世嫉俗版本是Python Paradox的一个变种吗?

logic functional-programming prolog logic-programming

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

OCaml是否具有通用map()/ reduce()函数?

在Python中,map()适用于遵循序列协议的任何数据.无论我是用字符串还是列表甚至元组提供它,它都能做出正确的事情.

我不能在OCaml吃蛋糕吗?除了查看我正在使用的集合类型并查找相应的List.map或Array.map或Buffer.map或String.map之外,我真的别无选择吗?其中一些甚至不存在!我要求的是不寻常的吗?我肯定错过了什么.

polymorphism reduce ocaml map

19
推荐指数
2
解决办法
2483
查看次数

您能想到Perl 6的交叉点有什么用途?

来自Perl 6 Wikipedia条目的更多信息

Perl 6引入了结点的概念:值是其他值的组合.[24] 在Perl 6设计的早期阶段,这些被称为"叠加",类似于量子叠加的量子物理学中的概念 - 波形可以同时占据几个状态直到观察"折叠"它们.Damian Conway在2000年发布的一个名为Quantum :: Superpositions [25]的Perl 5模块提供了一个初步的概念证明.虽然起初,这种叠加的价值观似乎只是一种程序化的好奇心,随着时间的推移,它们的实用性和直观性得到了广泛的认可,而现在,路口在Perl 6的设计中占据了中心位置.

在最简单的形式中,通过将一组值与junctive运算符组合来创建联结:

my $any_even_digit = 0|2|4|6|8; # any(0, 2, 4, 6, 8)
my $all_odd_digits = 1&3&5&7&9; # all(1, 3, 5, 7, 9)
Run Code Online (Sandbox Code Playgroud)

| 表示一个等于其左侧或右侧参数的值.&表示一个等于左右参数的值.这些值可以在任何使用正常值的代码中使用.在交叉点上执行的操作同等地作用于交叉点的所有成员,并根据junctive运算符进行组合.所以,("苹果"|"香蕉")〜"s"会产生"苹果"|"香蕉".在比较中,交汇点返回单个true或false结果进行比较.如果对于结点的任何一个元素的比较为真,则"任何"结点返回true.如果对于结的所有元素的比较为真,则"all"结点返回true.

连接也可用于通过引入一种受限于类型连接的通用编程风格来更丰富地扩充类型系统:

sub get_tint ( RGB_Color|CMYK_Color $color, num $opacity) { ... }
sub store_record (Record&Storable $rec) { ... }
Run Code Online (Sandbox Code Playgroud)

perl

14
推荐指数
3
解决办法
984
查看次数

bash case语句评估为字符串

我已经发现了函数式编程错误,所以自然对我来说已经不够了.;)

所以,在bash中可以写:

case $status in
  "foo") status="bar" ;;
  "baz") status="buh" ;;
   *) status=$status ;;
esac
Run Code Online (Sandbox Code Playgroud)

但我害怕拼写错误,所以我更愿意写:

status=case $status in
  "foo") "bar" ;;
  "baz") "buh" ;;
  *) $status ;;
esac
Run Code Online (Sandbox Code Playgroud)

第二种形式是无效的,因为案例评估了最后执行的命令的退出代码,这完全不是我正在寻找的.

有没有简单的黑客实现什么,我正在找?

bash functional-programming notation case-statement

11
推荐指数
2
解决办法
4万
查看次数

给定rpm包名称,查询yum数据库以获取更新

我想象一个3行的Python脚本来做这个,但是yum Python API是不可穿透的.这甚至可能吗?

为'yum list package-name'编写包装器是唯一的方法吗?

python rpm yum

6
推荐指数
2
解决办法
5182
查看次数

在OCaml中考虑产品类型分配

我一般不满意编写这样的代码:

let load_record_field cursor gets geti gett a = function
  | 0x01 -> let c, s = gets () in (a.a_record_uuid <- s; `More_record c)
  | 0x02 -> let c, s = gets () in (a.a_group <- s; `More_record c)
  | 0x03 -> let c, s = gets () in (a.a_title <- s; `More_record c)
  | 0x04 -> let c, s = gets () in (a.a_username <- s; `More_record c)
  | 0x07 -> let c, t = gett () in …
Run Code Online (Sandbox Code Playgroud)

ocaml types product boilerplate

5
推荐指数
1
解决办法
214
查看次数

在emacs中创建多个eshell实例

想想:用eshells,一个la xmonad平铺我的emacs窗口.这可能吗?我可以Mx eshell打开第一个eshell实例,但是将来的调用只关注第一个实例.

emacs xmonad eshell

5
推荐指数
2
解决办法
1177
查看次数

xmonad:设置屏幕和工作区

我无法按照我的预期让这个功能正常工作.

setScreenAndWorkspace i =
  windows (viewOnScreen screenId workspaceId)
  where
    screenId = ((i-1) `mod` numberOfScreens)
    -- workspaceId = show i -- doesn't work for some reason
    workspaceId =
      case i of
        1 -> "1"
        2 -> "2"
        3 -> "3"
        4 -> "4"
        5 -> "5"
        6 -> "6"
        7 -> "7"
        8 -> "8"
        9 -> "9"
Run Code Online (Sandbox Code Playgroud)

我正在调用这样的函数:

myKeys =
  [
    ("M-1"   , setScreenAndWorkspace 1),
    ("M-2"   , setScreenAndWorkspace 2),
    ("M-3"   , setScreenAndWorkspace 3),
    ("M-4"   , setScreenAndWorkspace 4),
    ("M-5"   , setScreenAndWorkspace …
Run Code Online (Sandbox Code Playgroud)

haskell xmonad

5
推荐指数
1
解决办法
1450
查看次数