Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
developers:gsoc:2016:ideas [2016/02/22 06:58] zero_one [Website improvements] |
developers:gsoc:2016:ideas [2016/02/23 15:25] iphydf [Table] |
||
---|---|---|---|
Line 60: | Line 60: | ||
Language choices are currently: | Language choices are currently: | ||
- | ^ Language | + | ^ Language |
- | | C# | [[iphydf@gmail.com|iphy]] | + | | C# | [[iphydf@gmail.com|iphy]] |
- | | Coq | [[iphydf@gmail.com|iphy]] | + | | Coq | [[iphydf@gmail.com|iphy]] |
- | | Cyclone | + | | Cyclone |
- | | F# | [[iphydf@gmail.com|iphy]] | + | | F# | [[iphydf@gmail.com|iphy]] |
- | | **Go** | + | | **Go** |
- | | **Haskell** | + | | **Haskell** |
- | | JX-Objective C | [[sagem.tox@gmail.com|JX7P]] | + | | JX-Objective C | [[sagem.tox@gmail.com|JX7P]] |
- | | MISRA-C/ | + | | MISRA-C/ |
- | | OCaml | [[iphydf@gmail.com|iphy]] | + | | OCaml | [[iphydf@gmail.com|iphy]] |
- | | **Rust** | + | | **Rust** |
- | | Safe-D | + | | Safe-D |
- | | **Scala** | + | | **Scala** |
- | | SML | [[iphydf@gmail.com|iphy]] | + | | SML | [[iphydf@gmail.com|iphy]] |
- | | Swift | [[d@dvor.me|dvor]], | + | | Swift | [[d@dvor.me|dvor]], |
Safe-D is D where all public entry points are @safe and no internal functions are @trusted. **Bold** languages are ones that have a beginning of an implementation. | Safe-D is D where all public entry points are @safe and no internal functions are @trusted. **Bold** languages are ones that have a beginning of an implementation. |