A Haskell to Objective-C binding. Allows access to Apple's Cocoa API from the non-strict functional programming language Haskell.
HOC: A Haskell to Objective C Binding
A Haskell to Objective-C binding. Allows access to Apple's Cocoa API from the non-strict functional programming language Haskell.
O'Reilly Media - Technology and Business Training
More than 5,000 companies count on our digital courses and more to guide their teams through the tools and technologies that drive business outcomes. We can help yours too. New AI policy for O’Reilly authors and talent O’Reilly president Laura Baldwin shares the company’s ethical approach to leveraging GenAI tools and ensuring O’Reilly experts are compensated for their work. See it now It’s time t
Formal methods: Reverse
Introduction This is a brief introduction to some small program proofs in Haskell and Isabelle/HOL. The material in this lesson borrow heavily from the Isabelle tutorial [Isabelle] and chapter 13 of Programming in Haskell [Hutton]. This small lesson will focus on a function for reversing lists. Here's a Haskell function for reversing a list: reverse :: [a] -> [a] reverse [] = [] reverse (x:xs) = r
Martin Erwig's Home Page
Research My research interests are centered around the following topics: Language Design and Domain-Specific Languages Functional Programming Visual Languages CS Education An overview of some of my research projects can be found here. Activities I am an Editorial Board Member of the Journal of Computer Languages, an Associate Editor of the Journal of Visual Language and Computing, and a member of
Radar - O’Reilly
Now, next, and beyond: Tracking need-to-know trends at the intersection of business and technology AI/ML Few technologies have the potential to change the nature of work and how we live as artificial intelligence (AI) and machine learning (ML). Future of the Firm Everything from new organizational structures and payment schemes to new expectations, skills, and tools will shape the future of the fi
Video presentations - HaskellWiki
Collected videos of Haskell tutorials and conference presentations, sorted by topic. For more recent videos, check: The Haskell Vimeo Channel The Galois Tech Talk Vimeo Channel Haskell videos on MSDN Channel 9 Maintained by the community. Introductions to Haskell Part 1 (Download) (On YouTube) Part 2 (Download) (On YouTube) Slides Simon Peyton-Jones, OSCON, July 2007. Haskell is the world's leadin
HOC: A Haskell to Objective C Binding
Everything You Need To Provide Complete Visibility Into Your Data Center And Cloud Infrastructure Designed by engineers with IT experience to discover, document, and manage medium and large datacenters. Featuring an intuitive web-based interface, Device42 actionable insight into enterprise infrastructures, with clearly identified hardware, software, service, and network interdependencies, powerful
Martin Berger's Homepage
The interview with Robin Milner has moved! Please update your bookmarks.
Haskell and mathematics - HaskellWiki
Haskell is growing in popularity among mathematicians. As one blogger put it: "after my involving myself in the subject, one thing that stands out is the relatively low distance between thought expressed in my ordinary day-to-day mathematical discourse, and thought expressed in Haskell code." and "How can Haskell not be the programming language that all mathematicians should learn?" This page coll
Blog articles/Mathematics - HaskellWiki
Articles using Haskell for mathematics, and the mathematics of Haskell. For further references see the: Haskell math community. Mathematics of monads Haskell for mathematics General Eleven Reasons to use Haskell as a Mathematician Haskell for Maths: commutative algebra, combinatorics, number theory, and group theory libraries (blog, hackage) Learn Maths with Haskell Prototyping thought Why Haskell
evan_tech -- powerset
For those of us who found this somwhat (but not totally) unaccessible, i'd recommend reading [[Schwartzian Transform]] to get into apprximately the right head-space, then [[Monads in functional programming]]. Oh man is that hard for me to grok, mostly because I haven't internalized the list monad. avva and I were puzzling over it too; here's how we figured it out. First, in terms of types, yes, it
Type arithmetic - HaskellWiki
Type arithmetic (or type-level computation) are calculations on the type-level, often implemented in Haskell using functional dependencies to represent functions. A simple example of type-level computation are operations on Peano numbers: data Zero data Succ a class Add a b ab | a b -> ab, a ab -> b instance Add Zero b b instance (Add a b ab) => Add (Succ a) b (Succ ab) Many other representations
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Finding palindromes
Gmane -- Mail To News And Back Again
λ Tony’s blog λ » Blog Archive » Algebraic Data Types again
Gmane -- Mail To News And Back Again
Parsec Parser Testing with QuickCheck
http://cgi.cse.unsw.edu.au/~dons/blog/2007/07/31
Peano's Axioms IV: Advanced Functions and Integers
http://www.haskell.org/hawiki/TheMonadReader