«haskell» 태그된 질문

기능적인 프로그래밍 언어

2
Haskell위원회는 왜 I / O를 나타내는 모나드를 선택 했습니까?
깨끗한 언어는 사용하는 독특한 형식을 순수하게 기능 설정에서 I에게 / O를 처리 할 수 있습니다. 하스켈위원회는 왜 모나드 와 함께 갔 습니까? 위원회가 조사했지만 반대 한 국가를 다루기위한 다른 제안이 있었습니까? 참고 : 저는 모나드와 다른 형태의 컴퓨팅 사이의 거룩한 전쟁을 찾고 있지 않습니다. I / O에 관한위원회의 선택에 대해서만 …
12
기능 프로그래밍 소개를위한 Scheme vs Haskell?
나는 C와 C #에서의 프로그래밍에 익숙하고 앞으로 C ++를 탐구 할 것이다. 함수형 프로그래밍을 다른 프로그래밍 패러다임으로 탐색하는 데 관심이있을 수 있습니다. 나는 이것을 재미있게하기 위해 노력하고 있으며, 직업에는 컴퓨터 프로그래밍이 필요하지 않으며, 대학의 컴퓨터 과학 과정에서 상당히 일찍 가르치는 기능적 프로그래밍의 사용에 다소 고무되어 있습니다. 람다 미적분학은 확실히 나의 …
7
하스켈 타입 시스템은 함수형 프로그래밍을 이해하는 데 방해가됩니까? [닫은]
다른 언어 (주로 Grovy, Python, JavaScript)로 얻은 통찰력을 적용 할 것으로 기대하면서 함수형 프로그래밍을 이해하기 위해 Haskell을 공부하고 있습니다. 나는 매우 순전히 기능적이고 국가에 대한 의존을 허용하지 않을 것이라는 인상을 받았기 때문에 Haskell을 선택합니다. 나는 매우 엄격한 유형의 시스템을 탐색하는 데 관심이 있었기 때문에 Haskell을 배우기로 선택하지 않았습니다. 제 질문은 …
2
프로그램의 디자인에 덴 타셔 널 시멘틱스 적용
저는 DS ( denotational semantics ) 에 대해 조금 읽었 으며 유형과 기능이 수학에 강력하고 명확하게 매핑되는 컴퓨터 프로그램을 설계하는 과정에 매우 흥미가 있습니다. DS를 기반으로 한 프로그램 설계에 대해 자세히 설명하는 자료가 있습니까? 나는 그 주제에 대한 몇 가지 피상적 치료를 보았다. 나는 Haskell, Scala, Common Lisp 및 약간의 …
30 scala  haskell  scheme 
8
게으른 평가의 개념이 유용한 이유는 무엇입니까?
보인다 게으른 평가 식의 자신의 코드가 실행되는 순서 이상 잃을 제어 프로그래머가 발생할 수 있습니다. 프로그래머가 왜 이것이 수용 가능하거나 원하는지 이해하는 데 어려움이 있습니다. 언제, 어디서 식을 평가할 지 보장 할 수없는 경우,이 패러다임을 사용하여 예상대로 작동하는 예측 가능한 소프트웨어를 구축 할 수 있습니까?
3
웹 서비스를위한 Haskell vs Erlang
나는 기능적 언어를 사용하여 실험 프로젝트를 시작하고 Erlang과 Haskell 사이를 결정하려고 노력하고 있으며, 둘 다 내가 정말 좋아하는 점이 있습니다. 하스켈의 강력한 타입 시스템과 순도를 좋아합니다. 정말 안정적인 코드를 작성하는 것이 더 쉬워 질 것 같습니다. 그리고 Haskell의 힘이 내가하고 싶은 일을 훨씬 쉽게 해줄 것이라고 생각합니다. 마이너스 측면에서 나는 …
8
예를 들어, 대규모 웹앱에 "강력한"유형의 시스템을 사용합니까?
나는 이것이 매우 광범위하고 모호하며 아마도 철학적 인 질문이라는 것을 알고 있습니다. 어느 정도까지는 "강력한"유형 시스템 자체라는 질문에서 가장 중요한 키워드는 잘못 정의되어 있습니다. 그래서 내가 의미하는 바를 설명하려고 노력하겠습니다. 질문에 대한 전반적인 맥락 우리는 Ruby on Rails에서 매우 큰 규모의 웹 앱을 구축해 왔으며 일반적으로 스택에 만족합니다. 우리가 원할 …
3
모나드를 보는 다른 방법
하스켈을 배우는 동안 모나드가 무엇인지, 하스켈에서 모나드가 중요한 이유를 설명하려는 많은 튜토리얼에 직면했습니다. 그들 각각은 비유를 사용했기 때문에 의미를 이해하기가 더 쉬울 것입니다. 하루가 끝나면 모나드가 무엇인지에 대한 3 가지 견해로 끝납니다. 보기 1 : 모나드를 레이블로 때로는 모나드가 특정 유형의 레이블이라고 생각합니다. 예를 들어 다음과 같은 유형의 함수가 있습니다. …
4
Haskell의 리턴 타입-(유일)-다형성이 좋은가요?
Haskell에서 절대로 언급하지 않은 한 가지는 입력 유형으로 반환 유형을 결정할 수없는 다형성 상수 및 함수를 얻는 방법입니다. class Foo a where foo::Int -> a 내가 이것을 좋아하지 않는 이유 중 일부 : 참조 투명성 : "Haskell에서 동일한 입력이 주어지면 함수는 항상 동일한 출력을 반환합니다." 컨텍스트 read "3"에서 사용될 때는 …
2
Chris Okasaki의 1996 년 논문과 1999 년 책 순수 기능 데이터 구조의 내용 차이는 무엇입니까? [닫은]
닫은. 이 질문은 주제에 맞지 않습니다 . 현재 답변을받지 않습니다. 이 질문을 개선하고 싶습니까? Software Engineering Stack Exchange에 대한 주제가 되도록 질문을 업데이트하십시오 . 휴일 3 년 전 . 순전히 기능적인 데이터 구조를 읽고 싶습니다. 논문 (PDF로 무료로 제공)을 쉽게 찾을 수 있지만 , 책이 있습니다 . 따라서이 두 간행물의 …
1
Haskell 프로덕션 코드에서 seq는 얼마나 자주 사용됩니까?
Haskell에서 작은 도구를 작성 한 경험이 있으며 특히 interact표준 입력을 처리하고 표준 출력으로 파이프하는 필터를 작성하는 데 매우 직관적 입니다. 최근에 평소보다 약 10 배 큰 파일에 이러한 필터를 사용하려고 시도했는데 Stack space overflow오류가 발생했습니다. 약간의 독서를 한 후에 (예를 들어 here 와 here ) 스택 공간을 절약하기위한 두 가지 …
1
Hindley-Milner 추론이 Go 언어에서 작동 할 수 있습니까?
나는 읽었습니다 힌들리 - 밀너는 서브 클래스가 타입 시스템으로 작업을하지 않으며, 또한 잘 작동하지 않는 다른 유형의 시스템 기능이 있습니다. Go는 현재 :=연산자 에서 형식 유추가 매우 제한되어 있습니다. 그러나 Go에는 전통적인 의미의 하위 클래스가 없으며 Hindley-Milner 추론에서 잘 작동하는 Haskell의 유형 클래스와 매우 유사한 인터페이스 만 있습니다. 따라서 Hindley-Milner …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.