imported>Kvng: compound modifier

2024-12-20T16:05:35Z

compound modifier

New page

{{Short description|Programming Contest}}

The '''ICFP Programming Contest''' is an international programming competition held annually around June or July since 1998, with results announced at the [[International Conference on Functional Programming]].

Teams may be of any size and any programming language(s) may be used. There is also no entry fee. Participants have 72 hours to complete and submit their entry over the Internet. There is often also a 24-hour lightning division.

The winners reserve "bragging rights" to claim that their language is "the programming tool of choice for discriminating hackers". As such, one of the competition's goals is to showcase the capabilities of the contestants' favorite programming languages and tools. Previous first prize winners have used [[Haskell (programming language)|Haskell]], [[OCaml]], [[C++]], [[Cilk]], [[Java (programming language)|Java]], [[F Sharp (programming language)|F#]], and [[Rust (programming language)|Rust]].

The contests usually have around 300 submitted entries.<ref>{{cite web|url=http://www.boundvariable.org/scoreboard.shtml |title=ICFP Programming Contest Scoreboard |accessdate=23 September 2012}}</ref><ref>[https://alliance.seas.upenn.edu/~plclub/cgi-bin/contest/results.php https://alliance.seas.upenn.edu/~plclub/cgi-bin/contest/results.php]</ref>

==Past tasks==

{| class="wikitable"
|-
! Year
! Organiser
! Description
|-
| 1998
| [[Université de Montréal]] and [[Massachusetts Institute of Technology]]
| Write a program that plays ''pousse'', an odd variant of tic-tac-toe. Contestant programs were entered into a tournament to determine the first- and second-place program.
|-
| 1999
| [[Harvard University]]
| Size-optimize ''case'' statements (the contest task spoke about text-based [[adventure games]], but in fact the task was to size-optimize the description of such a game).
|-
| 2000
| [[Cornell University]]
| Implement a ray tracer using a Postscript-like syntax.
|-
| 2001
| [[INRIA]] Rocquencourt
| Size-optimize an HTML-like markup language by removing unnecessary whitespace and tags, and so on.
|-
| 2002
| [[OGI School of Science and Engineering]]
| Implement robots playing a [[Sokoban]]-like game one against each other.
|-
| 2003
| [[Chalmers University]]
| Implement robots driving a car as fast as possible through different racing tracks.
|-
| 2004
| [[University of Pennsylvania]]
| Design an ant colony that will bring the most food particles back to its anthill, while fending off ants of another species. The contest entry would output a state-machine description of the ant: in principle, entries could have been written by hand. Later the task was adapted into Ant Wars, a [[strategy game|strategy]] and [[programming game]] where each participant is a species of [[ant]]. The participants then, in a language called Antomata,<ref>{{Cite web |url=http://www.ant-wars.net/html/antomata.html |title=Antomata - The Language of Ant Wars |access-date=2007-11-25 |archive-url=https://web.archive.org/web/20070929161325/http://www.ant-wars.net/html/antomata.html |archive-date=2007-09-29 |url-status=dead }}</ref> program a [[finite-state machine]] to function as the brain of each ant. The ant [[brain]] then controls the ant to find and collect food to bring to the home [[Ant colony|ant hill]], to fend off attackers or make trails of pheromones.
|-
| 2005
| [[Racket (programming language)|PLT]] group
| Implement "bots" for a "Cops & Robbers" game: contestants have to write the control program that guides a Robber-Bot through a quiet urban neighborhood on a mission to rob every bank without getting caught, and the control program for a Cop-Bot dedicated to stopping it.
|-
| 2006
| [[Carnegie Mellon University]]
| Implement a virtual machine that runs an operating system (called [[UMIX]]) provided by the judges, and crack it using new programming languages with unconventional syntax and semantics, such as 2D and a version of [[BASIC]] using Roman numerals. Many puzzles were tiny versions or parodies of previous contests.
|-
| 2007
| [[Utrecht University]]
| Implement a 2-stage virtual machine that executes a DNA-like string to produce an image. Then, given an input string for this machine, find a prefix that when added to this string yields an image as close as possible to the given target image.
|-
| 2008
| [[Portland State University]] and the [[University of Chicago]]
| Provide a Mars rover control system that will guide it to a home base while avoiding obstacles and enemies.
|-
| 2009
| [[University of Kansas]]
| Control a satellite to move between specified orbits and rendezvous with other satellites.
|-
| 2010
| [[Leipzig University of Applied Science]], Germany
| International Car and Fuel Production.
|-
| 2011
| [[Tohoku University]], Japan
| Program a computer with 256 "slots" to outlast its opponent in terms of slots remaining at the end of the match. Submissions include executables that are entered into a two-phase tournament.
|-
| 2012
| [[University of St Andrews]], Scotland
| Program an AI for a [[Boulder Dash (video game)|Boulder Dash]]-like game.
|-
| 2013
| [[Microsoft Research]]
| Guess the implementation of a blackbox function implemented in a simple functional language through querying a web service.
|-
| 2014
| [[University of Oxford]] and Well-Typed LLP
| Write AI programs for a pacman like game, in [[SECD machine]] instruction for pacman and [[8-bit]] machine assembly instructions for four ghosts.
|-
| 2015
| Galois
| Write an AI for [[Tetris]]-like game on a hexagon grid field that embeds secret phrases in the move sequence.
|-
| 2016
| [[University of Electro-Communications]]
| Write an AI to solve abstract [[origami]].
|-
|2017
|[[University of Edinburgh]]
|Write an AI for a game where players in turn claim route parts on the map and the one with the best coverage wins. There are also three extensions to the main game mode, any number of which can be enabled on a map.
|-
| 2018
| [[Rochester Institute of Technology]]
| Generate nanobot traces to construct, destruct, and reconstruct target 3D objects while minimizing energy used.
|-
|2019
|[[Yale-NUS College]] and [[National University of Singapore]]
|Worker-Wrappers against Bit Rot.<ref>{{Cite web|date=2019-06-21|title=The Contest Begins|url=https://icfpcontest2019.github.io/post/start/|access-date=2020-07-15|website=ICFP Programming Contest 2019|language=en}}</ref>
|-
|2020
|[[:ru:%D0%A1%D0%9A%D0%91 %D0%9A%D0%BE%D0%BD%D1%82%D1%83%D1%80|SKB Kontur]]
|Build virtual machine by the [https://message-from-space.readthedocs.io/en/latest/personal-appeal.html alien specification], run alien provided game-server on that VM, explore the game (2D space battle on the planet orbit with Chebyshev distance, with accelerate, shoot, split and detonate commands), reverse engineer game-protocol and create bot to play this game.
|-
|2021
|Alex Lang and Jasper Van der Jeugt
|Manipulate a figure similar to a [[Linkage (mechanical)|mechanical linkage]] to fit through a [[Brain Wall|hole in the wall]].
|-
|2022
|Alperen Keles
|Reconfigure a prefilled canvas into a painting.
|}

==Prizes==

Prizes have a modest cash value, primarily aimed at helping the winners to attend the conference, where the prizes are awarded and the judges make the following declarations:
; First prize: ''[Language 1]'' is the programming tool of choice for discriminating hackers.
; Second prize: ''[Language 2]'' is a fine programming tool for many applications.
; Third prize: ''[Language 3]'' is also not too shabby.
; Winner of the lightning division: ''[Language L]'' is very suitable for rapid prototyping.
; Judges' prize: ''[Team X]'' are an extremely cool bunch of hackers.
Where a winning entry involves several languages, the winners are asked to nominate one or two.
The languages named in the judges' declarations have been:
{| class="wikitable"
|-
! Year
! First Prize
! Second Prize
! Third Prize
! Lightning
|-
| 1998
| [[Cilk]]
| [[OCaml]]
|
|
|-
| 1999<ref>[https://www.cs.tufts.edu/~nr/icfp/results.html Final results of the ICFP'99 Programming Contest]</ref>
| [[OCaml]]
| [[Haskell (programming language)|Haskell]]
|
| <ref name="lightning-judge">The contests in 1999 and 2002 had a lightning division, but without a separate prize. The winners of that division were awarded Judges' prizes.</ref>
|-
| 2000<ref>[http://www.cs.cornell.edu/icfp/ The Third Annual ICFP Programming Contest]</ref>
| [[OCaml]]
| [[OCaml]]
|
|
|-
| 2001<ref>[http://cristal.inria.fr/ICFP2001/prog-contest/ The Fourth ICFP Programming Contest]</ref>
| [[Haskell (programming language)|Haskell]]
| [[Dylan (programming language)|Dylan]]
|
|
|-
| 2002
| [[OCaml]]
| [[C (programming language)|C]]
|
| <ref name="lightning-judge"/>
|-
| 2003
| [[C++]]
| [[C++]]
|
| [[OCaml]]
|-
| 2004<ref>[https://alliance.seas.upenn.edu/~plclub/cgi-bin/contest/results.php The Seventh Antual ICFP Programming Contest]</ref>
| [[Haskell (programming language)|Haskell]]
| [[Haskell (programming language)|Haskell]] and [[C++]]
|
| [[Java (programming language)|Java]] and [[C++]]
|-
| 2005<ref>[http://icfpc.plt-scheme.org/ The Eighth Annual ICFP Programming Contest]</ref>
| [[Haskell (programming language)|Haskell]]
| [[Dylan (programming language)|Dylan]]
| [[Haskell (programming language)|Haskell]]
|
|-
| 2006
| 2D<ref>2D was a toy language invented for the 2006 contest.
The winning team used [[C++]], [[Haskell (programming language)|Haskell]], [[Python (programming language)|Python]], [[Bash (Unix shell)|Bash]], and 2D.</ref>
| [[D (programming language)|D]]
| [[Assembly language|Assembly]]
|
|-
| 2007
| [[C++]]
| [[Perl]]
|
| <ref name="lightning-2007">The 2007 contest had a lightning division, but since there was no clear leader after 24 hours the judges decided not to choose a winner.</ref>
|-
| 2008<ref>[http://web.cecs.pdx.edu/~sheard/2008IcfpContest/results/ ICFP 2008 Programming Contest Results]</ref>
| [[Java (programming language)|Java]]
|
|
| [[ML (programming language)|ML]]
|-
| 2009<ref>http://www.vimeo.com/6613815 - accessed September 23, 2009</ref>
| [[C++]]
| [[Java (programming language)|Java]]
|
| [[ML (programming language)|ML]]
|-
| 2010<ref>[http://vimeo.com/15391093 ICFP 2010 Programming Contest] (video)</ref>
| [[C++]], [[Haskell (programming language)|Haskell]], [[Python (programming language)|Python]]
|
|
| [[SageMath]]
|-
| 2011<ref>[http://icfpc2011.blogspot.jp/ ICFP Programming Contest 2011]</ref>
| [[F Sharp (programming language)|F#]]
| [[Unix shell|Shell]] and [[C++]]
|
|
|-
| 2012<ref>[http://icfpcontest2012.wordpress.com/ ICFP Programming Contest 2012]</ref>
| [[C++]]
| [[OCaml]]
|
| [[Java (programming language)|Java]]
|-
| 2013<ref>{{Cite web |url=http://icfpc2013.cloudapp.net/ |title=ICFP Programming Contest 2013 |access-date=2013-08-15 |archive-date=2013-10-16 |archive-url=https://web.archive.org/web/20131016080051/http://icfpc2013.cloudapp.net/ |url-status=dead }}</ref>
| [[Java (programming language)|Java]], [[C Sharp (programming language)|C#]], [[C++]], [[PHP]], [[Ruby (programming language)|Ruby]] and [[Haskell (programming language)|Haskell]]
| [[C++]] and [[Python (programming language)|Python]]
| [[C Sharp (programming language)|C#]], [[C++]], [[Bash (Unix shell)|bash]], [[AWK|awk]], [[sed]] and [[Microsoft Excel|Excel]]
| [[C++]]
|-
| 2014<ref>[https://icfpcontest2014.github.io ICFP Programming Contest 2014]</ref>
| [[Haskell (programming language)|Haskell]]
| [[C++]]
| [[Perl]]
| [[OCaml]]
|-
| 2015<ref>[http://2015.icfpcontest.org/ ICFP Programming Contest 2015]</ref>
| [[C++]], [[Java (programming language)|Java]], [[C Sharp (programming language)|C#]], [[PHP]], [[Ruby (programming language)|Ruby]] and [[Haskell (programming language)|Haskell]]
| [[C++]], [[Python (programming language)|Python]], [[JavaScript]]
| [[C++]]
| [[C++]]
|-
| 2016<ref>[http://icfpc2016.blogspot.com.au/2016/09/contest-results-are-up.html ICFP Programming Contest 2016]</ref>
| [[Java (programming language)|Java]], [[C++]], [[C Sharp (programming language)|C#]], [[PHP]], [[Haskell (programming language)|Haskell]]
| [[C++]], [[Ruby (programming language)|Ruby]], [[Python (programming language)|Python]], [[Haskell (programming language)|Haskell]], [[Java (programming language)|Java]], [[JavaScript]]
|
| [[OCaml]]
|-
| 2017<ref>[https://icfpcontest2017.github.io/ ICFP Programming Contest 2017]</ref>
| [[C++]]
| [[C++]]
|
| [[OCaml]]
|-
| 2018<ref>[https://icfpcontest2018.github.io/ ICFP Programming Contest 2018]</ref>
| [[Rust (programming language)|Rust]]
| [[C++]], [[Python (programming language)|Python]], [[Ruby (programming language)|Ruby]], [[JavaScript]], [[Bash (Unix shell)|bash]] and [[SQL]]
|
| [[OCaml]]
|-
|2019<ref>{{Cite web|date=2019-08-20|title=Final Results|url=https://icfpcontest2019.github.io/post/results-announced/|access-date=2020-07-15|website=ICFP Programming Contest 2019|language=en}}</ref>
|[[Rust (programming language)|Rust]]
|[[C++]]
|
|[[C++]] and [[Haskell (programming language)|Haskell]]
|-
| 2020<ref>{{Cite web|date=2020-08-26|title=ICFP Programming Contest Awards and Reports|url=https://www.youtube.com/watch?v=WfRqE4NBecM |archive-url=https://ghostarchive.org/varchive/youtube/20211221/WfRqE4NBecM |archive-date=2021-12-21 |url-status=live|access-date=2021-05-29|language=en}}{{cbignore}}</ref>
| [[Python (programming language)|Python]]
| [[C++]] (first winner), [[Rust (programming language)|Rust]] (second winner)
|
| [[Haskell (programming language)|Haskell]]
|-
| 2021<ref>[https://icfpcontest2021.github.io/ ICFP Programming Contest 2021]</ref>
| [[C++]], [[Rust (programming language)|Rust]]
| [[Rust (programming language)|Rust]]
| [[Rust (programming language)|Rust]], [[TypeScript]] and [[Go (programming language)|Go]]
| [[Rust (programming language)|Rust]], [[TypeScript]] and [[Go (programming language)|Go]]
|-
| 2022<ref>[https://icfpcontest2022.github.io/ ICFP Programming Contest 2022]</ref>
| [[Rust (programming language)|Rust]], [[Go (programming language)|Go]] and [[Python (programming language)|Python]]
| [[Rust (programming language)|Rust]], [[C++]] and [[Python (programming language)|Python]]
| [[C++]], [[Rust (programming language)|Rust]] and [[Python (programming language)|Python]]
| [[Rust (programming language)|Rust]], [[C++]] and [[Python (programming language)|Python]]
|}

==See also==
* [[International Collegiate Programming Contest]] (ICPC)
* [[Online judge]]

==References and notes==
<references/>

==External links==
* [http://www.icfpconference.org/contest.html Contest at ICFP site]
[[Category:Programming contests]]

ICFP Programming Contest - Revision history

imported>Kvng: compound modifier