| /// Effectful, lazy iterators. A reimplementation of Rust's std::iter. | |
| /// Note: This is written in Effekt and should be named iter.effekt. | |
| /// It is only named iter.scala for syntax highlighting. | |
| /// relevant literature surrounding effects, implemented in effekt: | |
| /// effects as capabilities: https://dl.acm.org/doi/10.1145/3428194 | |
| /// effects, capabilities, and boxes: https://dl.acm.org/doi/abs/10.1145/3527320 | |
| /// from capabilities to regions: https://dl.acm.org/doi/10.1145/3622831 | |
| /// handling bidirectional control flow: https://dl.acm.org/doi/10.1145/3428207 | |
| /// |
| /// std::iter: Effectful, lazy iterators. | |
| /// An implementation for a fake effectful language with ownership and Go-like syntax. | |
| /// A corresponding implementation in an actual language (!!), Effekt, is available here: | |
| /// https://gist.github.com/omentic/58b553920b4c8402b04c2873901291df | |
| /// | |
| /// relevant literature: | |
| /// effects as capabilities: https://dl.acm.org/doi/10.1145/3428194 | |
| /// handling bidirectional control flow: https://dl.acm.org/doi/10.1145/3428207 | |
| /// soundly handling linearity: https://dl.acm.org/doi/10.1145/3632896 | |
| /// wasmfx: https://arxiv.org/abs/2308.08347 |
Note: this document is a collection of all proposals from the Nim v2 ideas thread. As such, it is/was not by any means reflective of intentions for 2.0: though I've updated this with accepted and implemented proposals.
Features
not nil by default (discussion)
| /etc/brlapi.key | |
| /etc/cron.d/timeshift-hourly | |
| /etc/default/grub.bak | |
| /etc/default/keyboard | |
| /etc/default/locale | |
| /etc/grub-customizer/viewOptions.cfg | |
| /etc/grub.d/06_grub-customizer_menu_color_helper | |
| /etc/grub.d/10_linux.bak_proxy | |
| /etc/grub.d/backup | |
| /etc/grub.d/backup/boot_grub |
| <?xml version="1.0" encoding="UTF-8" standalone="no"?> | |
| <!DOCTYPE xml> | |
| <profiles version="2020"> | |
| <profile kind="CodeFormatterProfile" name="Spartronics" version="2020"> | |
| <setting id="org.eclipse.jdt.core.compiler.codegen.targetPlatform" value="11"/> | |
| <setting id="org.eclipse.jdt.core.compiler.compliance" value="11"/> | |
| <setting id="org.eclipse.jdt.core.compiler.source" value="11"/> | |
| <setting id="org.eclipse.jdt.core.formatter.align_assignment_statements_on_columns" value="false"/> | |
| <setting id="org.eclipse.jdt.core.formatter.align_fields_grouping_blank_lines" value="2147483647"/> | |
| <setting id="org.eclipse.jdt.core.formatter.align_type_members_on_columns" value="false"/> |
| [teal@manjaro 2019-DeepSpace-OLD]$ ./gradlew build --stacktrace | |
| > Task :compileJava UP-TO-DATE | |
| > Task :processResources NO-SOURCE | |
| > Task :classes UP-TO-DATE | |
| > Task :downloadDepsPreemptively | |
| > Task :war UP-TO-DATE | |
| > Task :assemble UP-TO-DATE | |
| > Task :extractTestJNI | |
| > Task :compileTestJava UP-TO-DATE | |
| > Task :processTestResources NO-SOURCE |