小编nam*_*ked的帖子

我坚持下一步.如果有人可以帮助我,那将是很棒的:

2 = ?fx.f(f x)
3 = ?fx.f(f(f x))
ADD = ?m n f x. m f (n f x)

我的步骤是:

   (?m n f x. m f (n f x)) (?f x.f(f(f x))) (?f x.f(f x))
-> ((?n f x. (?f x.f(f(f x))) f (n f x))) (?f x.f(f x))
-> ((?f x. (?f' x'.f'(f'(f' x'))) f ((?f" x".f"(f" x")) f x)

括号好吗？我真的对替换和括号感到困惑.是否有一种正式的,更容易解决此类问题的技术？

所有,

我想在ML中导出下面函数的类型表达式:

fun f x y z = y (x z)

现在我知道键入相同会生成类型表达式.但我希望手工推导出这些价值观.

另外,请提及派生类型表达式时要遵循的一般步骤.

我正在为Tic-Tac-Toe游戏设计我的实施策略.由于这是我的第一个游戏实现,我有点困惑,需要一些通用指针.

现在,Tic-Tac-Toe中的获胜组合总数为8.目前,我计划将这些获胜组合存储在一个阵列中.一旦最终用户进行了至少3次移动,我将通过比较Player对阵此阵列的当前位置来开始检查玩家是否赢得了游戏.但是,我确信这不是检查玩家是否有获胜组合的有效方法.

任何人都可以建议我如何设计游戏的逻辑？

所有,

我正在创建一个调色板少eclipse插件,通过上下文菜单向自定义编辑器添加数字,但我找不到方法.任何人都可以指导我如何通过上下文菜单动态添加数字到编辑器,即添加动作/命令.

由于Eclipse GEF插件开发发现了更少的示例,我正在添加我的解决方案,以便其他人发现它很有用.此代码有助于将节点呈现给编辑器.

Action类的源代码,用于向编辑器呈现数字:

public class AddNodeAction extends EditorPartAction
{
 public static final String ADD_NODE = "ADDNODE";

 public AddNodeAction(IEditorPart editor) {
  super(editor);
            setText("Add a Node");
            setId(ADD_NODE);     // Important to set ID
 }

 public void run()
 {
  <ParentModelClass> parent=  (<ParentModelClass>)getEditorPart().getAdapter(<ParentModelClass>.class);

  if (parent== null)
   return;
  CommandStack command = (CommandStack)getEditorPart().getAdapter(CommandStack.class);

  if (command != null)
  {
   CompoundCommand totalCmd = new CompoundCommand();
   <ChildModelToRenderFigureCommand>cmd = new <ChildModelToRenderFigureCommand>(parent);
   cmd.setParent(parent);
   <ChildModelClass> newNode = new <ChildModelClass>();
   cmd.setNode(newNode);
   cmd.setLocation(getLocation()); // Any location you wish to set to
   totalCmd.add(cmd);
   command.execute(totalCmd); …

我正在使用imp模块/parent_folder/path/to/my_module/my_module.py从源代码加载python文件（存在于：）：

mod = imp.load_source("my_module", "/parent_folder/path/to/my_module/")

但是，my_module.py文件还会导入其他编写并保存在同一文件夹位置的模块：

    my_module.py
    ....
    ...
    from other_module import other_thing
    ...

在load_source失败抱怨No module named other_module。加载处理所有导入的文件的最佳方法是什么？我宁愿通过使用python导入库函数来实现此目标，而不是玩弄sys.path

所有,

我想知道使用setLength(0)清除StringBuffer内容是否有意义.即做得更好:

while (<some condition>)
{
    stringBufferVariable = new StringBuffer(128);
    stringBufferVariable.append(<something>)
                        .append(<more>)
                        ... ;
    Append stringBufferVariable.toString() to a file;
    stringBufferVariable.setLength(0);
}

我的问题:
1>这还有比使用String对象追加内容更好的性能吗？

我不确定如何重新初始化StringBuffer变量会影响性能,从而影响问题.

请写下你的意见

[编辑]:删除了关于与StringBuilder进行比较的第二个问题,因为我已经理解了基于响应的其他内容.

所有,

我有一个数据库字段,它实际上计算从测验开始到当前时间所花费的时间.这是在某个时间点完成的(记录为当前时间),现在我有一个Unixtimestamp值

即假设开始时间是5/5/2011 1pm,当前时间是在2011年5月5日下午2点填充的.因此,计算差异并将其存储为Unix时间戳.

现在我不知道这是什么时候实际完成的,现在我不得不回到花了几个小时参加测验.所以这里需要将Unix时间戳转换回小时,在这种情况下返回1小时.谁能帮助我了解如何做到这一点？

所有,

为什么建议将StringBuffer/ StringBuilderobject的大小初始化为2 ^ {1 ... n}的大小(尽管通常它将> 64).这样做会有什么优势/优化？

我们可以为特定用户创建多个模式吗？我目前以 X/Y 用户身份登录，当我尝试使用创建模式时create schema authorization sample_schema，出现错误the schema name is missing or is incorrect in an authorization clause of a create schema statement。我确实知道X会创建一个默认架构。

假设我在Hive中有如下表定义(实际表有大约65列):

CREATE EXTERNAL TABLE S.TEST (
    COL1 STRING,
    COL2 STRING
)
PARTITIONED BY (extract_date STRING)
ROW FORMAT DELIMITED FIELDS TERMINATED BY '\007'
LOCATION 'xxx';

创建表后,当我运行时hive -e "describe s.test",我将其extract_date视为表中的一列.执行a select * from s.test也会返回extract_date列值.在Hive中运行选择查询时是否可以排除此虚拟(？)列.