我必须编写一个函数"to_string“(接收此数据类型)
datatype prop = Atom of string | Not of prop | And of prop*prop | Or of prop*prop;
并返回一个字符串。
示例
show (Atom(“周六”),Atom(“夜晚”))=“(星期六和夜晚)”
我的功能是工作,但我有两个问题。
解释器Warning: match nonexhaustiveI告诉我,认为我可以为所有类型(不是和或)编写带有局部变量函数的函数,并避免重复代码,但我不知道如何实现。
这是我的密码
datatype prop = Ato
假设我有以下文件(它是格式)
ATOM 1 N MET A 1 66.104 56.583 -35.505 1.00 0.00 N
ATOM 2 CA MET A 1 66.953 57.259 -36.531 1.00 0.00 C
ATOM 3 C MET A 1 67.370 56.262 -37.627 1.00 0.00 C
ATOM 4 O MET A 1
我有几百个数据文件,结构如下: ATOM 1 CG TYR C 58 121.612 160.894 112.763 1.00 0.00 C
ATOM 2 CD1 TYR C 58 120.943 162.067 113.040 1.00 0.00 C
ATOM 3 CD2 TYR C 58 121.188 159.746 113.389 1.00 0.00 C
ATOM 4 CE1 TYR C 58 119.873 162.092
我正在尝试将使用Atom提要的XML转换为Datacontract类,但我失败了……
我的代码如下:
Content.ReadAsAsync<ArticleDTOs>()
[Serializable]
[DataContract(Namespace = "urn:schemas-something:some", Name = "document")]
public class ArticleDTOs
{
[DataMember(Name = "entry")]
pu
我有一堆文件(*.pdb文件由AlphaFold生成,供那些在生物/生命科学领域工作的人使用),我想读到朱莉娅的DataFrames中。
它们通常只有1000行,如下所示:
MODEL 1
ATOM 1 N MET B 1 21.976 -98.993 -39.513 1.00 27.24 N
ATOM 2 CA MET B 1 23.354 -99.175 -39.
刚刚安装了Atom并试图安装脚本来运行我的代码(Windows用户)
我试过从中尝试,但是当单击安装时,它说Launching Atom... If nothing happens, download Atom and try again.和什么都不会发生
也尝试从Atom本身,但找不到脚本。会出现一个包列表,但没有脚本。
最后,我从命令提示符中尝试了apm install script。我要叫Installing script to C:\Users\Administartor\.atom\packages,等几分钟,但是.没什么。
更新:关闭和重新打开的原子。现在得到以下信息:
我的file1如下所示:
ATOM 48 O ILE A 6 7.686 11.253 -7.457 1.00 27.81 O
ATOM 49 CB ILE A 6 6.898 13.596 -9.634 1.00 26.66 C
ATOM 50 CG1 ILE A 6 8.370 13.338 -9.831 1.00 24.73 C
ATOM 51 CG2 ILE A 6 6.637 15.204 -9
这是文件的一小部分:
ATOM 1276 HB1 ALA 81 9.959 6.292 8.850
ATOM 1277 HB2 ALA 81 9.327 5.104 10.015
ATOM 1264 HG21 THR 80 7.466 11.485 7.678
ATOM 1265 HG22 THR 80 6.093 12.332 8.430
ATOM 1278 HB3 ALA 81 8.579 5.259 8.408
ATOM 1279 C
module Algorithm where
import System.Random
import Data.Maybe
import Data.List
type Atom = String
type Literal = (Bool,Atom)
type Clause = [Literal]
type Formula = [Clause]
type Model = [(Atom, Bool)]
type Node = (Formula, ([Atom], Model))
-- This function takess a Clause and return the set of A
我是shell脚本的初学者,我需要自动化一个删除一堆文件的重复项的过程。我的文件示例:
1 Br Atom
2 Cl Atom
3 F Atom
4 P Atom
5 Al Atom
6 Rh Atom
7 Cl Atom
8 Cl Atom
9 Mg Atom
10 O Atom
11 N Atom
12 H Atom
13 H Atom
14 H Atom
15 H Atom
16 H Atom
17 Cl Atom
我要找的是去掉所有的"Cl“原子,只留下一个"Cl
我有一种奇怪的情况,使我感到困惑(和错误)。我重新命名变量是为了更清楚,但问题是真实存在的。我有两个迭代,我需要组合。这种组合应该是连词而不重复。但是,如果一个元素是另一个元素的“反面”,那么最后一组元素都不应该存在。
概念示例:(a,b,c)组合(b,c',d) -> (a,b,d) #让c与c‘相反
下面是我当前的实现失败的部分原因是我试图在迭代一个集合时修改它的大小:
# atom_list and atom_set are distinct not only in their type but also their contents.
for atom in atom_l
我正在为包含来自其他名称空间的标记的文档类型编写XML Schema。(具体地说,Atom和GML :众所周知的标准。)需要来自另一个名称空间的特定标记似乎很简单:
<xs:import namespace="http://www.w3.org/2005/Atom" schemaLocation="atom.xsd" />
<!-- and then, within a complex type definition: -->
<xs:element ref="atom:link" />
但在某些情况下,我需要
我正在尝试一种简单的语法来解析类似python的结构,这就是我能想到的列表/集合。
list : '[' atom ( ',' atom)* ']'
set : '(' atom ( ',' atom)* ']'
atom : 'a'..'z' | 'A'..'Z'
| '[' list ']'
| '(' set ')'
注意,这是在antlr中的,
在编译OCaml应用程序时,我得到以下错误:
File "/tmp/ocamlpp466ee0", line 308, characters 34-233:
Error: Signature mismatch:
...
The field `unlock' is required but not provided
The field `lock' is required but not provided
Command exited with code 2.
我的猜测是,错误是通过OCaml库Datalog发布的(我已经从安装了版本
我有一个pdb文件,看起来像-
ATOM 1737 HG13 VAL X 121 21.938 -9.234 -0.977 0.00 0.00 SYST
ATOM 1738 CG2 VAL X 121 21.679 -7.988 1.521 0.00 0.00 SYST
ATOM 1739 HG21 VAL X 121 22.611 -7.674 1.050 0.00 0.00 SYST
ATOM 1740 HG22 VAL X 121 21.340 -7.213