在这里完成了对Haskell的菜鸟,可能是一个更加低调的问题.我正在尝试让ghci输出工作,并且我坚持实例声明.我如何声明"(Show(Stack - > Stack))"的实例给出:
data Cmd = LD Int
| ADD
| MULT
| DUP
deriving Show
type Prog = [Cmd]
type Stack = [Int]
type D = Stack -> Stack
Run Code Online (Sandbox Code Playgroud)
我一直试图创建一个声明,如:
instance Show D where show = Stack
Run Code Online (Sandbox Code Playgroud)
但我所有的尝试都导致了非法的实例声明.任何帮助和/或参考非常感谢!
我想将ctrl-tab映射到:tabn,并将ctrl-shift-tab映射到:tabp.
我让它在Windows XP中用于gVim,但在Ubuntu 9.10中将它移动到我的.vimrc并且它不起作用(vim 7.2).
这是我的.vimrc的相关部分:
nmap <C-Tab> :tabn<CR>
nmap <C-S-Tab> :tabp<CR>
nmap <C-t> :tabnew<CR>
Run Code Online (Sandbox Code Playgroud)
<C-t>工作正常,所以映射ctrl键似乎不是一个问题.我真的不知道从哪里开始!这可能会出现什么问题,考虑到它在Windows下运行良好?
更多信息:我正在运行Ubuntu 9.10服务器,xorg并fluxbox安装在顶部.我正在使用xterm我的终端.
Ctrl-tab映射在fluxbox中工作:我可以在窗口管理器中成功映射ctrl-tab和ctrl-shift-tab; 如果我开始标记我的xterms,我可以按预期循环浏览这些标签.我不确定这意味着什么,但我认为问题不是窗口管理器/ xorg问题.
这些键似乎没有映射到别的东西,并且可以一起成功识别.
答:这是一个xterm问题 - 它不会拦截并发送一个唯一的密钥代码ctrl-tab.有关详情,请参阅下面的完整答案.
我尝试在一些字符串中替换几个字符 14/04/2010 17:12:11,例如,得到下一个结果:
14%04%2010%17%12%11
Run Code Online (Sandbox Code Playgroud)
我知道方法Replace,但它的定义看起来像Replace(Char,Char).这意味着在方法链中使用它3次.看起来不那么惯用.如何以最佳方式解决问题?常用表达?有什么方法逃脱它们?
我为CodeIgniter框架编写了一个新模型.我正在尝试从构造函数中加载数据库,但是我收到以下错误:
Severity: Notice
Message: Undefined property: userdb::$load
Filename: models/userdb.php
Line Number: 7
Fatal error: Call to a member function database() on a non-object in
/var/www/abc/system/application/models/userdb.php on line 7
Run Code Online (Sandbox Code Playgroud)
这是我的模型:
<?php
class userdb extends Model {
function __construct() {
$this->load->database();
}
?>
Run Code Online (Sandbox Code Playgroud)
我在这做错了什么?
我遇到了一个奇怪的问题.在我的单元测试中,我想检查本地化的字符串.但是,我似乎无法让它发挥作用.例如,我创建了两个资源:英语的Resource1.resx和中文的Resource1.zh-CN.resx.单元测试项目只能获取(默认?)英文资源字符串.这是我正在使用的代码:
ResourceManager actual = new ResourceManager(typeof(LocaleTest.Properties.Resource1));
string name0 = actual.GetString("Name", new CultureInfo("en-US"));
string name1 = actual.GetString("Name", new CultureInfo("zh-CN"));
Run Code Online (Sandbox Code Playgroud)
我创建了另一个常规项目(意味着不是MSTest项目)以确保本地化字符串正常工作.因此,它适用于常规项目,但不适用于MSTest项目.
即使我把下面的代码作为单元测试的当前文化来制作'zh-CN',它也无济于事:
[TestInitialize()]
public void MyTestInitialize()
{
Thread.CurrentThread.CurrentCulture = new CultureInfo("zh-CN");
Thread.CurrentThread.CurrentUICulture = new CultureInfo("zh-CN");
}
Run Code Online (Sandbox Code Playgroud)
有人见过类似的问题吗?有没有解决方法?
当我试图对eclipse插件生成的"hello android"程序进行简单修改时,我得到错误,即使我将文件恢复到原始内容也无法让程序再次运行.修改是我在strings.xml中更改了一个字符串.这条线是:
<string name="app_name">Todo List</string>
Run Code Online (Sandbox Code Playgroud)
并且应用程序可以运行,然后我将其更改为
<string name="app_name">Todo List1</string>
Run Code Online (Sandbox Code Playgroud)
这是一个错误:
[2010-04-21 23:18:03 - Todo_list] Error in an XML file: aborting build.
Run Code Online (Sandbox Code Playgroud)
并且还出现了一个新的空文件:strings.out.xml然后即使我删除了empyt文件并恢复了原始行,我也无法将prrogram恢复到runnable状态,我是java的初学者, android和eclipse.
如果有时间讨厌IE,就是这样.此代码以带有内容的框开头.单击该按钮时,该框应该下拉并淡入.
<html>
<script type="text/javascript" src="jquery.js"></script>
<script type='text/javascript'>
function Test()
{
var item_height = $('#test').height();
$('#test').height(0);
$('#test').css('opacity','0');
$('#test').animate({ height: item_height, opacity: '1' },400);
}
</script>
<body>
<!-- The div below holds the sample content -->
<div id="test" style='border: 1px solid black;'>
Content<br>
Content<br>
Content<br>
Content<br>
Content
</div>
<!-- The button to test the animation -->
<br><br>
<div style='position: absolute; top: 150px; left: 10px;'>
<button onclick='Test();'>Test</button>
</div>
</body>
</html>
Run Code Online (Sandbox Code Playgroud)
这个非常简单的示例适用于Chrome,Safari和Opera.但Internet Explorer?不.
我怎么能(如果它甚至可能)修复它,以便它在IE中工作?
我需要在我的PHP脚本中确定HTTP请求是HTTP/1.0还是HTTP/1.1请求,该脚本在Apache下运行.有没有办法查询这些信息?
我需要一个JavaScript函数,它可以获取一个值并将其填充到给定的长度(我需要空格,但任何事情都可以).我找到了这个:
码:
String.prototype.pad = function(l, s, t){
return s || (s = " "), (l -= this.length) > 0 ? (s = new Array(Math.ceil(l / s.length)
+ 1).join(s)).substr(0, t = !t ? l : t == 1 ? 0 : Math.ceil(l / 2))
+ this + s.substr(0, l - t) : this;
};
Run Code Online (Sandbox Code Playgroud)
例:
<script type="text/javascript">
//<![CDATA[
var s = "Jonas";
document.write(
'<h2>S = '.bold(), s, "</h2>",
'S.pad(20, "[]", 0) = '.bold(), s.pad(20, "[]", 0), "<br />",
'S.pad(20, "[====]", 1) …Run Code Online (Sandbox Code Playgroud)