Haskell eXchange 2015 | Skills Matter
Featuring two days of talks, demos and discussions, the Haskell eXchange is an opportunity for Haskellers to meet, talk, learn, share skills and exchange ideas. Everyone is welcome to join, whether an expert or a beginner, whether commercial user, academic or hobbyist. Line Up 2015 View this year's speakers, topics and workshops/tutorials here. The Haskell eXchange is an independent conference org
From Lenses to Yoneda Embedding
From Lenses to Yoneda Embedding Posted by Bartosz Milewski under Category Theory, Functional Programming, Haskell, Lens, Programming [6] Comments Lenses are a fascinating subject. Edward Kmett’s lens library is an indispensable tool in every Haskell programmer’s toolbox. I set out to write this blog post with the goal of describing some new insights into their categorical interpretation, but then
The Incredible Proof Machine – Blog – Joachim Breitner's Homepage
In a few weeks, I will have the opportunity to offer a weekend workshop to selected and motivated high school students1 to a topic of my choice. My idea is to tell them something about logic, proofs, and the joy of searching and finding proofs, and the gratification of irrevocable truths. While proving things on paper is already quite nice, it is much more fun to use an interactive theorem prover,
What are type families?
I just returned from yet another fantastic ICFP week. I always have a blast at the conference. It would be easy to take the conversations I had there and turn them into a full-blown research program that would easily take me to next year’s ICFP… and then rinse and repeat! But in this post, I want to focus on one particlar thorn in my side that started bothering me more than it had before: type fam
HaskellR - Programming R in Haskell
Comprehensive The full power of R's extensive standard library at your fingertips, plus virtually all CRAN packages, which work from Haskell just as they would from R. Safe Optional type annotations let you leverage the full power of Haskell's type system to program R safely. Region-based memory allocation means precise and predictable memory usage without the dangers: Haskell's type system has yo
Call C functions from Haskell without bindings - FP Complete
Because Haskell is a language of choice for many problem domains, and for scales ranging from one-off scripts to full scale web services, we are fortunate to by now have over 8,000 open source packages (and a few commercial ones besides) available to build from. But in practice, Haskell programming in the real world involves interacting with myriad legacy systems and libraries. Partially because t
Haskell Web Server in a 5MB Docker Image - FP Complete
The Problem Recently we needed to redirect all Amazon Elastic Load Balancer (ELB) HTTP traffic to HTTPS. AWS ELB doesn’t provide this automatic redirection as a service. ELB will, however, let you map multiple ports from the ELB into the auto-scaling cluster of nodes attached to that ELB. People usually just point both port 80 & 443 to a webserver that is configured to redirect traffic through the
Read Alex and Happy | Leanpub
Preface The full source code for the examples can be downloaded from Github This is a work-in-progress. Please send your comments and bug reports to jyotirmoy@jyotirmoy.net. Cover image Leafy seadragon. Image by user lecates’ on Flickr. Used under the terms of the CC BY-SA 2.0 license. The artwork for the cover page is released under a newer version of the same license and is included in the Githu
lens over tea 1
https://web.archive.org/web/20210521023726/https://artyom.me/lens-over-tea-1
Haskell for Mac OS X, self-contained relocatable GHC builds
Install Haskell on Mac without any fuss Download and unzip ghc-7.10.3-r1.zip (197MB) Move it to a stable location such as /Applications Double-click for instructions to install Xcode and add it to your Terminal's $PATH Requirements Only tested on 64-bit Mac OS X 10.10 What it includes GHC 7.10.3 cabal-install 1.22.8.0 stack 1.0.4 HTML documentation man pages A small GUI app wrapper to help you set
Exceptions in continuation-based monads
Yesod is a Haskell web framework for productive development of type-safe, RESTful, high performance web applications. May 30, 2014By Michael SnoymanView source on Github I've been meaning to write a blog post for a few weeks now about exception handling in Haskell, especially with regards to monad transformer stacks. Unfortunately, this is not that blog post, just one small aspect of it: exception
Haskell - GHC for iOS : iOSアプリをHaskellã§é–‹ç™ºã™ã‚‹ - euphonictechnologies’s diary
ã“ã“数週間ãšã£ã¨swiftを書ã„ã¦ããŸã®ã§ã™ãŒã€swift㯠書ã„ã¦ã„ã¦ã¤ã¾ã‚‰ãªã„ 言語仕様ãŒã¡ã‚‡ã£ã¨é ãŠã‹ã—ㄠオフィシャル言語ãªã®ã«IDEãŒç³ž 未æ¥ãŒè¦‹ãˆãªã„ ã¨ã€ã¶ã£ã¡ã‚ƒã‘飽ãã¦ã—ã¾ã£ãŸã®ã§ã€Haskellã§iOSアプリを書ãã¨ã„ã†èŒ¨ã®é“ã«è¡Œã£ã¦ã¿ãŸã„ã¨æ€ã„ã¾ã—ãŸã€‚ Haskellã§iOSアプリãŒã‹ã‘ã‚Œã°å…±é€šéƒ¨åˆ†ã®å‡¦ç†ã¯Haskellã®ã¾ã¾Androidã§å‹•ã‹ã™ã¨ã‹è‰²ã€…ã§ããã†ã§ã™ã€‚ã¶ã£ã¡ã‚ƒã‘Haskellã‹ã‚‰Cã«è½ã¨ã—ã¡ã‚ƒãˆã°ã©ã“ã§ã‚‚å‹•ã‹ã›ã‚‹ã¯ãšã§ã™ã€‚ã¨ã„ã†ã‚ã‘ã§è‰²ã€…探ã—ã¦ã„ãŸã¨ã“ã‚ HaskellãŒiOSをサãƒãƒ¼ãƒˆã€æ€§èƒ½ã‚’改善 ã¨ã„ã†ã‚ã‘ã§ã€å‹•ãã®ã¯å‹•ãらã—ã„。少ã—触ã£ã¦ã¿ã¦æ„Ÿã˜ã‚’掴んã§ã¿ã‚‹ã“ã¨ã«ã—ã¾ã—ãŸã€‚ã¾ãšã¯ç’°å¢ƒã‚’ã¤ãã£ã¦"Hello, world."ã§ã™ã€‚ 今回ã®å‚考資料 今回ã¯åŸºæœ¬çš„ã«ã“ã‚Œã«å¾“ã£ã¦é€²ã‚ã¦ã„ãã¾ã™ã€‚ ghc-ios/ghc-ios-scripts · Git
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
https://www.cis.upenn.edu/~jpaykin/papers/pz_linearity_monad_2017.pdf
GitHub - wyager/Neks: A dead simple networked key/value store
https://www.seas.upenn.edu/~sweirich/papers/type-app-extended.pdf
Add a type parameter! One 'simple' design change, a panoply of outcomes
Big Techday 8 - TNG Technology Consulting - Anonymous records in Haskell
GitHub - imeckler/mote
http://school.looprecur.com/
https://belle.sourceforge.net/doc/hughes95design.pdf
{{#tags}}- {{label}}
{{/tags}}