| // Usage: | |
| // int f(int n) { | |
| // auto buf = stack_alloc<int>(n); | |
| // std::iota(buf.begin(), buf.end()); | |
| // return std::sum(buf.begin(), buf.end()); | |
| // } | |
| // allocation function | |
| template <typename T> | |
| stack_array_ref<T> stack_alloc(size_t size) __magic_works_like_a_macro_to_use_the_right_frame__; |
| int main(){} |
| $ locale | |
| LANG=en_US.UTF-8 | |
| LC_CTYPE=en_US.UTF-8 | |
| LC_NUMERIC="en_US.UTF-8" | |
| LC_TIME="en_US.UTF-8" | |
| LC_COLLATE="en_US.UTF-8" | |
| LC_MONETARY="en_US.UTF-8" | |
| LC_MESSAGES="en_US.UTF-8" | |
| LC_PAPER="en_US.UTF-8" | |
| LC_NAME="en_US.UTF-8" |
| #include <string> | |
| #include <iostream> | |
| namespace dessert { | |
| template <typename Tag> | |
| struct not_quite_the_same_traits : std::char_traits<char> {}; | |
| template <typename Tag> | |
| using strong_string_alias = std::basic_string<char, not_quite_the_same_traits<Tag>>; | |
| using vanilla_string = std::string; |
| struct Gadget | |
| { | |
| std::vector<Widget> w; | |
| }; | |
| void thread1() | |
| { | |
| Gadget g; | |
| launch_async(unsafe(g.w)); |
| " Sets up multi-language syntax for Jekyll blog posts | |
| fun! SetJekyllPostSyntax() | |
| " Bring in YAML syntax for front matter | |
| unlet b:current_syntax | |
| syntax include @Yaml syntax/yaml.vim | |
| syntax region yamlFrontmatter start=/\%^---$/ end=/^---$/ keepend contains=@Yaml | |
| " Bring in C++11 syntax for code snippets | |
| unlet b:current_syntax | |
| syntax include @Cpp syntax/cpp11.vim |
| // begin() and end() functions for arrays (C++03) | |
| // | |
| // Written in 2012 by Martinho Fernandes | |
| // | |
| // To the extent possible under law, the author(s) have dedicated all copyright and related | |
| // and neighboring rights to this software to the public domain worldwide. This software is | |
| // distributed without any warranty. | |
| // | |
| // You should have received a copy of the CC0 Public Domain Dedication along with this software. | |
| // If not, see <http://creativecommons.org/publicdomain/zero/1.0/>. |
| // Two-dimensional array with dimensions determined at runtime | |
| // | |
| // Written in 2012 by Martinho Fernandes | |
| // | |
| // To the extent possible under law, the author(s) have dedicated all copyright and related | |
| // and neighboring rights to this software to the public domain worldwide. This software is | |
| // distributed without any warranty. | |
| // | |
| // You should have received a copy of the CC0 Public Domain Dedication along with this software. | |
| // If not, see <http://creativecommons.org/publicdomain/zero/1.0/>. |
| // Two-dimensional array with dimensions determined at compile-time | |
| // | |
| // Written in 2012 by Martinho Fernandes | |
| // | |
| // To the extent possible under law, the author(s) have dedicated all copyright and related | |
| // and neighboring rights to this software to the public domain worldwide. This software is | |
| // distributed without any warranty. | |
| // | |
| // You should have received a copy of the CC0 Public Domain Dedication along with this software. | |
| // If not, see <http://creativecommons.org/publicdomain/zero/1.0/>. |
This document is an informal collection of design ideas for the Halcyon programming language. This document in in permanent draft status; do not take anything you read here as final. There are no plans to ever actually implement the ideas here; they're listed only for future reference.
Static, strong typing
Type errors at runtime are stupid.
Type inference