«haskell» 태그된 질문

Haskell에서 신경망 아키텍처를 구현하고 MNIST에서 사용하려고합니다. hmatrix선형 대수 패키지를 사용하고 있습니다. 내 교육 프레임 워크는 pipes패키지를 사용하여 빌드 됩니다. 내 코드가 컴파일되고 충돌하지 않습니다. 그러나 문제는 레이어 크기 (예 : 1000), 미니 배치 크기 및 학습률의 특정 조합 NaN이 계산 값을 생성한다는 것입니다. 몇 가지 검사 후 극히 작은 값 …

329 algorithm  haskell  neural-network  backpropagation 

시나리오는 다음과 같습니다. 유형 서명으로 일부 코드를 작성했으며 GHC는 일부 x및에 대해 x ~ y를 추론 할 수 없다고 불평 y합니다. 일반적으로 GHC에 뼈를 던지고 단순히 함수 제약 조건에 동형을 추가 할 수는 있지만 몇 가지 이유로 나쁜 생각입니다. 코드 이해를 강조하지 않습니다. 하나가 충분할 경우 5 개의 제약 조건으로 …

322 haskell  constraints  ghc 

다음 forall과 같이 소위 "존재 유형"에서 키워드가 사용되는 방식을 이해하기 시작 했습니다. data ShowBox = forall s. Show s => SB s 그러나 이것은 forall사용 방법의 일부일 뿐이며 다음과 같은 용도로 내 마음을 감쌀 수는 없습니다. runST :: forall a. (forall s. ST s a) -> a 또는 왜 이것이 …

312 haskell  syntax  types  ghc  forall 

어떻게합니까 약한 헤드 정규형 (WHNF) 평균? 무엇합니까 헤드 일반 양식 (HNF)과 정규형 (NF) 평균? 실제 하스켈 주 : 익숙한 seq 함수는 head normal form (약어 HNF)에 대한 표현식을 평가합니다. 가장 바깥 쪽 생성자 ( "헤드")에 도달하면 중지됩니다. 이는 정규식 (NF)과 다르며식이 완전히 평가됩니다. 또한 Haskell 프로그래머가 약한 헤드 정규 형식 …

290 haskell  definition  strictness  weak-head-normal-form 

대수 데이터 유형에 대한 '대수'표현은 수학 배경 지식이있는 사람에게 매우 암시 적으로 보입니다. 내가 의미하는 바를 설명하려고 노력하겠습니다. 기본 유형을 정의한 경우 생성물 • 노동 조합 + 하나씩 일어나는 것 X 단위 1 그리고 속기를 사용 X²하기위한 X•X및 2X대한 X+X등등, 우리는 연결리스트를 예에 대한 대수식을 정의 할 수 있습니다 data …

289 haskell  functional-programming  algebraic-data-types  miranda 

Haskell에서 FRP를 공부하고 싶지만 사용할 라이브러리를 결정하기가 약간 어렵습니다. 많은 사람들이 죽은 시도 인 것처럼 보이고 일부는 부활 된 것 같습니다 (예 : Yampa에서의 최근 활동). 내가 읽은 바에 따르면 FRP에는 한쪽에 푸시 풀 FRP (반응성 바나나와 같은)와 다른쪽에 화살표가있는 FRP (Yampa와 같은)의 두 가지 종류가 있습니다. Fran과 FrTime 당시에는 …

264 haskell  frp  reactive-banana  yampa 

실제 프로젝트를 사용하여 Haskell을 배우려고 할 때 다음 정의를 보았습니다. 각 논점 앞에서 느낌표가 무엇을 의미하는지 이해하지 못하며 제 책에서 언급하지 않은 것 같습니다. data MidiMessage = MidiMessage !Int !MidiMessage

261 haskell  syntax  lazy-evaluation 

템플리트 Haskell이 유형 클래스에 선언 된 연관된 유형 동의어의 이름 및 / 또는 선언을 찾을 수 있습니까? 나는 reify내가 원하는 것을 할 것으로 예상 했지만 필요한 정보를 모두 제공하지는 않습니다. 함수 유형 서명을 얻는 데 효과적입니다. % ghci GHCi, version 7.8.3: http://www.haskell.org/ghc/ :? for help ... Prelude> -- I'll be …

257 haskell  template-haskell  type-families  reify  associated-types 

템플릿 Haskell은 종종 Haskell 커뮤니티에서 불행한 편의로 여겨지는 것 같습니다. 이와 관련하여 내가 관찰 한 것을 정확하게 말하기는 어렵지만 몇 가지 예를 고려하십시오. Haskell 템플릿 은 사용자가 어떤 Haskell (GHC) 확장 프로그램을 사용해야합니까? 템플릿 Haskell 은 새로운 유형의 값 스레드 의 Unboxed Vectors 에서 임시 / 열등한 솔루션을 고려했습니다 (라이브러리 …

252 haskell  template-haskell 

Haskell ( GHC컴파일러 포함)은 예상보다 훨씬 빠릅니다 . 올바르게 사용하면 저수준 언어에 가까워 질 수 있습니다. (하스 켈러가 가장 좋아하는 일은 C의 5 % 이내에서 시도하는 것입니다 (또는 이길 수도 있지만 GHC가 Haskell을 C로 컴파일하기 때문에 비효율적 인 C 프로그램을 사용하고 있음을 의미합니다). 내 질문은 왜? Haskell은 선언적이며 람다 미적분학을 …

247 performance  haskell  ghc  higher-order-functions  lambda-calculus 

이 뉴스의 두 Haskell 웹 프레임 워크는 최근 Yesod (0.8)와 Snap (0.4)입니다. Yesod가 현재 Snap보다 더 많은 기능을 지원한다는 것은 분명합니다. 그러나 HTML, CSS 및 Javascript에 Yesod가 사용하는 구문을 견딜 수 없습니다. 그래서 Snap 대신에 잃어버린 것을 이해하고 싶습니다. 예를 들어 데이터베이스 지원이없는 것 같습니다. 세션은 어떻습니까? 다른 기능들?

231 haskell  web-frameworks  yesod  haskell-snap-framework 

Haskell을 배우고 Haskell 목록의 성능 차이와 (언어 삽입) 배열에 대한 기사를 읽습니다. 학습자이기 때문에 분명히 성능 차이에 대해 생각하지 않고 목록을 사용합니다. 최근에 조사를 시작하여 Haskell에서 사용할 수있는 수많은 데이터 구조 라이브러리를 발견했습니다. 데이터 구조에 대한 컴퓨터 과학 이론에 깊이 들어 가지 않고 목록, 배열, 벡터, 시퀀스의 차이점을 설명해 주시겠습니까? …

230 haskell 

Erlang 커뮤니티는 기본적으로 비 블로킹 I / O를 수행하고 둘 이상의 프로세서 (노드 .js에 내장되지 않은 프로세서)로 배포를 쉽게 확장 할 수있는 방법이 있기 때문에 Node.js를 부러워하지 않는다고 생각합니다. http://journal.dedasys.com/2010/04/29/erlang-vs-node-js 및 Node.js 또는 Erlang에 대한 자세한 내용 하스켈은 어떤가요? Haskell은 Node.js의 이점 중 일부, 즉 멀티 스레드 프로그래밍에 의존하지 않고 …

217 multithreading  haskell  concurrency  node.js 

참고 : 이것은 / r / haskell 에서 시작된 스레드의 확장입니다. 사실부터 시작하자 : 안드로이드는 하나의 멋진 운영 체제입니다 하스켈은 지구상에서 최고의 프로그래밍 언어입니다 따라서 분명히 그것들을 결합하면 안드로이드 개발이 훨씬 나아질 것입니다. 따라서 본질적으로 안드로이드 OS 용 Haskell 프로그램을 작성하는 방법을 알고 싶습니다. 내 질문은 : Android OS에서 Haskell …

216 android  haskell  executable 

최근 에의 정의와 관련하여 syntactic-2.0 에 대한 질문을 게시했습니다 . GHC 7.6 에서이 작업을 수행했습니다 .share {-# LANGUAGE GADTs, TypeOperators, FlexibleContexts #-} import Data.Syntactic import Data.Syntactic.Sugar.BindingT data Let a where Let :: Let (a :-> (a -> b) :-> Full b) share :: (Let :<: sup, sup ~ Domain b, …

212 haskell  ghc