小编GCl*_*unt的帖子

有没有办法在不使用Javascript的情况下将焦点设置在特定的HTML输入(实际上是textarea控件)？

编辑:可以在HTML5中,但问题是关于HTML <5

我必须删除两个分隔符之间的字符串,即From"123XabcX321"我想要"123321".对于一个简单的案例,我很好:

$_=<>;
s/X(.*)X//;
print;

但是如果像"123XabcXasdfjXasdX321"这样输入中存在歧义,它会将第一个X与最后一个X匹配,我得到"123321",但我想要"123asdfj321".有没有办法指定与第一个有效可能的分隔符匹配的"急切"匹配而不是最后一个？

我有一个参数集:

Parameter Q:Set.

现在我想定义另一个参数,它是Q的一个子集.类似于:

Parameter F: subset Q.

我该如何定义？我想我可以稍后将限制添加为公理,但似乎更自然地直接在F的类型中表达它.

我确定答案很简单,但我陷入了困境:

Welcome to Scala version 2.7.1.final (Java HotSpot(TM) 64-Bit Server VM, Java 1.6.0_14).
Type in expressions to have them evaluated.
Type :help for more information.

scala> def f(x:Int*)=0
f: (Int*)Int

scala> val xs:Seq[Int]=1::2::3::4::Nil
xs: Seq[Int] = List(1, 2, 3, 4)

scala> f (xs)
<console>:7: error: type mismatch;
 found   : Seq[Int]
 required: Int
       f (xs)
          ^

我如何构建'Int*'？

假设我想在Json中序列化以下结构:

case class A(name:String)

case class B(age:Int)

case class C(id:String, a:A,b:B)

我正在使用lift-json"write(...)",但我希望将结构展平,而不是:

{ id:xx , a:{ name:"xxxx" }, b:{ age:xxxx } }

我想得到:

{ id:xx , name:"xxxx" , age:xxxx  }

我有一个Java堆栈(Tomcat等),我需要从运行COBOL的大型机向Java端发送消息.任何可用的开源队列都可以做到吗？