International Conference on Functional Programming 2006大赛结果:
第三名Team: Can't Spell Awesome Without ASM, from Google,使用汇编
第二名Team kuma, from Japan,使用D语言
第一名Team Smartass, from Google,使用Haskell,并辅以C++/Python/2D语言。
Haskell连续三年蝉联第一!
ICFP2006站点:
http://icfpcontest.org/index.shtml
今年的题目背景是虚拟的‘计算考古学’,要求实现一个指定规范的虚拟机以执行‘古代文明代码’完成各种任务。
颁奖录像
http://video.google.com/videoplay?docid=6419094369756184531
(很遗憾,在google video上,而且很不清晰)
2D语言特别介绍(from wikipedia)
2d is a programming language that appeared in the 2006 ICFP programming contest. Programs written in this language are drawn out as ASCII flowcharts using boxes and arrows, as shown in the following example.
,....................................,
:p | *=================* :
---#->!send[(W,S),(W,E)]!+ :
: v *=================*v :
:*=============*| *===========* :
:!case N of S,E!#>!send[(N,E)]!-------
:*=============*v *===========* :
: | *=====* *===============*:
: +-->!use p!->!send[(Inl W,E)]!-
: *=====* *===============*:
,....................................,
While on the surface the language appears much like a description of a printed circuit board, it differs from physical circuits in many significant ways. In the 2d language, arbitrarily large and complex values may be passed along a wire. In addition, 2d boxes may make recursive references with the use keyword.
Participants in the contest were asked to write several programs in this language, including a 1-dimensional ray tracer. Programs were evaluated both on the correctness of their output and on their size: programs with smaller areas were worth more points.
分享到:
相关推荐
标题“ICFP-2006_2020:再次玩ICFP-2006”可能意味着这个压缩包包含了对2006年会议的回顾、论文集或者重新实现当年某些项目的内容,而“再次玩”可能是指在当前时间点(2020年或之后)对这些内容进行了重新审视或实践...
链接至(ICFP 2017)。 拉请求欢迎! (类似网页可用于较老ICFP( , , , , ),popl等( , , , ),和 )。 注意:如果您正在编辑此存储库,请记住对硬换行使用Markdown语法,即在行末两个空格。 ¹:今年是...
ICFP 2020 类似网页老年ICFP( , , , , , , , ),popl等( , , , ), 。 使用匹配逻辑定义绑定器的通用方法陈晓红,格里戈尔·罗苏(Grigore Rosu) ( ) 快速了解隐含性亚历杭德罗·塞拉诺(Alejandro...
用于播放的 ICFP 这个存储库是用来玩过去的ICFP比赛的,我在真实比赛中使用的代码文件存储在。 : 优美滋 : Endo 的 DNA 绘图问题2008年:使用VM通过TCP通信操作火星探测机器人2009年:人造卫星2010 年:汽车和燃料的...
ICFP(国际函数式编程会议)在2006年举办了一次竞赛,其中涉及到了一个名为UM(Universal Machine)的模拟器,专门设计用于执行特定的编程任务。 ICFP 2006竞赛中的UM模拟器是参赛者用来解决函数式编程问题的工具。...
TaupeGoons ICFP竞赛2015验尸 最终排名:第22名 团队 TaupeGoons团队从今年开始由四名成员组成。 马克 让·朱利安(JJ) Loic自己开始工作,并最终由GaupeToons团队提交 洛朗(Laurent)遇到了一些计算机问题,...
ICFP 2014竞赛这是ICFP 2014竞赛的参赛作品。 有关更多信息,请参见规范页面: : 团队大炮争吵成员瑞安·英格拉姆(Ryan Ingram) 杰夫·盖茨托德·辛普尔蒂姆·马丁(Tim Martin) 易成展方法我们最初尝试在原始...
**ICFP Bingo 2017(Idris版)** 是一个基于Idris语言开发的单页应用程序(SPA),主要用于庆祝并参与国际函数式编程会议(International Conference on Functional Programming,简称ICFP)的一个趣味游戏。...
函数式响应式编程(FRP)是一种编程范式,它允许开发者以声明式的方式构建应用程序,尤其是那些涉及复杂交互和动画的界面。在编程中,“函数式”意味着使用函数作为一等公民,强调不可变性,并避免副作用;...
Sequent Calculus as a Compiler Intermediate LanguagePaul Downen Luke Maurer Zena M. AriolaUniversity of Oregon, USA {pdownen,maurerl,ariola}@cs.uoregon.eduSimon Peyton Jones Microsoft Research ...
我参加2015年ICFP大赛的参赛作品我在此代码上进行了不到25个小时的有效工作,退休后大约50个小时,该代码在我退休时排在了排行榜的第50位。 闲暇22小时后,我在194个设法提交得分比赛的队伍中排在第113位。 约450行...
ICFP(International Conference on Functional Programming)编程竞赛是每年一度的面向函数式编程爱好者的重要赛事,旨在挑战参赛者在函数式编程领域的创新思维和技术能力。2018年的ICFP编程竞赛,简称icfpc2018,...
该文件将包含与我们将为ICFP 2015开展的项目有关的所有信息。 公告内容 本节将包含重要的更新,需要将这些更新传达给团队的所有成员。 填写联系方式 请完成设置过程,并通过使用您的联系信息更新此文档来确认成功。 ...
舒尔曼LFMT '09德雷尔,罗斯伯格ICFP 2008德雷尔、哈珀、查克拉瓦蒂、凯勒POPL 2007德雷尔ICFP 2007欧文斯,弗拉特ICFP 2006拉姆齐2006年维尔硕士论文, 2005 递归类型生成德雷尔JFP 2007,之前在 ICFP 2005 理解和...
那就是我们为ICFP竞赛2015提供的解决方案。 注意:我们在第151(需要JavaScript; )。 依存关系 用法 使用适当的参数运行solver : $ ./solver run -f filename.json [-print true] [-p phrase1] [-p phrase2] ...
该存储库包含与2015年ICFP编程竞赛有关的工件,该竞赛从UTC的2015年8月7日(星期五)至UTC的2015年8月10日(星期一)进行。 其中许多文件没有很好地记录。 请参阅 (最终将是 )。 团队 乔·基尼里 丹·齐默尔曼 ...
ICFP编程竞赛2018-心灵风暴团队Jan Dreske和Christoph Breitkopf。 我们的总部位于汉诺威,德国和维也纳,但在汉诺威见了比赛。执行我们的求解器是用Java编写的,需要Java 8 jvm才能运行。 使用以下代码从源代码构建...
// ****************************************************************// * Software Failure. Press left mouse button to continue. *// * Guru Meditation #00000000.00000000 *// ****************************...
《采用一流的隐式函数类型进行阐述》是András Kovács在ICFP 2020(国际函数式编程会议)上发表的一篇重要论文,该论文主要探讨了隐式函数类型在编程语言设计中的应用和实现。隐式函数类型是一种高级类型系统特性,...
matlab运行代码暂停ICFP 2019演讲的演示材料 您可以使用构建所有示例 $ opam switch import opam-switches/PICK_ONE $ eval $(opam env) $ dune build @examples --profile=release 在osx上,您可能需要在某些Linux...