C# LINQ到SQL在其他语言中是否可行？

我很想知道像LINQ到SQL这样的东西是否可以在其他语言（skip.Net）中实现，从而能够编写声明性和编译时检查的查询，并将其转换为SQL：

• 强类型语言
• 对lambdas/clousures有很好的支持
• 能够生成表达式树/引用

---

例如：在Lisp、Haskell、F#等语言中有可能吗

对于Haskell，已经有了这样的东西-。

对于Haskell，已经有了这样的东西-。

是的，例如，对于Haskell，有一些用于类型检查SQL生成的嵌入式DSL：

• 查询理解

---

回想一下，LINQ的灵感来自于

Yep，例如，对于Haskell，有一些用于生成类型检查SQL的嵌入式DSL：

• 查询理解

---

回想一下，LINQ的灵感来源于

，这似乎是一个“列表式”问题，不够具体。（可能的答案列表将由现存语言的数量定义）是的，这是可能的，并且有可用代码形式的建设性证明。@Brian:“（skip.Net）”。F#是一种.net语言。这似乎是一个“列表式”问题，不够具体。（可能的答案列表将由现存语言的数量定义）是的，这是可能的，并且有可用代码形式的建设性证明。@Brian:“（skip.Net）”。F#是一种.net语言。谢谢。然而，看起来持久性没有那么有表现力。我没有看到任何join/GroupBy/distict/projection操作符。不确定原因是库本身的问题，还是缺少Haskell中quoiting的支持。@Olmo Haskell支持。谢谢。然而，看起来持久性没有那么有表现力。我没有看到任何join/GroupBy/distict/projection操作符。不确定原因是库本身的问题，还是缺少Haskell中quoiting的支持。@Olmo Haskell支持。我一直在阅读DSH论文，这正是我要找的。非常感谢。我一直在读DSH的论文，这正是我想要的。非常感谢。