Difference between revisions of "IRC channel"

From HaskellWiki
Jump to: navigation, search
(Stubs for documenting bot commands)
m (haskell.tw is now haskell-tw on Libera.Chat)
 
(93 intermediate revisions by 42 users not shown)
Line 2: Line 2:
 
of users among various irc networks.
 
of users among various irc networks.
   
The Freenode IRC network hosts the large #haskell channel, and we've had
+
The Freenode IRC network used to host the very large #haskell channel, and we've had
up to 723 concurrent users (average is 655), making the channel
+
up to 1046
[http://searchirc.com/search.php?SCHANS=1&SSORT=SIZE&N=freenode the 5th largest]
+
concurrent users, making the channel consistently
of the 7000 channels on freenode (Feb 2009) and the second largest programming language channel after Python. One famous
+
[https://netsplit.de/channels/details.php?room=%23haskell&net=freenode one of the most popular]
  +
of the thousands of channels on freenode. One famous
 
resident is [[Lambdabot]], another is [http://hpaste.org hpaste] (see
 
resident is [[Lambdabot]], another is [http://hpaste.org hpaste] (see
 
the [[#Bots|Bots]] section below).
 
the [[#Bots|Bots]] section below).
  +
  +
As of May 19 2021, the #haskell channel and associated channels began to migrate to https://libera.chat/ . This process is still underway, but at this point it is recommended to join the channel there, and ''not'' freenode.
   
 
The IRC channel can be an excellent place to learn more about Haskell,
 
The IRC channel can be an excellent place to learn more about Haskell,
Line 20: Line 22:
 
As always, #haskell remains the primary place for new user questions.
 
As always, #haskell remains the primary place for new user questions.
   
--------------------------
 
  +
{| border="0"
 
  +
|+ '''#haskell visualized'''
[http://haskell.org/sitewiki/images/3/3c/Haskell-current.png [[Image:Haskell-current-small.png|thumb|The #haskell social graph, Jan 2008]]]
 
  +
|-
 
  +
| [[Image:Haskell-current.png|thumb|The social graph, Jan 2008]]
[[Image:Irc-raw.png|thumb|Daily traffic in #haskell since 2004]]
+
| [[Image:Irc-raw.png|thumb|Daily traffic since 2004]]
+
|-
[[Image:Nick-activity.png|thumb|Growth of #haskell]]
+
| [[Image:Nick-activity.png|thumb|Growth]]
+
| [[Image:Haskell-wordle-irc.png|thumb|Noun map]]
[[Image:Haskell-wordle-irc.png|thumb|Haskell noun map]]
+
|}
   
 
== Getting there ==
 
== Getting there ==
   
If you point your irc client to [irc://chat.freenode.net/haskell chat.freenode.net] and then join the #haskell channel, you'll be there. Alternately, you can try http://java.freenode.net/ or http://webchat.freenode.net/ which connects inside the browser.
+
If you point your irc client to [irc://irc.libera.chat:6697 irc.libera.chat:6697 (TLS)] and then join the #haskell channel, you'll be there. Alternately, you can try a client (some listed at [https://libera.chat/guides/clients] ) which connects inside the browser.
   
 
Example, using [http://www.irssi.org/ irssi]:
 
Example, using [http://www.irssi.org/ irssi]:
   
$ irssi -c chat.freenode.net -n myname -w mypassword
+
$ irssi -c irc.libera.chat:6697 -n myname -w mypassword
 
/join #haskell
 
/join #haskell
   
Line 55: Line 57:
 
the language.
 
the language.
   
Part of the #haskell success comes from the approach that the community
+
Part of the #haskell success comes from the fact that the community
is quite tight knit -- we know each other -- it's not just a homework
+
is quite tight knit — we know each other — it's not just a homework
 
channel. As a result, many collaborative projects have arisen between
 
channel. As a result, many collaborative projects have arisen between
 
Haskell irc channel citizens.
 
Haskell irc channel citizens.
Line 62: Line 64:
 
To maintain the friendly, open culture, the following is required:
 
To maintain the friendly, open culture, the following is required:
   
* Low to zero tolerance for ridiculing questions. Insulting new users is unacceptable
+
* Low to zero tolerance for ridiculing questions. Insulting new users is unacceptable. New Haskell users should feel entirely comfortable asking questions.
   
New Haskell users should feel entirely comfortable asking new questions.
 
  +
* Helpful answers should be encouraged with <code>name++</code> karma points, in public, as a reward for providing a good answer.
Helpful answers should be encouraged with <hask>name++</hask> karma
 
points, in public, as a reward for providing a good answer.
 
 
As the channel grows, we see a diverse range of people, with different
 
programming backgrounds, trying to make their way with Haskell. A good
 
rule of thumb, to avoid frustration is:
 
 
* approach negative comments by asking for details (kind of like [http://en.wikipedia.org/wiki/Socratic_method Socratic questioning]), rather than challenging the competence of the writer (ad hominem).
 
   
  +
* Avoid getting frustrated by negative comments and ambiguous questions. Approach them by asking for details (i.e. [http://en.wikipedia.org/wiki/Socratic_method Socratic questioning]), rather than challenging the competence of the writer (ad hominem). As the channel grows, we see a diverse range of people with different programming backgrounds getting accustomed to Haskell. Be patient and take satisfaction from spreading knowledge.
   
 
== History ==
 
== History ==
Line 79: Line 74:
 
The #haskell channel appeared in the late 90s, and really got going
 
The #haskell channel appeared in the late 90s, and really got going
 
in early 2001, with the help of Shae Erisson (aka shapr).
 
in early 2001, with the help of Shae Erisson (aka shapr).
 
A fairly extensive analysis of the traffic on #haskell over the years is
 
[http://www.cse.unsw.edu.au/~dons/irc/ kept here]
 
   
 
== Related channels ==
 
== Related channels ==
Line 87: Line 79:
 
In addition to the main Haskell channel there are also:
 
In addition to the main Haskell channel there are also:
   
{| border="1" cellspacing="0" cellpadding="5" align="center"
 
  +
=== Language/Country specific ===
  +
  +
Language channels are consolidated into the "#haskell-" namespace. Eventually the language channels below listed with "#haskell." will have to move.
  +
  +
{| border="1" cellspacing="0" cellpadding="5"
 
! Channel
 
! Channel
 
! Purpose
 
! Purpose
  +
|-
  +
| style="width: 20%;" | #haskell-br
  +
| Brazilian Portuguese (pt_BR) speakers
 
|-
 
|-
 
| #haskell.cz
 
| #haskell.cz
Line 106: Line 105:
 
| Finnish speakers
 
| Finnish speakers
 
|-
 
|-
| #haskell.fr
+
| #haskell-fr
| French speakers
+
| French speakers (note the hyphen! in the channel name)
 
|-
 
|-
 
| #haskell.hr
 
| #haskell.hr
 
| Croatian speakers
 
| Croatian speakers
 
|-
 
|-
| #haskell.it
+
| #haskell-id
| Italian speakers
+
| Indonesian speakers (note the hyphen! in the channel name)
  +
|-
  +
| #haskell-it
  +
| Italian speakers (note the hyphen! in the channel name)
 
|-
 
|-
 
| #haskell.jp
 
| #haskell.jp
 
| Japanese speakers
 
| Japanese speakers
  +
|-
  +
| #haskell.scandinavian
  +
| Scandinavian speakers
  +
|-
  +
| #haskell-kr
  +
| Korean speakers
 
|-
 
|-
 
| #haskell.no
 
| #haskell.no
Line 123: Line 128:
 
| #haskell.pt
 
| #haskell.pt
 
| Portuguese speakers
 
| Portuguese speakers
  +
|-
  +
| #haskell-pl
  +
| Polish speakers
 
|-
 
|-
 
| #haskell.ru
 
| #haskell.ru
Line 129: Line 137:
 
| #haskell_ru
 
| #haskell_ru
 
| Russian speakers again, in UTF-8. For those, who prefer good ol' IRC channel with a lambdabot.
 
| Russian speakers again, in UTF-8. For those, who prefer good ol' IRC channel with a lambdabot.
  +
|-
  +
| #haskell-ro
  +
| Romanian speakers.
 
|-
 
|-
 
| #haskell.se
 
| #haskell.se
 
| Swedish speakers
 
| Swedish speakers
  +
|-
  +
| #haskell-tw
  +
| Chinese speakers (mainly in Taiwan)
  +
|-
  +
| #haskell.vn
  +
| Vietnamese speakers
  +
|-
  +
| #chicagohaskell
  +
| [http://chicagohaskell.com Chicago Haskell] programmers group
  +
|}
  +
  +
=== Platform-specific ===
  +
{| border="1" cellspacing="0" cellpadding="5"
  +
! Channel
  +
! Purpose
  +
|-
  +
| style="width: 20%;" | #haskell-beginners
  +
| Haskell people focused on teaching and learning Haskell, not just beginners.
  +
|-
  +
| #haskell-offtopic
  +
| Haskell people talking about anything except Haskell itself (no TLS required)
  +
|-
  +
| #haskell-blah
  +
| Haskell people talking about anything except Haskell itself (TLS required)
  +
|-
  +
| #haskell-game
  +
| The hub for Haskell-based [[Game Development|game development]]
  +
|-
  +
| #haskell-in-depth
  +
| slower paced discussion of use, theory, implementation etc with no monad tutorials!
  +
|-
  +
| #haskell-iphone
  +
| Haskell-based [[iPhone]] development
  +
|-
  +
| #haskell-apple
  +
| projects that target iOS or OS X using Haskell.
  +
|-
  +
| #haskell-lisp
  +
| [[Haskell Lisp]] - projects that are creating Lisps written in Haskell, or Haskell implementations written in Lisps.
  +
|-
  +
| #haskell-llvm
  +
| For projects using Haskell and LLVM
 
|-
 
|-
 
| #haskell-overflow
 
| #haskell-overflow
 
| Overflow conversations
 
| Overflow conversations
 
|-
 
|-
| #haskell-blah
+
| #haskell-web
| Haskell people talking about anything except Haskell itself
+
| Friendly, practical discussion of haskell web app/framework/server development
 
|-
 
|-
| #haskell-books
+
| #haskell-robotics
| Authors organizing the collaborative writing of the [http://en.wikibooks.org/wiki/Haskell Haskell wikibook] and other books or tutorials.
+
| Discussion about the use of Haskell for robotics applications.
  +
|-
  +
| #arch-haskell
  +
| [[Arch Linux]]/ specific Haskell conversations
  +
|-
  +
| #fedora-haskell
  +
| [https://fedoraproject.org/wiki/Haskell Fedora] Haskell SIG
 
|-
 
|-
 
| #gentoo-haskell
 
| #gentoo-haskell
 
| [[Gentoo]]/Linux specific Haskell conversations
 
| [[Gentoo]]/Linux specific Haskell conversations
  +
|}
  +
  +
=== Projects using haskell ===
  +
{| border="1" cellspacing="0" cellpadding="5"
  +
! Channel
  +
! Purpose
 
|-
 
|-
| #arch-haskell
 
  +
| style="width: 20%;" | #darcs
| [[Arch Linux]]/ specific Haskell conversations
 
  +
| [[Darcs]] revision control system
 
|-
 
|-
  +
| #diagrams
  +
| [[Diagrams]] EDSL
 
|-
 
|-
| #darcs
 
  +
| #hackage
| [[Darcs]] revision control channel (written in Haskell)
 
  +
| Haskell's software distribution infrastructure
 
|-
 
|-
| #perl6
 
  +
| #haskell-lens
| [http://www.pugscode.org Perl 6] development (plenty of Haskell chat there too)
 
  +
| [[Lens]] discussions
  +
|-
  +
| #haskell-stack
  +
| [https://github.com/commercialhaskell/stack/tree/master/doc Stack] discussions
 
|-
 
|-
 
| #happs
 
| #happs
| [http://happs.org HAppS] Haskell Application Server channel
 
  +
| [http://happstack.com Happstack] web framework
  +
|-
  +
| #hledger
  +
| [http://hledger.org hledger] accounting tools and library
  +
|-
  +
| #leksah
  +
| [http://leksah.org Leksah] IDE for Haskell development
  +
|-
  +
| #snowdrift
  +
| [https://snowdrift.coop Snowdrift.coop] Yesod-based web platform for funding free/libre/open works, welcomes Haskell volunteer devs including beginners
  +
|-
  +
| #snapframework
  +
| [http://snapframework.com/ Snap] web framework
 
|-
 
|-
 
| #xmonad
 
| #xmonad
| [http://xmonad.org Xmonad] a tiling window manager written in Haskell
+
| [http://xmonad.org Xmonad] tiling window manager
 
|-
 
|-
| #haskell-iphone
 
  +
| #yesod
| [[iPhone]] Haskell-based iPhone development
 
  +
| [http://yesodweb.com Yesod] web framework
  +
|-
  +
| #yampa
  +
| [https://wiki.haskell.org/Yampa Yampa] Arrowized FRP
 
|}
 
|}
   
 
== Logs ==
 
== Logs ==
   
'''Logs''' are kept at a few places, including
+
'''Logs''' are kept at http://tunes.org/~nef/logs/haskell/
 
* [http://tunes.org/~nef/logs/haskell/ tunes.org]
 
* [http://ircbrowse.com/cdates.html?channel=haskell IRCBrowse]
 
   
  +
<!-- anywhere else? http://ircbrowse.net/browse/haskell is a goner, apparently -->
   
 
== Bots ==
 
== Bots ==
   
=== Lambdabot ===
 
  +
There are various bots on the channel. Their names and usage are described here.
   
[[Lambdabot]] provides many useful services for visitors to the IRC channel. It is available as a haskell package and can be integrated into ghci. Details on the software are found on a [[Lambdabot|separate wiki page]].
 
  +
=== lambdabot ===
  +
  +
[[Lambdabot]] is both the name of a software package and a bot on the channel. The bot is operated by IRC user <code>int-e</code> and provides many useful services for visitors to the IRC channel. You can interact with it in a private chat or publicly in any channel where it appears (#haskell and a number of others). It is available as a haskell package and can be integrated into ghci. Details on the software are found on a [[Lambdabot|separate wiki page]].
   
 
Here is its interface for the IRC user:
 
Here is its interface for the IRC user:
   
{| border="1" cellspacing="0" cellpadding="5" align="center"
 
  +
lambdabot's commands are prepended by a '@' sign.
  +
  +
{| border="1" cellspacing="0" cellpadding="5"
 
! Command
 
! Command
 
! Usage
 
! Usage
 
|-
 
|-
| help
+
| @help
 
| display help to other commands, but help text is not available for all commands.
 
| display help to other commands, but help text is not available for all commands.
 
|-
 
|-
| ...
 
  +
| @where TOPIC (aliases: @what, @url) <br> @where ? <br> @where+ TOPIC NEWTEXT <br> @where+ TOPIC
| ...
 
  +
| show brief info about some TOPIC <br> list some useful topics (paste, cabalstackhelp, ...) <br> set/update a topic (check for collisions first with @where TOPIC) <br> delete a topic
|}
 
 
=== preflex ===
 
 
is the name of a lambdabot with more commands/plugins enabled. It is run by ??
 
 
{| border="1" cellspacing="0" cellpadding="5" align="center"
 
! Command
 
! Usage
 
 
|-
 
|-
| help
 
  +
| @type EXPR or ':t' EXPR
| display help to other commands, but help text is not available for all commands.
 
  +
| shows the type of an expression
  +
|-
  +
| @kind TYPECONSTRUCTOR
  +
| shows the kind of a type constructor
  +
|-
  +
| @run EXPR or '>' EXPR
  +
| evaluates EXPR
  +
|-
  +
| @pl FUNCTION
  +
| shows a [[pointfree]] version of FUNCTION
  +
|-
  +
| @pointful FUNCTION or '@unpl' FUNCTION
  +
| shows a 'pointful' version of FUNCTION
  +
|-
  +
| @tell <nick> <msg> -- same as @ask
  +
| Next time <nick> speaks in channel they will be notified they have a message pending and how to receive it.
 
|}
 
|}
   
=== Hpaste ===
 
  +
See also:
The hpaste bot provides a notification interface to the [http://hpaste.org hpaste pastebin]. [[Hpaste.el|Emacs integration]] is available.
 
  +
* http://silicon.int-e.eu/lambdabot/State/where - @where db snapshot, updated every few minutes
  +
* https://github.com/simonmichael/lambdabot-where - git repo and .tsv version of the @where db, updated occasionally
  +
  +
=== yahb ===
  +
If lambdabot doesn't cut it for you, there is a bot called yahb which runs your request in an actual GHCi prompt, so you can use IO.
   
''Usage?''
 
  +
Try e.g. <tt>% readFile "/proc/self/environ"</tt>
   
=== Hackage ===
+
=== hackage ===
The hackage bot provides real-time notifications of new package uploads to [http://hackage.haskell.org Hackage].
+
The hackage bot, when running, provides real-time notifications of new package uploads to [http://hackage.haskell.org Hackage].
   
 
== Locations ==
 
== Locations ==

Latest revision as of 23:27, 27 May 2021

Internet Relay Chat is a worldwide text chat service with many thousands of users among various irc networks.

The Freenode IRC network used to host the very large #haskell channel, and we've had up to 1046 concurrent users, making the channel consistently one of the most popular of the thousands of channels on freenode. One famous resident is Lambdabot, another is hpaste (see the Bots section below).

As of May 19 2021, the #haskell channel and associated channels began to migrate to https://libera.chat/ . This process is still underway, but at this point it is recommended to join the channel there, and not freenode.

The IRC channel can be an excellent place to learn more about Haskell, and to just keep in the loop on new things in the Haskell world. Many new developments in the Haskell world first appear on the irc channel.

Since 2009, the Haskell channel has grown large enough that we've split it in two parts:

  • #haskell, for all the usual things
  • #haskell-in-depth , for those seeking in depth, or more theoretical discussion

As always, #haskell remains the primary place for new user questions.

#haskell visualized
The social graph, Jan 2008
Daily traffic since 2004
Growth
Noun map

Getting there

If you point your irc client to irc.libera.chat:6697 (TLS) and then join the #haskell channel, you'll be there. Alternately, you can try a client (some listed at [1] ) which connects inside the browser.

Example, using irssi:

   $ irssi -c irc.libera.chat:6697 -n myname -w mypassword
   /join #haskell

Tip, if you're using Emacs to edit your Haskell sources then why not use it to chat about Haskell? Check out ERC, The Emacs IRC client. Invoke it like this and follow the commands:

   M-x erc-select
   ...
   /join #haskell
A screenshot of an irssi session in #haskell

Principles

The #haskell channel is a very friendly, welcoming place to hang out, teach and learn. The goal of #haskell is to encourage learning and discussion of Haskell, functional programming, and programming in general. As part of this we welcome newbies, and encourage teaching of the language.

Part of the #haskell success comes from the fact that the community is quite tight knit — we know each other — it's not just a homework channel. As a result, many collaborative projects have arisen between Haskell irc channel citizens.

To maintain the friendly, open culture, the following is required:

  • Low to zero tolerance for ridiculing questions. Insulting new users is unacceptable. New Haskell users should feel entirely comfortable asking questions.
  • Helpful answers should be encouraged with name++ karma points, in public, as a reward for providing a good answer.
  • Avoid getting frustrated by negative comments and ambiguous questions. Approach them by asking for details (i.e. Socratic questioning), rather than challenging the competence of the writer (ad hominem). As the channel grows, we see a diverse range of people with different programming backgrounds getting accustomed to Haskell. Be patient and take satisfaction from spreading knowledge.

History

The #haskell channel appeared in the late 90s, and really got going in early 2001, with the help of Shae Erisson (aka shapr).

Related channels

In addition to the main Haskell channel there are also:

Language/Country specific

Language channels are consolidated into the "#haskell-" namespace. Eventually the language channels below listed with "#haskell." will have to move.

Channel Purpose
#haskell-br Brazilian Portuguese (pt_BR) speakers
#haskell.cz Czech speakers (UTF-8)
#haskell.de German speakers
#haskell.dut Dutch speakers
#haskell.es Spanish speakers
#haskell.fi Finnish speakers
#haskell-fr French speakers (note the hyphen! in the channel name)
#haskell.hr Croatian speakers
#haskell-id Indonesian speakers (note the hyphen! in the channel name)
#haskell-it Italian speakers (note the hyphen! in the channel name)
#haskell.jp Japanese speakers
#haskell.scandinavian Scandinavian speakers
#haskell-kr Korean speakers
#haskell.no Norwegian speakers
#haskell.pt Portuguese speakers
#haskell-pl Polish speakers
#haskell.ru Russian speakers. Seems that most of them migrated to Jabber conference (haskell@conference.jabber.ru).
#haskell_ru Russian speakers again, in UTF-8. For those, who prefer good ol' IRC channel with a lambdabot.
#haskell-ro Romanian speakers.
#haskell.se Swedish speakers
#haskell-tw Chinese speakers (mainly in Taiwan)
#haskell.vn Vietnamese speakers
#chicagohaskell Chicago Haskell programmers group

Platform-specific

Channel Purpose
#haskell-beginners Haskell people focused on teaching and learning Haskell, not just beginners.
#haskell-offtopic Haskell people talking about anything except Haskell itself (no TLS required)
#haskell-blah Haskell people talking about anything except Haskell itself (TLS required)
#haskell-game The hub for Haskell-based game development
#haskell-in-depth slower paced discussion of use, theory, implementation etc with no monad tutorials!
#haskell-iphone Haskell-based iPhone development
#haskell-apple projects that target iOS or OS X using Haskell.
#haskell-lisp Haskell Lisp - projects that are creating Lisps written in Haskell, or Haskell implementations written in Lisps.
#haskell-llvm For projects using Haskell and LLVM
#haskell-overflow Overflow conversations
#haskell-web Friendly, practical discussion of haskell web app/framework/server development
#haskell-robotics Discussion about the use of Haskell for robotics applications.
#arch-haskell Arch Linux/ specific Haskell conversations
#fedora-haskell Fedora Haskell SIG
#gentoo-haskell Gentoo/Linux specific Haskell conversations

Projects using haskell

Channel Purpose
#darcs Darcs revision control system
#diagrams Diagrams EDSL
#hackage Haskell's software distribution infrastructure
#haskell-lens Lens discussions
#haskell-stack Stack discussions
#happs Happstack web framework
#hledger hledger accounting tools and library
#leksah Leksah IDE for Haskell development
#snowdrift Snowdrift.coop Yesod-based web platform for funding free/libre/open works, welcomes Haskell volunteer devs including beginners
#snapframework Snap web framework
#xmonad Xmonad tiling window manager
#yesod Yesod web framework
#yampa Yampa Arrowized FRP

Logs

Logs are kept at http://tunes.org/~nef/logs/haskell/


Bots

There are various bots on the channel. Their names and usage are described here.

lambdabot

Lambdabot is both the name of a software package and a bot on the channel. The bot is operated by IRC user int-e and provides many useful services for visitors to the IRC channel. You can interact with it in a private chat or publicly in any channel where it appears (#haskell and a number of others). It is available as a haskell package and can be integrated into ghci. Details on the software are found on a separate wiki page.

Here is its interface for the IRC user:

lambdabot's commands are prepended by a '@' sign.

Command Usage
@help display help to other commands, but help text is not available for all commands.
@where TOPIC (aliases: @what, @url)
@where ?
@where+ TOPIC NEWTEXT
@where+ TOPIC
show brief info about some TOPIC
list some useful topics (paste, cabalstackhelp, ...)
set/update a topic (check for collisions first with @where TOPIC)
delete a topic
@type EXPR or ':t' EXPR shows the type of an expression
@kind TYPECONSTRUCTOR shows the kind of a type constructor
@run EXPR or '>' EXPR evaluates EXPR
@pl FUNCTION shows a pointfree version of FUNCTION
@pointful FUNCTION or '@unpl' FUNCTION shows a 'pointful' version of FUNCTION
@tell <nick> <msg> -- same as @ask Next time <nick> speaks in channel they will be notified they have a message pending and how to receive it.

See also:

yahb

If lambdabot doesn't cut it for you, there is a bot called yahb which runs your request in an actual GHCi prompt, so you can use IO.

Try e.g. % readFile "/proc/self/environ"

hackage

The hackage bot, when running, provides real-time notifications of new package uploads to Hackage.

Locations

To get an overview of where everybody on the channel might be, physically, please visit Haskell user locations.