PLDB Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Sixten

< >

Sixten is a programming language created in 2014 by Olle Fredriksson.

#1003on PLDB

12Years Old

Download source code:

git clone https://github.com/ollef/sixten

Sixten is an experimental functional programming language where all data is unboxed by default. Functional programming with fewer indirections!

Tags: programming language
Sixten is developed on GitHub and has 757 stars
Early development of Sixten happened in https://github.com/ollef/sixten/issues
Sixten is written in Haskell, Markdown, Vim script, YAML, LLVM IR
Read more about Sixten on the web: 1.

Example from the web:

type Equals a b where
 Refl : Equals a a

PLDB - Build the next great programming language · Add · Add Prompt · Issues · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements

Built with Scroll v178.2.3