1
ответ
«Тип возврата несовместим» / Ошибка модуля родного объявления в аппликативном экземпляре
Я читаю книгу Кристофера Аллена и Джулии Моронуки «Программирование на Хаскеле с первых принципов» и пытаюсь реализовать код и примеры во Фреге. К сожалению, я сталкиваюсь с ошибками компиляции ...
вопрос задан: 16 January 2019 08:10
0
ответов
Может ли программа C / C ++ SEG-неисправность от чтения прочень до конца массива (Unix)?
Я знаю, что вы можете прочитать мимо конца массива - мне сейчас интересно, если сможете SEG-неисправность просто выполняя эту операцию чтения, хотя. int amotts [100];
std :: cerr << quotitts [100] <... [
вопрос задан: 10 August 2017 06:32
0
ответов
Выполняет ли Фреге оптимизацию хвостовых вызовов?
Оптимизированы ли хвостовые вызовы в Frege. Я знаю, что нет TCO ни в Java, ни в языках, которые компилируются в байт-код JVM, таких как Clojure и Scala. А Фреге?
вопрос задан: 22 July 2016 21:46
0
ответов
Фреге, эквивалент getLine и read в Haskell
Есть ли у Фреге эквивалент getLine и read для анализа ввода с консоли в стандартной библиотеке? Сейчас я делаю это так: import frege.IO getLine :: IO String
...
вопрос задан: 29 March 2013 00:06
0
ответов
Выражение нетерпеливого во Фреге, но ленивого в Хаскеле?
В Haskell следующий код выводит "[1,2,3,4,5" :foo = take 10 $ show $ numbersFrom 1 где numberFrom start = start :numberFrom (start + 1)--мог бы использовать [1..] Но у Фреге, Оно бросает...
вопрос задан: 15 August 2012 01:00
0
ответов
Как работают классы Фреге?
Кажется, что идеи Фреге о классах типов значительно отличаются от Хаскеля. В частности: Синтаксис кажется другим по непонятной причине.
Типы функций не могут иметь экземпляров классов. ...
вопрос задан: 10 May 2012 13:11
0
ответов
Есть ли веская причина, по которой у `deleteBy` нет своего наиболее общего типа?
В отчете о языке Haskell 2010 говорится в разделе 20.10. .1.1 что: deleteBy :: (a -> a -> Bool) -> a -> [a] -> [a] Фактически, реализация в библиотеке GHC позволит deleteBy ...
вопрос задан: 25 January 2012 15:21