簡體 English 中英

如何在模板 Haskell 中“編碼”這個簡單的表達式？

[英]How to "encode" this simple expression in template Haskell?

原文 2022-04-01 13:12:44 7 1 haskell/ template-haskell

我有一個電話myFun @m @d 。 現在我想為我的模板 Haskell 編碼。我試試

let myFunCall = AppTypeE (VarE $ mkName "myFun") (AppT (VarT $ mkName "m") (VarT $ mkName "d"))

但它是無效的，因為我得到myFun @(md) 。

老實說，我什至不知道如何實現它。

1 個解決方案

與 Haskell 中的任何其他類型的 function 應用程序一樣，它通過參數關聯參數。 即myFun @m @d是(myFun @m) @d 。 每個@都是它自己的AppTypeE ，即你需要

   AppTypeE (AppTypeE (VarE $ mkName "myFun") ...) ...

Haskell 如何判斷一個表達式是否簡單？

[英]Haskell how to determine if an expression is simple or not?

如何將簡單的Haskell變量傳遞給Heist模板？

[英]How do I pass simple Haskell variables to a Heist template?

如何命名Haskell表達式的“ =”？

[英]How to name the “=” of a Haskell expression?

這個haskell表達式是如何評估的

[英]how is this haskell expression evaluated

如何在Haskell / Functional編程中編碼選擇公理？

[英]How to encode the axiom of choice in Haskell/Functional programming?

如何在haskell中替換表達式中的變量？

[英]How to substitute a variable in an expression in haskell?

如何立即評估Haskell表達式？

[英]How to evaluate an Haskell expression immediately?

如何在 Haskell 中解析布爾表達式？

[英]How to parse a boolean expression in Haskell?

如何在 Haskell 中解析布爾表達式

[英]How to parse a bool expression in Haskell

如何在Haskell上創建一個簡單的計算器？

[英]How to create a simple calculator on Haskell?

暫無

暫無

聲明:本站的技術帖子網頁，遵循CC BY-SA 4.0協議，如果您需要轉載，請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.

相關問題 Haskell 如何判斷一個表達式是否簡單？如何將簡單的Haskell變量傳遞給Heist模板？如何命名Haskell表達式的“ =”？這個haskell表達式是如何評估的如何在Haskell / Functional編程中編碼選擇公理？如何在haskell中替換表達式中的變量？如何立即評估Haskell表達式？如何在 Haskell 中解析布爾表達式？如何在 Haskell 中解析布爾表達式如何在Haskell上創建一個簡單的計算器？

相關標簽

粵ICP備18138465號 © 2020-2024 STACKOOM.COM