小编hor*_*rsh的帖子

AMD64 psABI过去曾在x86-64.org上托管.

我有一份pdf文件,它明确地说:

该体系结构规范可在网站 http://www.x86-64.org/documentation上获得.

但是http://www.x86-64.org已经很长时间了.至少几个月.

有谁知道最新的psABI可以从哪里拿走？

考虑两个data声明:

{-# LANGUAGE GADTs #-}

data X = Int `Y` Int deriving Show

data Z where
        W :: Int -> Int -> Z  deriving Show

main = do
         print (1 `Y` 2)
         print (3 `W` 4)

运行上述程序会产生:

1 `Y` 2
W 3 4

所以派生show知道Y是中缀并相应地打印它.该::语法似乎并没有让infixness.

有没有办法让编译器派生为for Winfix,(除了显式提供show实例Z)？期望的输出是

1 `Y` 2
3 `W` 4

是否有在线提供的Prolog语言(语法和语义)的描述？

实现有很多参考手册.但这些都不是语言描述.例如,SWI Prolog手册说明

本手册未描述Prolog的完整语法和语义.

并指的是一套印在纸上的书,发表于20世纪80年代.而ISO标准是为了钱,"应该可以从我国的ISO代表处获得"乱码.

Telegram bot向我发送了一条带有文本片段的消息,我想编辑它,然后发送回机器人进行进一步处理.

复制和粘贴需要时间.重新输入信息需要时间.

理想情况下,我想在机器人的消息上按一个内联按钮"编辑",并在我的回复输入框中显示消息文本进行编辑.(以某种方式附加到我的回复的消息ID将是一个加号).

我尝试使用除/ start*之外的参数的深度链接,但这似乎不起作用.

我可以使用bot API(或任何其他电报API)准备好在我的输入框中编辑文本吗？