background preloader


The Haskell Programming Language Haskell is an advanced purely-functional programming language. An open-source product of more than twenty years of cutting-edge research, it allows rapid development of robust, concise, correct software. With strong support for integration with other languages, built-in concurrency and parallelism, debuggers, profilers, rich libraries and an active community, Haskell makes it easier to produce flexible, maintainable, high-quality software. News Upcoming Events Hac NYC April 4-6, 2014, New York City, US Budapest Hackathon 2014 May 31 - June 1, 2014, Budapest, Hungary ZuriHac 2014 June 6-8, 2014, Zurich, Switzerland HaL-9 June 20, 2014, Halle, Germany 6th Utrecht Summerschool on Applied Functional Programming July 7-18, 2014, Utrecht, The Netherlands Recent Events Functional Programming eXchange 2014

Related:  HaskellLangages de programmation

Composing Reactive Animations Conal Elliott Microsoft Research Graphics Group Copyright 1998 We have all seen a lot of wonderful looking computer graphics, and many of us have spent time playing video games or watching our kids (or their kids) play them. It is clear that computer graphics, especially interactive graphics, is an incredibly expressive medium, with potential beyond our current imagination.

Type theory In mathematics, logic, and computer science, a type theory is any of a class of formal systems, some of which can serve as alternatives to set theory as a foundation for all mathematics. In type theory, every "term" has a "type" and operations are restricted to terms of a certain type. Two well-known type theories that can serve as mathematical foundations are Alonzo Church's typed λ-calculi and Per Martin-Löf's intuitionistic type theory. History[edit] Digilent Nexys2 - Hamsterworks Wiki! From Hamsterworks Wiki! The Digilent Nexys2 is a great little FPGA development board from Digilent Inc ( It has a Spartan-3E 500 Gate Array, RAM and Flash, and a lot of useful switches, LEDs and buttons. I think it is the best choice in "bang for buck" when starting out.

ometa/ OMeta is a new object-oriented language for pattern matching. It is based on a variant of Parsing Expression Grammars (PEGs) which we have extended to handle arbitrary data types. OMeta's general-purpose pattern matching facilities provide a natural and convenient way for programmers to implement tokenizers, parsers, visitors, and tree transformers, all of which can be extended in interesting ways using familiar object-oriented mechanisms. I am about to release a new version of OMeta/Squeak. Read all about it (and download the release candidate) here. Documentation

Typeclassopedia By Brent Yorgey, Originally published 12 March 2009 in issue 13 of the Monad.Reader. Ported to the Haskell wiki in November 2011 by Geheimdienst. FPGA course - Hamsterworks Wiki! From Hamsterworks Wiki! This course is currently a work in progress, but aims to be a quick start for hobbyists new to using FPGAs. Now available in PDF To tie in with the release of the GadgetFactory LogicStart Megawing ( I've migrated this whole project onto GitHub, and made it available in PDF form. To download the full PDF click on

CLSID Key (COM) A CLSID is a globally unique identifier that identifies a COM class object. If your server or container allows linking to its embedded objects, you need to register a CLSID for each supported class of objects. Registry Key HKEY_LOCAL_MACHINE\SOFTWARE\Classes\CLSID\{CLSID} Remarks Lua Implementations LuaDirectory > LuaAddons > LuaImplementations There are quite a few reimplementations of Lua. The simplicity of Lua is a factor in this. Haskell Haskell is a functional programming language. If you are a seasoned programmer, consult the overview to see what makes Haskell unique and different from other languages. Haskell is distinct in a few ways: Haskell is pure. A function when invoked using the same arguments will return the same result every time.Haskell is lazy. DIY RC Receiver (Serial PPM) - AI Matt When I was first getting into multirotors, I didn’t have an RC transmitter and receiver pair to control a quadcopter with. But I did have a couple XBees and a Saitek PC USB Joystick. So, I made my own RC setup and I’ll show you how. Mark I: Initial Prototype My first version was very rudimentary. It was an XBee Series 1 and an Arduino nano on the quadcopter side and on the computer side was the joystick, an FTDI Basic and another XBee.

Structure of the Registry Each key has a name consisting of one or more printable characters. Key names are not case sensitive. Key names cannot include the backslash character (\), but any other printable character can be used. Value names and data can include the backslash character. The name of each subkey is unique with respect to the key that is immediately above it in the hierarchy. Key names are not localized into other languages, although values may be.

Does category theory make you a better programmer ? How much of category theory knowledge should a working programmer have ? I guess this depends on what kind of language the programmer uses in his daily life. Given the proliferation of functional languages today, specifically typed functional languages (Haskell, Scala etc.) that embeds the typed lambda calculus in some form or the other, the question looks relevant to me. And apparently to afewothers as well. In one of his courses on Category Theory, Graham Hutton mentioned the following points when talking about the usefulness of the theory : Building bridges—exploring relationships between various mathematical objects, e.g., Products and FunctionUnifying ideas - abstracting from unnecessary details to give general definitions and results, e.g., FunctorsHigh level language - focusing on how things behave rather than what their implementation details are e.g. specification vs implementationType safety - using types to ensure that things are combined only in sensible ways e.g.

Related:  Programacionsebbrochet