Difference between revisions of "Main Page"

From The fun Wiki
Jump to navigation Jump to search
 
(49 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
<strong>The ''fun'' Functional Programming Instruction-set Architecture</strong>
 
<strong>The ''fun'' Functional Programming Instruction-set Architecture</strong>
  
''fun'' is an instruction-set architecture (ISA) that combines both purely-functional and imperative worlds. ''fun'' is a super-set of the RISC-V instruction-set with support to (structured) combinator graph reduction.
+
''fun'' is an open-specification instruction-set architecture (ISA) for structured combinator graph reduction, originally developed at the [https://english.seiee.sjtu.edu.cn School of Electronic Information and Electrical Engineering] of [http://www.sjtu.edu.cn Shanghai Jiao Tong University]. Its goal is to bring functional programming down to the architecture layer, avoiding the inconveniences and troubles of imperative programming that plague conventional ISAs.
  
 
This wiki is intended to provide information about ''fun'', its implementations, as well as programming examples, functional pearls, and more.
 
This wiki is intended to provide information about ''fun'', its implementations, as well as programming examples, functional pearls, and more.
Line 8: Line 8:
 
== Getting started ==
 
== Getting started ==
  
* [https://wiki.fun-arch.org/wiki/Structured_Combinators Structured Combinators]
+
* [[About fun]]
  
* [https://wiki.fun-arch.org/wiki/Graph_Reduction Graph Reduction]
+
* [[关于 fun]]
  
* [https://wiki.fun-arch.org/wiki/ISA_Specifications ISA Specifications]
+
* [http://www.fun-arch.org/files/fun-manual.pdf ISA Specification (early draft)] +  [https://github.com/fun-isa/fun-spec Github] (Don't mind the short spec! We'll update it soon.)
  
* [https://wiki.fun-arch.org/wiki/Examples Examples]
+
* [[Combinator Pearls | Examples and Pearls]]
  
* [https://wiki.fun-arch.org/wiki/Combinator_Pearls Combinator Pearls]
+
* [[Tools]]
  
* [https://wiki.fun-arch.org/wiki/Tools Tools]
+
* [[Benchmarking]]
 +
 
 +
* [[Implementations]]
 +
 
 +
== News ==
 +
 
 +
* 2022-08-09: Our [[Publications | paper]] "Structured Combinators for Efficient Graph Reduction" has been accepted for publication on IEEE Computer Architecture Letters.
 +
 
 +
* 2022-07-20: The github repository is now [https://github.com/fun-isa online].
 +
 
 +
* 2022-07-08: Our [[Publications | paper]] "Architectural Support for Functional Programming" has been accepted for presentation at [https://vlsisoc2022.com/ VLSI-SoC] to be held in Patras, Greece.  我们的论文“Architectural Support for Functional Programming”已被接受,并将在希腊帕特拉斯举行的VLSI-SoC博士生论坛上发表。
 +
 
 +
* 2022-04-25: This wiki is online.
 +
 
 +
== Community ==
 +
 
 +
Contributions are welcome!
 +
 
 +
Send a message to <join at fun-arch.org> for joining our mailing list.
 +
 
 +
* [https://github.com/fun-isa Github]
 +
 
 +
* [[Publications | Publications and Presentations]]
 +
 
 +
* [[Code of Conduct]](贡献者公约)
 +
 
 +
[[File:logo-sjtu-red.png|200px|frameless|SJTU]]                   
 +
[[File:logo-batc.png|200px|frameless|SJTU]]

Latest revision as of 09:59, 17 August 2022

The fun Functional Programming Instruction-set Architecture

fun is an open-specification instruction-set architecture (ISA) for structured combinator graph reduction, originally developed at the School of Electronic Information and Electrical Engineering of Shanghai Jiao Tong University. Its goal is to bring functional programming down to the architecture layer, avoiding the inconveniences and troubles of imperative programming that plague conventional ISAs.

This wiki is intended to provide information about fun, its implementations, as well as programming examples, functional pearls, and more.


Getting started

News

  • 2022-08-09: Our paper "Structured Combinators for Efficient Graph Reduction" has been accepted for publication on IEEE Computer Architecture Letters.
  • 2022-07-20: The github repository is now online.
  • 2022-07-08: Our paper "Architectural Support for Functional Programming" has been accepted for presentation at VLSI-SoC to be held in Patras, Greece. 我们的论文“Architectural Support for Functional Programming”已被接受,并将在希腊帕特拉斯举行的VLSI-SoC博士生论坛上发表。
  • 2022-04-25: This wiki is online.

Community

Contributions are welcome!

Send a message to <join at fun-arch.org> for joining our mailing list.

SJTU SJTU