Запитання з тегом «haskell»

Закрито . Це питання ґрунтується на думці . Наразі відповіді не приймаються. Хочете вдосконалити це питання? Оновіть питання, щоб на нього можна було відповісти фактами та цитатами, відредагувавши цю публікацію . Закрито 4 роки тому . Чому тип Scala Option не називається Можливо, так само, як і в Haskell? Можливо, …

13 language-design  haskell  scala  naming-standards  monad 

Редагувати: Я трохи перефразую питання. Мабуть, я викликав деяку плутанину, тому що я не розумів, що термін " деструктор" використовується в ООП для чогось зовсім іншого - це функція, яку викликають при знищенні об'єкта. У функціональному програмуванні ми (намагаємось) уникати змінного стану, щоб такого еквіваленту не було. (Я додав відповідний …

13 terminology  functional-programming  haskell  data 

Я залишив роботу (переїхати до іншої країни), де більшість часу програмував у Javascript та Haskell (якийсь пітон). Мені це дуже сподобалось, бо люди були об’єктивними, позитивними, математичними і все-таки отримали купу речей. Це був справді професійний магазин. Зараз я працюю в магазині Agile / XP. Хоча це добре, і я …

13 ruby  haskell  agile 

Наразі це запитання не підходить для нашого формату запитань. Ми очікуємо, що відповіді будуть підкріплені фактами, посиланнями або експертними знаннями, але це питання, ймовірно, вимагатиме дискусій, аргументів, опитувань чи розширеної дискусії. Якщо ви вважаєте, що це питання можна вдосконалити та, можливо, знову відкрити, відвідайте довідковий центр для ознайомлення . Закрито …

13 learning  functional-programming  lisp  haskell  recursion 

Чи можна використовувати статичні або залежні типи, щоб довести функцію ідентично? Я шукав відповіді в Google та різних місцях на StackOverflow / StackExchange, не пощастивши. Найближчою я знайшов цю розмову про Ідріс: https://groups.google.com/forum/#!topic/idris-lang/yp7vrspChRg На жаль, це обговорення трохи над головою.

12 haskell 

Ось проста проблема програмування від SPOJ: http://www.spoj.com/problems/PROBTRES/ . В основному, вас просять вивести найбільший цикл Колатца для чисел між i і j. (Цикл Колатца з числа $ n $ - це кількість кроків, щоб в кінцевому підсумку отримати від $ n $ до 1.) Я шукав спосіб Haskell вирішити проблему …

12 programming-practices  functional-programming  haskell 

У Haskell функтор класу типу Functor визначається наступним чином (див., Наприклад, вікі Haskell ): class Functor (f :: * -> *) where fmap :: (a -> b) -> f a -> f b Наскільки я розумію (будь ласка , поправте мене , якщо я помиляюся), такий функтор може мати тільки …

12 haskell 

(зауважте, я ставлю питання тут, оскільки це стосується концептуальної механіки цього, а не проблеми кодування) Я працював над невеликою програмою, яка використовувала послідовність цифр розрядів у своєму зрівнянні, але я помітила, що якщо я пережила певну кількість, вона стає болісно повільною, гуляючи трохи, натрапила на техніку в Haskell, відому як …

12 haskell  recursion 

Я вивчаю функціональне програмування з Haskell . Тим часом я вивчаю теорію автоматів, і як вони, здається, добре поєднуються разом, я пишу невеличку бібліотеку, щоб пограти з автоматами. Ось проблема, яка змусила мене задати питання. Під час вивчення способу оцінки досяжності стану я зрозумів, що простий рекурсивний алгоритм буде досить …

12 algorithms  functional-programming  haskell 

Тож я роблю досить залучений клієнт JavaScript / html з великою кількістю викликів ajax та інших прихильностей зворотного виклику. Мене розважає думка про використання Фей для цієї мети. Я знаю про В'яза. Спробував це і сподобалось елементам FRP. Тепер я хочу дізнатися, чи можлива подібна структура у Фей. Чи є …

12 javascript  functional-programming  haskell  paradigms 

Я збираюся розпочати проект моделювання / моделювання. Я вже знаю, що OOP використовується для подібних проектів. Однак вивчення Haskell змусило мене розглянути можливість використання парадигми FP для моделювання системи компонентів. Дозвольте мені детальніше: Скажімо, у мене є компонент типу A, який характеризується набором даних (такий параметр, як температура чи тиск, …

12 c++  object-oriented  functional-programming  haskell  modeling 

Зрештою, як це зробив FP, зрештою, всі наші програми структуровані. Тобто, не має значення, наскільки чистими чи функціональними ми їх робимо - вони завжди переводяться на збірку, тому те, що насправді працює за капотами, - це інструкції, стани та петлі. Ми наче наслідуємо FP. Як апаратний ноб, моє питання: чому …

12 functional-programming  computer-science  haskell  lisp  clojure 

Інтуїція необов'язкового типу типу Maybe Intє те, що або немає Int (таким чином, є Nothingтам), або що є якийсь Int; є щось там. Для мене є сенс, що ми називаємо конструктор типу для "негативного" випадку Nothing, оскільки це означає саме те - що його там немає Int. Але навіщо вживати …

11 functional-programming  haskell  data-types  null 

Я хочу визначити клас типу для геометричних об'єктів, які можна перетинати між собою: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies Ідея полягає у тому, щоб мати функції перетину загального призначення, які можуть обробляти об'єкти …

11 haskell  type-systems  typeclass 

Ми реалізуємо бібліотеку стиснення матриць на основі модифікованого синтаксису двомірної граматики. Зараз у нас є два підходи для наших типів даних - який буде кращим у випадку використання пам'яті? (ми хочемо щось стиснути;)). Граматики містять NonTerminals з точно 4-ма творами або терміналом праворуч. Нам потрібні назви виробництва для перевірки рівності …

11 functional-programming  haskell  memory  grammar