Personal tools

Lambdabot

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(fmt)
(add security reference)
Line 67: Line 67:
 
For more info, see the sources or ask the bot itself. If you have any
 
For more info, see the sources or ask the bot itself. If you have any
 
questions about Lambdabot, ask on the #haskell irc channel.
 
questions about Lambdabot, ask on the #haskell irc channel.
  +
  +
=== How can it securely execute Haskell, on the Web? ===
  +
  +
see [[Safely running untrusted Haskell code]]
   
 
=== @version ===
 
=== @version ===

Revision as of 16:23, 26 May 2007

Lambdabot

Lambdabot is an IRC bot written over several years by those on the #haskell IRC channel. It also operates in an offline mode as a Haskell development tool, and embedded as an extension to ghci.

Lambdabot lives here. Lambdabot's source is available via a darcs repository, here

Lambdabot is written in Haskell, and supports plugins for adding new commands. It has many plugins, including:

  • Haskell evaluation (with persistent declarations)
  • Hoogle interface
  • Pointfree refactoring
  • A theorem prover, Djinn.
  • Two free theorems generators
  • A testing rig using QuickCheck
  • Another test rig using SmallCheck
  • A lambda calculus interpreter
  • A unlambda interpreter
  • A bf interpreter
  • Haskell type and kind checking
  • Dynamic plugin composition
  • Haskell library source lookup
  • Language translation
  • Quotes
  • Todo lists
  • Irc functions
  • Darcs patch tracking
  • A vixen/eliza personality
  • Random dice
  • Project database
  • Dictionary lookups
  • Karma tracking
  • User poll and election support
  • Search google, wikipedia and more
  • Spell checking
  • Tiny url generation
  • Much more...

Contents

1 Interacting with the Bot

Almost all commands start with an @ or ?. A command is invoked by writing @<command-name> [args]. For example @type map

will make lambdabot respond with
(a -> b) -> [a] -> [b]
.

The special command @run has a synonym >, meaning that you can evaluate Haskell expressions dynamically with:

 > map (+1) [1..10]
 [2,3,4,5,6,7,8,9,10,11]

Good commands to know are @help and @list. The full command list is here.

2 Contributing

Lambdabot is an open-source application. The @version command provides details on where to find the source. Anyone may write a plugin. To submit a plugin, use darcs send to submit it to the bot's current maintainer.

For more info, see the sources or ask the bot itself. If you have any questions about Lambdabot, ask on the #haskell irc channel.

3 How can it securely execute Haskell, on the Web?

see Safely running untrusted Haskell code

4 @version

A list of various lambdabots over time.

  #haskell                       lambdabot 4p255,  GHC 6.5 (OpenBSD i386)
  #haskell                       lambdabot 4p172,  GHC 6.5   (OpenBSD i386)
  #haskell                       lambdabot 3p396,  GHC 6.4.1 (Linux i686 3.20GHz)
  #haskell                       lambdabot 2p200,  GHC 6.4 (OpenBSD i386)
  #haskell                       lambdabot ghc-6.2.2 (Mar 30 20:48:23 EST 2005)  (OpenBSD i386)
  #maya                          lambdabot 3.1p48, GHC 6.5   (OpenBSD i386)
  #dutchhack (irc.cyberarmy.net) lambdabot 3p399,  GHC 6.4.1 (Linux sparc64)