frege

    1熱度

    1回答

    我在使用多種模式的Frege中定義函數時遇到了一些問題。基本上,我通過迭代元組列表來定義映射。我已經簡化它歸結爲以下幾點: ​​ 我得到以下錯誤: E morse.fr:3: redefinition of `foo` introduced line 2 我見過的做一個函數定義使用多模式的其它例子像this,所以我不知道我做錯了什麼。爲什麼我在這裏得到一個錯誤?我是新來的弗雷格(對哈斯克爾來說

    2熱度

    1回答

    我正在使用froid來編寫Android應用程序,我似乎無法找到有關如何製作ViewPager的文檔。 我該如何做一個定製的?

    1熱度

    1回答

    在Haskell,我要開始ghci與-XNPlusKPatterns或在源文件中添加{-# LANGUAGE NPlusKPatterns #-},使這項工作: pred :: Int -> Int pred 0 = 0 pred (n + 1) = n 是n+k模式故意越過弗雷格或存在的方式來啓用它?

    1熱度

    1回答

    我正嘗試將一個簡單的Java項目移植到Frege進行實踐。我花了一些時間尋找java.nio.file.Path等的綁定。我發現https://github.com/Frege/frege/blob/master/frege/java/IO.fr,這是接近,但沒有nio那裏。接下來,我想我會用手做或嘗試https://github.com/Frege/frege-native-gen。 好吧,所以

    1熱度

    2回答

    我嘗試在第8章中運行關於Graham Hutton的「Programming in Haskell」中的函數解析器的片段,這兩個片段都在ghci和frege-repl中。 我無法使用do語法對語法分析器進行排序。 我有以下弗雷格(Haskell的版本,不同之處僅簡單item定義中不打包和解包String和Char,是一樣的,在書)定義: module Parser where type Pars

    2熱度

    1回答

    我試圖做一個仿函數實例下列數據類型: data Event t a = Event { runEvent :: t -> ([a], Event t a) } instance Functor (Event t) where fmap :: (a -> b) -> Event t a -> Event t b fmap f e = Event go where

    1熱度

    2回答

    正如標題所示,出於某種原因,調試函數時,傳遞給trace(以及其變體)函數的消息不能正確顯示。簡單地刷新stdout/stderr似乎也沒有做任何事情。 -- Makes it more like Haskell's trace debug :: String -> α -> α debug msg f = const f $ trace msg -- dummy function po

    2熱度

    1回答

    我一直在研究這個問題一段時間,但似乎有一些舊的解決方案專注於主要調用Java的frege。是否有辦法在Frege中完全編寫完整的應用/活動?如果不是,爲什麼?

    0熱度

    1回答

    在http://www.frege-lang.org/doc/index.html的javadoc似乎缺少了很多(即沒有frege.prelude包),並且看起來不是最新的。可能有一個很好的關於弗雷格的文檔,隱藏在某個地方?

    1熱度

    1回答

    假設我有一個啞巴的弗雷格函數,構造了一對Num。 newPair :: (Num α, Num β) => α -> β -> (α, β) newPair = (,) -- alternatively -- newPair x y = (x, y) 試圖從Java調用這個函數,但是,PreludeBase.CNum<α>和PreludeBase.CNum<β>的要求,除了預期Lazy<α