我一直在看榆树,我真的很喜欢学习这门语言.我一直在考虑做一个电子表格应用程序,但我无法理解它的结构.
假设我们有三个细胞; A,B和C.如果我进入4单元格A和=A单元格B,我怎样才能让单元格B始终等于单元格A？如果我然后输入=A+B单元格C,是否可以对其进行评估8,并在A或B更改时进行更新？不知道如何利用信号来实现这种动态行为.关心奥斯卡
首先,您需要决定如何表示电子表格网格.如果你来自C背景,你可能想要使用2D数组,但我发现字典在Elm中实际上效果更好.所以你可以定义type alias Grid a = Dict (Int, Int) a.
至于a每个单元格保存的内容......这是定义特定于域的语言的机会.所以像
type Expr = Lit Float | Ref (Int, Int) | Op2 (Float -> Float -> Float) Expr Expr
这意味着表达式是文字浮点数,对另一个单元格位置的引用或运算符.运算符可以是两个浮点数上的任何函数,另外两个表达式可以递归计算.根据您的需要,您可以为每个操作定义特定的标签Plus Expr Expr | Times Expr Expr,或者您可以为不同的操作添加额外的opN标签(如否定).
那么你可以定义type alias Spreadsheet = Grid Expr,如果你想要别名(Int, Int),那也可能有所帮助.我还假设你只想在电子表格中使用浮点数.
现在您需要将字符串转换为表达式并返回的函数.这些函数的传统名称是parse和eval.
parse : String -> Maybe Expr -- Result can also work
eval : Spreadsheet -> Grid Float
evalOne : Expr -> Spreadsheet -> Maybe Float
解析会有点棘手; 该字符串模块是你的朋友.Eval将涉及通过电子表格追踪引用并递归填写结果.首先,你要忽略捕获无限循环的可能性.此外,这只是一个草图,如果您发现不同类型的签名更好用,请使用它们.
至于视图,我从只读开始,因此您可以验证硬编码的电子表格是否正确评估.然后你可以担心编辑,我的想法是你只需重新运行解析器和评估器并获得一个新的电子表格来呈现.它应该工作,因为电子表格没有除每个单元格的内容之外的状态.(最小化重新计算的工作是你可以扩展它的许多不同方法之一.)如果你使用elm-html,表元素应该没问题.
希望这会让你朝着正确的方向前进.这是一个雄心勃勃的项目,我很乐意在你完成后看到它(发布到邮件列表).祝好运!