haskell "Dot Hack"

Question

在 Wiki page for Sudoku solutions ，一种解决方案声称使用“Dot Hack”。链接的 Github 页面不再可用，我在别处找不到任何关于它的信息。

这是关于什么的？它有什么作用？如何？

Answer 1

我猜他指的是以下行:

import Prelude hiding ((.))

禁用正常 (.)功能组合的运算符。相反，使用了另一个具有相同名称的运算符，可能是从实用程序模块 T.T 导入的。 .此运算符的行为类似于 OOP 语言:

pretty_output solution = solution.elems.map(show).in_group_of(9)
    .map(unwords).unlines

(我认为)通常看起来像

pretty_output solution = (unlines . map unwords . in_group_of 9 . map show . elems) solution

该运算符的工作方式与 |> 相同。 F# 中的运算符:

(|>) :: a -> (a -> b) -> b
x |> f = f x

它用于通过函数传递值(并且更具可读性和更好的功能风格，imo):

pretty_output solution = solution |> elems |> map show |> in_group_of 9 |> map unwords |> unlines

(|>)也与 flip ($) 相同.

编辑:不知何故，这个“被黑”的运算符已经存在于 Haskell 中。相同的合成行为可以通过 Control.Category 中的从左到右合成运算符来实现。 :

g x = x |> (f1 >>> f2 >>> f3)

不过，此管道仅起作用，实际上只是 f >>> g = g . f .