«haskell» 태그된 질문

폐쇄되었습니다 . 이 질문은 의견 기반 입니다. 현재 답변을받지 않습니다. 이 질문을 개선하고 싶습니까? 이 게시물 을 편집 하여 사실과 인용으로 답변 할 수 있도록 질문을 업데이트하십시오 . 휴일 3 년 전 . 왜 스칼라 옵션 유형이 Haskell과 마찬가지로 Maybe라고 불리지 않습니까? 어쩌면 나에게 훨씬 "의미적인 의미"가 있지만 옵션은 내가 …

13 language-design  haskell  scala  naming-standards  monad 

편집 : 나는 질문을 약간 표현하고 있습니다. 분명히 소멸 자라는 용어 가 OOP에서 매우 다른 무언가에 사용 된다는 것을 알지 못했기 때문에 혼란 이 생겼습니다. 개체가 파괴 될 때 호출되는 함수입니다. 함수형 프로그래밍에서 우리는 변경 가능한 상태를 피하려고 시도하므로 이에 상응하는 것은 없습니다. (질문에 적절한 태그를 추가했습니다.) 대신, (특히 같은 …

13 terminology  functional-programming  haskell  data 

Javascript와 Haskell (일부 파이썬)으로 프로그래밍 한 작업을 다른 나라로 옮겼습니다. 나는 사람들이 객관적이고 긍정적이며 수학적이지만 많은 일을했기 때문에 정말 마음에 들었습니다. 이것은 진정한 전문 상점이었습니다. 이제 Agile / XP 상점에서 일합니다. 이것이 좋으면서도 기술과 라이브러리를 선택할 때 우리가 비전문가라고 생각합니다. 소프트웨어 작성에 대한 우리의 접근 방식은 다소 미숙하고 구조화되지 않은 …

13 ruby  haskell  agile 

현재로서는이 질문이 Q & A 형식에 적합하지 않습니다. 답변, 사실, 참고 자료 또는 전문 지식을 통해 답변이 뒷받침 될 것으로 예상되지만이 질문은 토론, 논쟁, 여론 조사 또는 광범위한 토론을 요구할 것입니다. 이 질문을 개선하고 다시 열 수 있다고 생각 되면 도움말 센터 를 방문하여 안내를 받으십시오 . 휴일 육년 전 …

13 learning  functional-programming  lisp  haskell  recursion 

함수가 dem 등하다는 것을 증명하기 위해 정적 또는 종속 유형을 사용할 수 있습니까? 나는 운이없는 답변을 찾기 위해 Google과 StackOverflow / StackExchange의 여러 곳을 검색했습니다. 내가 찾은 가장 가까운 것은 Idris에 대한 다음 대화였습니다. https://groups.google.com/forum/#!topic/idris-lang/yp7vrspChRg 불행히도, 그 논의는 내 머리 위에 조금 있습니다.

12 haskell 

다음은 SPOJ에서 간단한 프로그래밍 문제 http://www.spoj.com/problems/PROBTRES/는 . 기본적으로 i와 j 사이의 숫자에 대해 가장 큰 Collatz주기를 출력하라는 메시지가 표시됩니다. ($ n $의 콜라 츠주기는 결국 $ n $에서 1까지의 단계 수입니다.) Java 또는 C ++보다 비교 성능 문제를 해결하는 Haskell 방법을 찾고 있습니다 (허용 된 런타임 제한에 맞도록). 이미 계산 …

12 programming-practices  functional-programming  haskell 

Haskell에서 Functor 타입 클래스 functor는 다음과 같이 정의됩니다 (예 : Haskell Wiki 참조 ). class Functor (f :: * -> *) where fmap :: (a -> b) -> f a -> f b 지금까지 내가 (만약 내가 잘못 나 수정하시기 바랍니다) 이해, 이러한 펑은 카테고리가 타입 생성자를 사용하여 구성 대상 …

12 haskell 

(코딩 문제가 아닌 개념적 역학에 관한 것이기 때문에 여기서 질문하고 있습니다) 나는 작은 규모의 피보나치 수를 사용하는 작은 프로그램을 연구하고 있었지만 특정 수를 초과하면 고통스럽게 느려졌으며 약간의 인터넷 검색이 Haskell의 기술을 우연히 발견했습니다 Memoization. 그들은 다음과 같이 작동하는 코드를 보여주었습니다. -- Traditional implementation of fibonacci, hangs after about 30 slow_fib …

12 haskell  recursion 

Haskell 과 함께 기능 프로그래밍을 배우고 있습니다 . 그 동안 나는 오토마타 이론을 공부하고 있고 두 사람이 잘 어울리는 것처럼 오토마타와 함께 연주 할 작은 도서관을 쓰고 있습니다. 여기 질문을 한 문제가 있습니다. 상태의 도달 가능성을 평가하는 방법을 연구하는 동안 간단한 재귀 알고리즘이 상당히 비효율적이라는 아이디어를 얻었습니다. 일부 경로는 일부 …

12 algorithms  functional-programming  haskell 

그래서 나는 많은 아약스 호출과 다른 콜백주의와 관련된 상당히 자바 스크립트 / HTML 클라이언트를하고 있습니다. 이 목적으로 Fay를 사용한다는 생각을 즐겁게하고 있습니다. 엘름을 알고 있습니다. 그것을 시도하고 FRP 요소를 좋아했습니다. 이제 Fay에서 비슷한 구조가 가능한지 알고 싶습니다. 이 시점에서 Fay에 FRP의 구체적인 예가 있습니까? 관련 기술 : 자바 스크립트에서 Arrowlet …

12 javascript  functional-programming  haskell  paradigms 

시뮬레이션 / 모델링 프로젝트를 시작하려고합니다. OOP가 이런 종류의 프로젝트에 사용된다는 것을 이미 알고 있습니다. 그러나 Haskell을 연구하면서 구성 요소 시스템을 모델링하기 위해 FP 패러다임을 사용하는 것을 고려했습니다. 좀 더 자세히 설명하겠습니다 : 데이터 세트 (온도 또는 압력과 같은 매개 변수, PDE 및 일부 경계 조건 등)를 특징으로하는 유형 A의 구성 …

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

FP가했던 것처럼, 결국 우리의 모든 프로그램은 구조화되어 있습니다. 즉, 우리가 그것들을 얼마나 순수하거나 기능적으로 만드는지는 중요하지 않습니다. 그것들은 항상 어셈블리로 변환되므로 실제로 후드 뒤에서 실행되는 것은 명령, 상태 및 루프입니다. 우리는 FP를 모방하고 있습니다. 하드웨어 멍청한 놈으로서, 제 질문은 : 실제로 기능적인 스타일로 물건을 계산하는 컴퓨터 아키텍처를 사용하지 않는 이유는 …

12 functional-programming  computer-science  haskell  lisp  clojure 

같은 옵션 형태의 직관 Maybe Int중 하나 없다는 것입니다 더 지능 (따라서, 거기 Nothing가) 또는이 있다는 일부 지능; 뭔가가 있습니다. 우리가 "부정적"사례에 대한 타입 생성자를 호출한다는 것은 나에게 의미가 있습니다 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 아이디어는 다른 유형의 객체를 처리 할 수있는 범용 교차 함수를 갖는 것입니다. 예를 들어 instance Intersect Line …

11 haskell  type-systems  typeclass 

우리는 수정 된 2 차원 문법 구문에 기초하여 행렬 압축 라이브러리를 구현하고 있습니다. 이제 데이터 유형에 대한 두 가지 접근 방식이 있습니다. 메모리 사용시 어떤 것이 더 좋을까요? (우리는 무언가를 압축하고 싶다). 문법에는 정확히 4 개의 프로덕션이있는 비 터미널 또는 오른쪽에 터미널이 포함되어 있습니다. 평등 확인 및 문법 최소화를 위해서는 …

11 functional-programming  haskell  memory  grammar