Greg Nisbet - 代码之家

检查处理时当前是否包含文件

Greg Nisbet · 技术社区 · c-preprocessor c · 5 年前

COQ证明了涉及实数字面值的算术表达式是相等的

Greg Nisbet · 技术社区 · coq · 6 年前

使用coqtop检查表达式类型

Greg Nisbet · 技术社区 · coq · 6 年前

包含IEEE_GET_ROUNDING_模式的库的gfortran链接器参数

Greg Nisbet · 技术社区 · gfortran fortran · 6 年前

perl按名称指定unicode字符,而不在所有大写字母中加上名称

Greg Nisbet · 技术社区 · unicode perl · 6 年前

prolog捕获只有在没有其他子句时才有效的所有子句

Greg Nisbet · 技术社区 · prolog · 6 年前

prolog-生成“不可理解”的整数

Greg Nisbet · 技术社区 · prolog · 6 年前

鸡肉方案-csc无法定位“chicken.foreign.import.so”

Greg Nisbet · 技术社区 · chicken-scheme scheme · 6 年前

Common Lisp为宏中使用的符号添加后缀

Greg Nisbet · 技术社区 · common-lisp · 6 年前

打印引用意外返回的对象不会产生垃圾

Greg Nisbet · 技术社区 · variadic-functions c++ · 6 年前

公共Lisp-是否可以定义“unlet”?

Greg Nisbet · 技术社区 · common-lisp · 6 年前

将类属性定义为实例变量的默认值是否习惯?

Greg Nisbet · 技术社区 · python · 6 年前

从Win32::API调用[duplicate]返回宽字符串

Greg Nisbet · 技术社区 · utf-16le perl windows · 6 年前

序列第一个元素上的公共Lisp调度

Greg Nisbet · 技术社区 · common-lisp · 6 年前

Prolog…定义检查两个参数是否指向同一个原子的谓词

Greg Nisbet · 技术社区 · prolog · 6 年前

Coq为内射函数定义一个类型构造函数

Greg Nisbet · 技术社区 · coq · 6 年前

python-在分配给时检查模块名是否有效系统模块

Greg Nisbet · 技术社区 · python · 6 年前

GHC明确要求

Greg Nisbet · 技术社区 · ghc haskell · 6 年前

用字符串调用C函数printf

Greg Nisbet · 技术社区 · gforth c · 6 年前

gdb步骤,直到源再次可用

Greg Nisbet · 技术社区 · gdb · 6 年前

使用boost::带有clang但不使用gcc的文件系统链接的程序

Greg Nisbet · 技术社区 · boost-filesystem linker c++ · 6 年前

Perl重定向STDUT到词汇文件句柄

Greg Nisbet · 技术社区 · perl · 6 年前

配置ocamlot以便gdb可以获取源位置信息

Greg Nisbet · 技术社区 · ocaml gdb · 6 年前

SQLite和分叉安全

Greg Nisbet · 技术社区 · sqlite c · 6 年前

将ocaml值永远保存在堆外/故意泄漏ocaml值

Greg Nisbet · 技术社区 · ocaml c · 6 年前

ocaml为什么空数组有多态类型?

Greg Nisbet · 技术社区 · ocaml · 6 年前

OCAML坚持认为函数不是多态的,但不指定类型

Greg Nisbet · 技术社区 · ocaml · 6 年前

OS X上的Nasm用子程序替换int 0x80

Greg Nisbet · 技术社区 · nasm macos · 6 年前

假设malloc/free实现,显式size参数为free

Greg Nisbet · 技术社区 · dynamic-memory-allocation c · 6 年前

C++如何在没有隐式转换的情况下模拟函数?

Greg Nisbet · 技术社区 · template-meta-programming c++ · 6 年前