關於在 Haskell 中求值的函數 a -> () 有哪些規則？
[英]What rules are there about a function a -> () being evaluated in Haskell?
正如標題所說：Haskell 函數返回單元被評估有什么保證？ 人們會認為在這種情況下不需要運行任何類型的評估，編譯器可以用立即數()值替換所有此類調用，除非存在明確的嚴格要求，在這種情況下，代碼可能必須決定是否它應該返回()或底部。 我已經在 GHCi 中對此進行了試驗，似乎發生了相反的情況，也就 ...
創建零大小結構的多種方法之間有什么區別？
[英]What are the differences between the multiple ways to create zero-sized structs?
我發現了四種不同的方法來創建一個沒有數據的struct ： （我將只包含()的任意嵌套元組和單變量enum聲明排除在外，因為我理解為什么不應該使用它們）。 這四種聲明有什么區別？ 我會將它們用於特定目的，還是可以互換？ 這本書和參考資料出人意料地沒有幫助。 我確實發現這個 ...
C++ 有單元類型嗎？
[英]Does C++ have a unit type?
我知道 C++ 標准庫有一個單元類型——我以前見過它——但我不記得它叫什么。 它以“m”開頭，我知道的就這么多，它相當於這個定義： 基本上，單位類型是一種只有一個不同值的類型 - 與具有零值的void和具有兩個值的bool形成對比。 如果您必須知道，我的特定用例是關於具有聯合成員的模板類的構 ...
為什么推斷這些參數具有單位類型？
[英]Why these arguments inferred to have a unit type?
我故意在這個函數的末尾添加了x 我期待x和y參數仍然是'一種類型，但我得到這個簽名： 為什么推斷這些參數具有單位類型？ 編輯：謝謝@gilles的回答。 考慮這兩個功能： 是什么讓兩個簽名不同？ 似乎在第二個函數中，編譯器將比較結果 - x或y-作為單位解釋 ...
該表達式應具有類型單位，但此處具有類型'a列表
[英]This expression was expected to have type unit but here has a type 'a list
在這里我有一個功能。 在List.append [0] free_list它抱怨說， This expression was expected to have type unit but here has a type 'a list List.append [0] free_list Thi ...
為什么函數簽名具有跟隨其他參數的單位參數？
[英]Why would a function signature have a unit parameter following other parameters?
我正在查看我在培訓課程中看到的一個函數，並且無法理解在以下函數末尾使用“（）”： 為什么函數簽名在其簽名的其他參數的末尾有一個單位參數？ 因此，我認為單位參數意味着沒有參數或返回類型，類似於“void”。 ...
空括號`（）`在榆樹中意味着什么？
[英]What do the empty parentheses `()` mean in Elm?
我發現他們的意思是空元組。 但是，它們是否也被榆樹程序員用作慣例，意味着“價值可以忽略”？ 資料來源： https ： //github.com/pdamoc/elmChallenges/blob/master/challenge5.elm ...
我可以在F＃成員函數上指定函數類型嗎？
[英]Can I specify a function type on F# member functions?
我目前正在使用F＃中的Eto.Forms 。 我遇到的一個小麻煩是，當您在外部文件（XAML或JSON）中定義GUI對象（窗體，面板，按鈕等）並聲明事件處理程序時，這些事件處理程序必須具有特定的類型： 類型簽名的重復困擾着我。 （實際上這兩個函數有很多重復，例如使用幾乎不變的參數調用 ...
該表達式應具有類型單位
[英]This expression was expected to have type unit
我有以下代碼。 在這條線 我有2個錯誤。 首先是0 然后在i *我也看到了這一點，並嘗試忽略它，但是它不起作用 ...
使用動態字符串時ksprintf類型錯誤
[英]ksprintf type error when using dynamic string
示例代碼： Printf.ksprintf ignore "static string" let dynamicString = Printf.StringFormat<unit>("dynamic string") Printf.ksprintf ignore dynamicS ...
在 C# 中正確實現 F# Unit
[英]Properly implement F# Unit in C#
這個問題與這個<\/a>問題中的 C#\/F# 兼容性無關。 我想知道實現F# Unit<\/a>之類的類型而不是使用void<\/code>的正確方法。 顯然我會丟棄這個結果，並且不會將這種類型暴露給外界。 想知道一個空類是否可以扮演這個角色。 ...
WebService類型混亂
[英]WebService type confusion
我正在使用此模板來創建Web服務。 這是我正在使用的Web服務合同： 我在哪里可以找到value和composite描述？ 是語言功能還是其他什么？ 我想GetItem方法沒有任何imput參數而且InsertItem沒有返回值（void）。 可能嗎？ ...
如何返回ok單元類型的std :: result <（），E>？
[英]How to return Ok unit type of std::result<(), E>?
如果我定義一個函數： 如何使用單位類型()返回std::result的Ok ？ ...
F＃編譯器錯誤“這個表達式應該有類型單位，但這里有類型bool。”表達式在{if else}語句中
[英]F# compiler error “This expression was expected to have type unit but here has type bool.” expression in {if else} statements
我在F＃中寫了這樣一個函數： let TwistBasket (reverse: bool, quarters: int, overTwist: int byref) = overTwist <- 50 WaitForBasketReady() waitBaske ...
令人困惑的F＃編譯器消息
[英]Confusing F# compiler message
以下代碼段說明了我遇到的錯誤。 即使兩個匹配分支返回相同的東西; 我得到錯誤，“這個表達式應該有類型單位但這里有類型'a - > unit”我不知道編譯器想要什么... open System.IO let FileContent contents = match con ...
當用作通用接口參數時，為什么`unit`被F＃類型系統區別對待？
[英]Why is `unit` treated differently by the F# type system when used as a generic interface argument?
考慮這個界面： 讓我們嘗試使用int作為泛型參數來實現它： 現在，讓我們嘗試一個參數unit ： 現在，如果我們定義一個非泛型接口，一切都運行良好： 有什么辦法可以解決這個問題嗎？ ...
可觀察的F＃SQL插入
[英]F# SQL Insert in Observable
我有一個SQL Server CE數據庫，正在嘗試使用事件中的值進行更新，但是當我嘗試從可觀察到的事件中進行插入時，控制台會打印出 <null> 有人知道為什么是這樣嗎？ 在可觀察范圍之外的代碼： 返回<null>的代碼，也要注意最后的pr ...
Rust 中單位類型的用途是什么？
[英]What is the purpose of the unit type in Rust?
Rust 具有單位類型, () ，這是一種具有單個零大小值的類型。 此單位類型的值也使用()指定。 單位類型及其價值的用途是什么？ 它是一種避免像其他語言那樣使用null （或nil ）的機制嗎？ ...
F＃這個表達式應該有'unit'類型，但是'bool'類型
[英]F# This expression should have type 'unit', but has type 'bool'
我有以下代碼 我想要做的是查看myobj.Property1是否為null，如果不是，則單獨保留它，否則創建SomePropertyType類型的新對象並分配它。 問題是，我得到了 而我應該做的。如果我不得不把那些myobj.Property1 ....報表的多個下那if ...