2161 lines
58 KiB
HTML
2161 lines
58 KiB
HTML
<!DOCTYPE html>
|
||
<html class="no-js" lang="en">
|
||
<head>
|
||
<title>Code Highlighting - DAUX.IO</title>
|
||
<meta name="description" content="The Easiest Way To Document Your Project">
|
||
<meta name="author" content="Stéphane Goetz">
|
||
<meta charset="UTF-8">
|
||
<meta http-equiv="X-UA-Compatible" content="IE=edge">
|
||
|
||
<link rel="icon" href="../themes/daux/img/favicon-blue.png" type="image/x-icon">
|
||
|
||
<!-- Mobile -->
|
||
<meta name="apple-mobile-web-app-capable" content="yes" />
|
||
<meta name="viewport" content="width=device-width, initial-scale=1.0">
|
||
|
||
<!-- Font -->
|
||
|
||
<!-- CSS -->
|
||
<link href='../themes/daux/css/theme-blue.min.css' rel='stylesheet' type='text/css'>
|
||
<!-- Tipue Search -->
|
||
<link href="../tipuesearch/tipuesearch.css" rel="stylesheet">
|
||
|
||
<!--[if lt IE 9]>
|
||
<script src="../themes/daux/js/html5shiv-3.7.3.min.js"></script>
|
||
<![endif]-->
|
||
</head>
|
||
<body class="with-float ">
|
||
<div class="Columns content">
|
||
<aside class="Columns__left Collapsible">
|
||
<button type="button" class="Button Collapsible__trigger">
|
||
<span class="Collapsible__trigger__bar"></span>
|
||
<span class="Collapsible__trigger__bar"></span>
|
||
<span class="Collapsible__trigger__bar"></span>
|
||
</button>
|
||
|
||
<a class="Brand" href="../index.html">DAUX.IO</a>
|
||
|
||
<div class="Search">
|
||
<svg class="Search__icon" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 451 451">
|
||
<path d="M447.05 428l-109.6-109.6c29.4-33.8 47.2-77.9 47.2-126.1C384.65 86.2 298.35 0 192.35 0 86.25 0 .05 86.3.05 192.3s86.3 192.3 192.3 192.3c48.2 0 92.3-17.8 126.1-47.2L428.05 447c2.6 2.6 6.1 4 9.5 4s6.9-1.3 9.5-4c5.2-5.2 5.2-13.8 0-19zM26.95 192.3c0-91.2 74.2-165.3 165.3-165.3 91.2 0 165.3 74.2 165.3 165.3s-74.1 165.4-165.3 165.4c-91.1 0-165.3-74.2-165.3-165.4z"/>
|
||
</svg>
|
||
<input type="search" id="tipue_search_input" class="Search__field" placeholder="Search..." autocomplete="on"
|
||
results=25 autosave=text_search>
|
||
</div>
|
||
|
||
<div class="Collapsible__content">
|
||
<!-- Navigation -->
|
||
<ul class='Nav'><li class='Nav__item '><a href="../Getting_Started.html">Getting Started</a></li><li class='Nav__item has-children'><a href="../Features/Auto_Syntax_Highlight.html" class="folder"><i class="Nav__arrow"> </i>Features</a><ul class='Nav'><li class='Nav__item '><a href="../Features/Auto_Syntax_Highlight.html">Auto Syntax Highlight</a></li><li class='Nav__item '><a href="../Features/CommonMark_compliant.html">CommonMark compliant</a></li><li class='Nav__item '><a href="../Features/Edit_on_GitHub_links.html">Edit on GitHub links</a></li><li class='Nav__item '><a href="../Features/Front_Matter.html">Front Matter</a></li><li class='Nav__item '><a href="../Features/Internal_links.html">Internal links</a></li><li class='Nav__item '><a href="../Features/Landing_page.html">Landing page</a></li><li class='Nav__item '><a href="../Features/Live_mode.html">Live mode</a></li><li class='Nav__item '><a href="../Features/Multilanguage.html">Multilanguage</a></li><li class='Nav__item '><a href="../Features/Multiple_Output_Formats.html">Multiple Output Formats</a></li><li class='Nav__item '><a href="../Features/Navigation_and_Sorting.html">Navigation and Sorting</a></li><li class='Nav__item '><a href="../Features/Search.html">Search</a></li><li class='Nav__item '><a href="../Features/Static_Site_Generation.html">Static Site Generation</a></li><li class='Nav__item '><a href="../Features/Table_of_contents.html">Table of contents</a></li></ul></li><li class='Nav__item Nav__item--open has-children'><a href="../Examples/index.html" class="folder"><i class="Nav__arrow"> </i>Examples</a><ul class='Nav'><li class='Nav__item Nav__item--active'><a href="../Examples/Code_Highlighting.html">Code Highlighting</a></li><li class='Nav__item '><a href="../Examples/Hello_World.html">Hello World</a></li><li class='Nav__item '><a href="../Examples/Hello_World_de.html">Hallo Welt</a></li><li class='Nav__item '><a href="../Examples/привет_мир.html">привет мир</a></li><li class='Nav__item '><a href="../Examples/你好世界.html">你好世界</a></li></ul></li><li class='Nav__item has-children'><a href="../Configuration/index.html" class="folder"><i class="Nav__arrow"> </i>Configuration</a><ul class='Nav'><li class='Nav__item '><a href="../Configuration/Confluence_upload.html">Confluence upload</a></li><li class='Nav__item '><a href="../Configuration/Html_export.html">Html export</a></li></ul></li><li class='Nav__item has-children'><a href="../For_Developers/Creating_a_Processor.html" class="folder"><i class="Nav__arrow"> </i>For Developers</a><ul class='Nav'><li class='Nav__item '><a href="../For_Developers/Creating_a_Processor.html">Creating a Processor</a></li><li class='Nav__item '><a href="../For_Developers/Creating_a_Theme.html">Creating a Theme</a></li></ul></li></ul>
|
||
|
||
<div class="Links">
|
||
<hr/>
|
||
<a href="https://github.com/dauxio/daux.io/archive/master.zip" target="_blank">Download</a>
|
||
<br />
|
||
<a href="https://github.com/dauxio/daux.io" target="_blank">GitHub Repo</a>
|
||
<br />
|
||
<a href="https://github.com/dauxio/daux.io/issues" target="_blank">Help/Support/Bugs</a>
|
||
<br />
|
||
</div>
|
||
|
||
<div class="CodeToggler">
|
||
<hr/>
|
||
<span class="CodeToggler__text">Code blocks</span>
|
||
<div class="ButtonGroup" role="group">
|
||
<button class="Button Button--default Button--small CodeToggler__button CodeToggler__button--hide">No</button>
|
||
<button class="Button Button--default Button--small CodeToggler__button CodeToggler__button--below">Below</button>
|
||
<button class="Button Button--default Button--small CodeToggler__button CodeToggler__button--float">Inline</button>
|
||
</div>
|
||
</div>
|
||
|
||
<div class="Twitter">
|
||
<hr/>
|
||
<iframe allowtransparency="true" frameborder="0" scrolling="no" style="width:162px; height:20px;" src="https://platform.twitter.com/widgets/follow_button.html?screen_name=onigoetz&show_count=false"></iframe>
|
||
<br />
|
||
<br />
|
||
</div>
|
||
|
||
<div class="PoweredBy">
|
||
<hr/>
|
||
Powered by Daux.io </div>
|
||
</div>
|
||
</aside>
|
||
<div class="Columns__right Columns__right--float">
|
||
<div class="Columns__right__content">
|
||
<div class="doc_content">
|
||
<article class="Page">
|
||
|
||
<div class="Page__header">
|
||
<h1><a href="../Examples/index.html">Examples</a> <svg class="Page__header--separator" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 477.175 477.175"><path d="M360.73 229.075l-225.1-225.1c-5.3-5.3-13.8-5.3-19.1 0s-5.3 13.8 0 19.1l215.5 215.5-215.5 215.5c-5.3 5.3-5.3 13.8 0 19.1 2.6 2.6 6.1 4 9.5 4 3.4 0 6.9-1.3 9.5-4l225.1-225.1c5.3-5.2 5.3-13.8.1-19z"/></svg> <a href="../Examples/Code_Highlighting.html">Code Highlighting</a></h1>
|
||
<span class="ModifiedDate">
|
||
Thursday, June 7, 2018 11:42 AM </span>
|
||
<span class="EditOn">
|
||
<a href="https://github.com/dauxio/daux.io/blob/master/docs/02_Examples/05_Code_Highlighting.md" target="_blank">
|
||
Edit on GitHub </a>
|
||
</span>
|
||
</div>
|
||
|
||
<div class="s-content">
|
||
<p>Highlight.js highlights syntax in code examples on blogs, forums and in fact on any web pages. It's very easy to use because it works automatically: finds blocks of code, detects a language, highlights it. <a href="https://highlightjs.org/" class="Link--external">Learn more.</a></p>
|
||
<p>You can even use <a href="../Features/CommonMark_compliant.html">Github Flavored Markdown</a></p>
|
||
<p><strong>Python</strong></p>
|
||
<pre><code>@requires_authorization
|
||
def somefunc(param1='', param2=0):
|
||
r'''A docstring'''
|
||
if param1 > param2: # interesting
|
||
print 'Gre\'ater'
|
||
return (param2 - param1 + 1) or None
|
||
|
||
class SomeClass:<br> pass
|
||
|
||
>>> message = '''interpreter
|
||
... prompt'''
|
||
</code></pre>
|
||
<p><strong>Python's profiler output</strong></p>
|
||
<pre><code> 261917242 function calls in 686.251 CPU seconds
|
||
|
||
ncalls tottime filename:lineno(function)
|
||
152824 513.894 {method 'sort' of 'list' objects}
|
||
129590630 83.894 rrule.py:842(__cmp__)
|
||
129590630 82.439 {cmp}
|
||
153900 1.296 rrule.py:399(_iter)
|
||
304393/151570 0.963 rrule.py:102(_iter_cached)
|
||
</code></pre>
|
||
<p><strong>Ruby</strong></p>
|
||
<pre><code>class A < B; def self.create(object = User) object end end
|
||
class Zebra; def inspect; "X#{2 + self.object_id}" end end
|
||
|
||
module ABC::DEF
|
||
include Comparable
|
||
|
||
# @param test
|
||
# @return [String] nothing
|
||
def foo(test)
|
||
Thread.new do |blockvar|
|
||
ABC::DEF.reverse(:a_symbol, :'a symbol', :<=>, 'test' + test)
|
||
end.join
|
||
end
|
||
|
||
def [](index) self[index] end
|
||
def ==(other) other == self end
|
||
end
|
||
|
||
anIdentifier = an_identifier
|
||
Constant = 1
|
||
render action: :new
|
||
</code></pre>
|
||
<p><strong>Haml</strong></p>
|
||
<pre><code>!!! XML
|
||
%html
|
||
%body
|
||
%h1.jumbo{:id=>"a", :style=>'font-weight: normal', :title=>title} highlight.js
|
||
/html comment
|
||
-# ignore this line
|
||
%ul(style='margin: 0')
|
||
-items.each do |i|
|
||
%i= i
|
||
= variable
|
||
=variable2
|
||
~ variable3
|
||
~variable4
|
||
The current year is #{DataTime.now.year}.
|
||
</code></pre>
|
||
<p><strong>Perl</strong></p>
|
||
<pre><code># loads object
|
||
sub load
|
||
{
|
||
my $flds = $c->db_load($id,@_) || do {
|
||
Carp::carp "Can`t load (class: $c, id: $id): '$!'"; return undef
|
||
};
|
||
my $o = $c->_perl_new();
|
||
$id12 = $id / 24 / 3600;
|
||
$o->{'ID'} = $id12 + 123;
|
||
#$o->{'SHCUT'} = $flds->{'SHCUT'};
|
||
my $p = $o->props;
|
||
my $vt;
|
||
$string =~ m/^sought_text$/;
|
||
$items = split //, 'abc';
|
||
for my $key (keys %$p)
|
||
{
|
||
if(${$vt.'::property'}) {
|
||
$o->{$key . '_real'} = $flds->{$key};
|
||
tie $o->{$key}, 'CMSBuilder::Property', $o, $key;
|
||
}
|
||
}
|
||
$o->save if delete $o->{'_save_after_load'};
|
||
return $o;
|
||
}
|
||
|
||
=head1 NAME
|
||
POD till the end of file
|
||
</code></pre>
|
||
<p><strong>PHP</strong></p>
|
||
<pre><code>require_once 'Zend/Uri/Http.php';
|
||
|
||
abstract class URI extends BaseURI
|
||
{
|
||
|
||
/**
|
||
* Returns a URI
|
||
*
|
||
* @return URI
|
||
*/
|
||
static public function _factory($stats = array(), $uri = 'http')
|
||
{
|
||
$uri = explode(':', $uri, 0b10);
|
||
$schemeSpecific = isset($uri[1]) ? $uri[1] : '';
|
||
$desc = 'Multi
|
||
line description';
|
||
|
||
// Security check
|
||
if (!ctype_alnum($scheme)) {
|
||
throw new Zend_Uri_Exception('Illegal scheme');
|
||
}
|
||
|
||
return [
|
||
'uri' => $uri,
|
||
'value' => null,
|
||
];
|
||
}
|
||
}
|
||
|
||
__halt_compiler () ; datahere
|
||
datahere
|
||
datahere */
|
||
datahere
|
||
</code></pre>
|
||
<p><strong>Scala</strong></p>
|
||
<pre><code>object abstractTypes extends Application {
|
||
abstract class SeqBuffer {
|
||
type T; val element: Seq[T]; def length = element.length
|
||
}
|
||
}
|
||
|
||
/** Turn command line arguments to uppercase */
|
||
object Main {
|
||
def main(args: Array[String]) {
|
||
val res = for (a <- args) yield a.toUpperCase
|
||
println("Arguments: " + res.toString)
|
||
}
|
||
}
|
||
|
||
/** Maps are easy to use in Scala. */
|
||
object Maps {
|
||
val colors = Map("red" -> 0xFF0000,
|
||
"turquoise" -> 0x00FFFF,
|
||
"black" -> 0x000000,
|
||
"orange" -> 0xFF8040,
|
||
"brown" -> 0x804000)
|
||
def main(args: Array[String]) {
|
||
for (name <- args) println(
|
||
colors.get(name) match {
|
||
case Some(code) =>
|
||
name + " has code: " + code
|
||
case None =>
|
||
"Unknown color: " + name
|
||
}
|
||
)
|
||
}
|
||
}
|
||
</code></pre>
|
||
<p><strong>Go</strong></p>
|
||
<pre><code>package main
|
||
|
||
import (
|
||
"fmt"
|
||
"rand"
|
||
"os"
|
||
)
|
||
|
||
const (
|
||
Sunday = iota
|
||
Partyday
|
||
numberOfDays // this constant is not exported
|
||
)
|
||
|
||
type Foo interface {
|
||
FooFunc(int, float32) (complex128, []int)
|
||
}
|
||
|
||
// simple comment
|
||
type Bar struct {
|
||
os.File /* multi
|
||
line
|
||
comment */
|
||
|
||
PublicData chan int
|
||
}
|
||
|
||
func main() {
|
||
ch := make(chan int)
|
||
ch <- 1
|
||
x, ok := <- ch
|
||
ok = true
|
||
x = nil
|
||
float_var := 1.0e10
|
||
defer fmt.Println('\'')
|
||
defer fmt.Println(`exitting now\`)
|
||
var fv1 float64 = 0.75
|
||
go println(len("hello world!"))
|
||
return
|
||
}
|
||
</code></pre>
|
||
<p><strong>XML</strong></p>
|
||
<pre><code><?xml version="1.0"?>
|
||
<response value="ok" xml:lang="en">
|
||
<text>Ok</text>
|
||
<comment html_allowed="true"/>
|
||
<ns1:description><![CDATA[
|
||
CDATA is <not> magical.
|
||
]]></ns1:description>
|
||
<a></a> <a/>
|
||
</response>
|
||
</code></pre>
|
||
<p><strong>HTML (with inline css and javascript)</strong></p>
|
||
<pre><code><!DOCTYPE html>
|
||
<title>Title</title>
|
||
|
||
<style>body {width: 500px;}</style>
|
||
|
||
<script type="application/javascript">
|
||
function $init() {return true;}
|
||
</script>
|
||
|
||
<body>
|
||
<p checked class="title" id='title'>Title</p>
|
||
<!-- here goes the rest of the page -->
|
||
</body>
|
||
</code></pre>
|
||
<p><strong>Lasso</strong></p>
|
||
<pre><code><?LassoScript
|
||
/* Lasso 8 */
|
||
local('query' = 'SELECT * FROM `'+var:'table'+'` WHERE `id` > 10
|
||
ORDER BY `Name` LIMIT 30');
|
||
Inline: -Username=$DBuser, -Password=$DBpass, -Database=$DBname, -sql=#query;
|
||
var("class.name" = (found_count != 0 ? `subtotal` | `nonefound`));
|
||
records;
|
||
output: ?><tr>[loop_count]</tr><?=;
|
||
/records;
|
||
/Inline;
|
||
?><div class="[$class.name]">[found_count]</div>
|
||
[noprocess] causes [delimiters] to be skipped until the next [/noprocess]
|
||
<?lasso
|
||
/* Lasso 9 */
|
||
define strings_combine(value::string, ...other)::string => {
|
||
local(result = #value->append(#other->asString))
|
||
return #result
|
||
}
|
||
/**! descriptive text */
|
||
define person => type {
|
||
data name::string, protected nickname
|
||
data birthdate::date
|
||
data private ssn = null
|
||
public showName() => return .'name'
|
||
protected fullName() => '"' + .nickname + '"' + .'name'
|
||
public ssnListed => .ssn ? true | false
|
||
}
|
||
define person->name=(value) => {
|
||
.'name' = #value
|
||
return self->'name'
|
||
}
|
||
// query expression
|
||
with n in array(-1, 0xABCD, 3.14159e14)
|
||
let swapped = pair(#n->second, #n->first)
|
||
group #swapped by #n->first into t
|
||
let key = #t->key
|
||
order by #key
|
||
select pair(#key, #t)
|
||
do {^
|
||
#n->upperCase
|
||
^}
|
||
?>
|
||
</code></pre>
|
||
<p><strong>Markdown</strong></p>
|
||
<pre><code># hello world
|
||
|
||
you can write text [with links](http://example.com).
|
||
|
||
* one _thing_ has *em*phasis
|
||
* two __things__ are **bold**
|
||
|
||
---
|
||
|
||
hello world
|
||
===========
|
||
|
||
<this_is inline="xml"></this_is>
|
||
|
||
> markdown is so cool
|
||
|
||
so are code segments
|
||
|
||
1. one thing (yeah!)
|
||
2. two thing `i can write code`, and `more` wipee!
|
||
</code></pre>
|
||
<p><strong>AsciiDoc</strong></p>
|
||
<pre><code>Hello, World!
|
||
============
|
||
Author Name, <author@domain.foo>
|
||
|
||
you can write text http://example.com[with links], optionally
|
||
using an explicit link:http://example.com[link prefix].
|
||
|
||
* single quotes around a phrase place 'emphasis'
|
||
** alternatively, you can put underlines around a phrase to add _emphasis_
|
||
* astericks around a phrase make the text *bold*
|
||
* pluses around a phrase make it +monospaced+
|
||
|
||
- escape characters are supported
|
||
- you can escape a quote inside emphasized text like 'here\'s johnny!'
|
||
|
||
term:: definition
|
||
another term:: another definition
|
||
|
||
// this is just a comment
|
||
|
||
Let's make a break.
|
||
|
||
'''
|
||
|
||
////
|
||
we'll be right with you
|
||
|
||
after this brief interruption.
|
||
////
|
||
|
||
== We're back!
|
||
|
||
Want to see a image::images/tiger.png[Tiger]?
|
||
|
||
.Nested highlighting
|
||
++++
|
||
<this_is inline="xml"></this_is>
|
||
++++
|
||
|
||
____
|
||
asciidoc is so powerful.
|
||
____
|
||
|
||
another quote:
|
||
|
||
[quote, Sir Arthur Conan Doyle, The Adventures of Sherlock Holmes]
|
||
____
|
||
When you have eliminated all which is impossible, then whatever remains, however improbable, must be the truth.
|
||
____
|
||
|
||
Getting Literal
|
||
---------------
|
||
|
||
want to get literal? prefix a line with a space.
|
||
|
||
....
|
||
I'll join that party, too.
|
||
....
|
||
|
||
. one thing (yeah!)
|
||
. two thing `i can write code`, and `more` wipee!
|
||
|
||
NOTE: AsciiDoc is quite cool, you should try it.
|
||
</code></pre>
|
||
<p><strong>Django templates</strong></p>
|
||
<pre><code>{% if articles|length %}
|
||
{% for article in articles %}
|
||
|
||
{# Striped table #}
|
||
<tr class="{% cycle odd,even %}">
|
||
<td>{{ article|default:"Hi... "|escape }}</td>
|
||
<td {% if article.today %}class="today"{% endif %}>{{ article.date|date:"d.m.Y" }}</td>
|
||
</tr>
|
||
|
||
{% endfor %}
|
||
{% endif %}
|
||
|
||
{% comment %}
|
||
Comments may be long and
|
||
multiline.
|
||
{% endcomment %}
|
||
</code></pre>
|
||
<p><strong>Handlebars</strong></p>
|
||
<pre><code><h3>Hours</h3>
|
||
|
||
<ul>
|
||
{{#each content.users}}
|
||
<li {{bindAttr hello="world"}}>{{firstName}}</li>
|
||
{{/each}}
|
||
</ul>
|
||
</code></pre>
|
||
<p><strong>CSS</strong></p>
|
||
<pre><code>@media screen and (-webkit-min-device-pixel-ratio: 0) {
|
||
body:first-of-type pre::after {
|
||
content: 'highlight: ' attr(class);
|
||
}
|
||
body {
|
||
background: linear-gradient(45deg, blue, red);
|
||
}
|
||
}
|
||
|
||
@import url('print.css');
|
||
@page:right {
|
||
margin: 1cm 2cm 1.3cm 4cm;
|
||
}
|
||
|
||
@font-face {
|
||
font-family: Chunkfive; src: url('Chunkfive.otf');
|
||
}
|
||
|
||
div.text,
|
||
#content,
|
||
li[lang=ru] {
|
||
font: Tahoma, Chunkfive, sans-serif;
|
||
background: url('hatch.png') /* wtf? */; color: #F0F0F0 !important;
|
||
width: 100%;
|
||
}
|
||
</code></pre>
|
||
<p><strong>SCSS</strong></p>
|
||
<pre><code>@import "compass/reset";
|
||
|
||
// variables
|
||
$colorGreen: #008000;
|
||
$colorGreenDark: darken($colorGreen, 10);
|
||
|
||
@mixin container {
|
||
max-width: 980px;
|
||
}
|
||
|
||
// mixins with parameters
|
||
@mixin button($color:green) {
|
||
@if ($color == green) {
|
||
background-color: #008000;
|
||
}
|
||
@else if ($color == red) {
|
||
background-color: #B22222;
|
||
}
|
||
}
|
||
|
||
button {
|
||
@include button(red);
|
||
}
|
||
|
||
div,
|
||
.navbar,
|
||
#header,
|
||
input[type="input"] {
|
||
font-family: "Helvetica Neue", Arial, sans-serif;
|
||
width: auto;
|
||
margin: 0 auto;
|
||
display: block;
|
||
}
|
||
|
||
.row-12 > [class*="spans"] {
|
||
border-left: 1px solid #B5C583;
|
||
}
|
||
|
||
// nested definitions
|
||
ul {
|
||
width: 100%;
|
||
padding: {
|
||
left: 5px; right: 5px;
|
||
}
|
||
li {
|
||
float: left; margin-right: 10px;
|
||
.home {
|
||
background: url('http://placehold.it/20') scroll no-repeat 0 0;
|
||
}
|
||
}
|
||
}
|
||
|
||
.banner {
|
||
@extend .container;
|
||
}
|
||
|
||
a {
|
||
color: $colorGreen;
|
||
&:hover { color: $colorGreenDark; }
|
||
&:visited { color: #c458cb; }
|
||
}
|
||
|
||
@for $i from 1 through 5 {
|
||
.span#{$i} {
|
||
width: 20px*$i;
|
||
}
|
||
}
|
||
|
||
@mixin mobile {
|
||
@media screen and (max-width : 600px) {
|
||
@content;
|
||
}
|
||
}
|
||
</code></pre>
|
||
<p><strong>JSON</strong></p>
|
||
<pre><code>[
|
||
{
|
||
"title": "apples",
|
||
"count": [12000, 20000],
|
||
"description": {"text": "...", "sensitive": false}
|
||
},
|
||
{
|
||
"title": "oranges",
|
||
"count": [17500, null],
|
||
"description": {"text": "...", "sensitive": false}
|
||
}
|
||
]
|
||
</code></pre>
|
||
<p><strong>JavaScript</strong></p>
|
||
<pre><code>function $initHighlight(block, flags) {
|
||
try {
|
||
if (block.className.search(/\bno\-highlight\b/) != -1)
|
||
return processBlock(block, true, 0x0F) + ' class=""';
|
||
} catch (e) {
|
||
/* handle exception */
|
||
|
||
var e4x =
|
||
<div>Example
|
||
<p>1234</p></div>;
|
||
}
|
||
for (var i = 0 / 2; i < classes.length; i++) { // "0 / 2" should not be parsed as regexp
|
||
if (checkCondition(classes[i]) === undefined)
|
||
return /\d+[\s/]/g;
|
||
}
|
||
}
|
||
</code></pre>
|
||
<p><strong>CoffeeScript</strong></p>
|
||
<pre><code># Divisions
|
||
x = 6/foo/i
|
||
x = 6 /foo
|
||
x = 6 / foo
|
||
x = 6 /foo * 2/gm
|
||
x = f /foo
|
||
x = f / foo / gm
|
||
x = f /foo * 2/6
|
||
|
||
# Regexps
|
||
x = f /6 * 2/ - 3
|
||
x = f /foo * 2/gm
|
||
x = if true then /\n/ else /[.,]+/
|
||
|
||
grade = (student, period=(if b? then 7 else 6), messages={"A": "Excellent"}) ->
|
||
if student.excellentWork
|
||
"A+"
|
||
else if student.okayStuff
|
||
if student.triedHard then "B" else "B-"
|
||
else
|
||
"C"
|
||
|
||
square = (x) -> x * x
|
||
|
||
two = -> 2
|
||
|
||
math =
|
||
root: Math.sqrt
|
||
square: square
|
||
cube: (x) -> x * square x
|
||
|
||
race = (winner, runners...) ->
|
||
print winner, runners
|
||
|
||
class Animal extends Being
|
||
constructor: (@name) ->
|
||
|
||
move: (meters) ->
|
||
alert @name + " moved #{meters}m."
|
||
|
||
hi = `function() {
|
||
return [document.title, "Hello JavaScript"].join(": ");
|
||
}`
|
||
|
||
heredoc = """
|
||
CoffeeScript subst test #{ 010 + 0xf / 0b10 + "nested string #{ /\n/ }"}
|
||
"""
|
||
|
||
###
|
||
CoffeeScript Compiler v1.2.0
|
||
Released under the MIT License
|
||
###
|
||
|
||
OPERATOR = /// ^ (
|
||
?: [-=]> # function
|
||
) ///
|
||
</code></pre>
|
||
<p><strong>ActionScript</strong></p>
|
||
<pre><code>package org.example.dummy {
|
||
import org.dummy.*;
|
||
|
||
/*define package inline interface*/
|
||
public interface IFooBarzable {
|
||
public function foo(... pairs):Array;
|
||
}
|
||
|
||
public class FooBar implements IFooBarzable {
|
||
static private var cnt:uint = 0;
|
||
private var bar:String;
|
||
|
||
//constructor
|
||
public function TestBar(bar:String):void {
|
||
bar = bar;
|
||
++cnt;
|
||
}
|
||
|
||
public function foo(... pairs):Array {
|
||
pairs.push(bar);
|
||
return pairs;
|
||
}
|
||
}
|
||
}
|
||
</code></pre>
|
||
<p><strong>VB.NET</strong></p>
|
||
<pre><code>Import System
|
||
Import System.IO
|
||
#Const DEBUG = True
|
||
|
||
Namespace Highlighter.Test
|
||
''' <summary>This is an example class.</summary>
|
||
Public Class Program
|
||
Protected Shared hello As Integer = 3
|
||
Private Const ABC As Boolean = False
|
||
|
||
#Region "Code"
|
||
' Cheers!
|
||
<STAThread()> _
|
||
Public Shared Sub Main(ByVal args() As String, ParamArray arr As Object) Handles Form1.Click
|
||
On Error Resume Next
|
||
If ABC Then
|
||
While ABC : Console.WriteLine() : End While
|
||
For i As Long = 0 To 1000 Step 123
|
||
Try
|
||
System.Windows.Forms.MessageBox.Show(CInt("1").ToString())
|
||
Catch ex As Exception ' What are you doing? Well...
|
||
Dim exp = CType(ex, IOException)
|
||
REM ORZ
|
||
Return
|
||
End Try
|
||
Next
|
||
Else
|
||
Dim l As New System.Collections.List<String>()
|
||
SyncLock l
|
||
If TypeOf l Is Decimal And l IsNot Nothing Then
|
||
RemoveHandler button1.Paint, delegate
|
||
End If
|
||
Dim d = New System.Threading.Thread(AddressOf ThreadProc)
|
||
Dim a = New Action(Sub(x, y) x + y)
|
||
Static u = From x As String In l Select x.Substring(2, 4) Where x.Length > 0
|
||
End SyncLock
|
||
Do : Laugh() : Loop Until hello = 4
|
||
End If
|
||
End Sub
|
||
#End Region
|
||
End Class
|
||
End Namespace
|
||
</code></pre>
|
||
<p><strong>HTTP</strong></p>
|
||
<pre><code>POST /task?id=1 HTTP/1.1
|
||
Host: example.org
|
||
Content-Type: application/json; charset=utf-8
|
||
Content-Length: 19
|
||
|
||
{"status": "ok", "extended": true}
|
||
</code></pre>
|
||
<p><strong>Lua</strong></p>
|
||
<pre><code>--[[
|
||
Simple signal/slot implementation
|
||
]]
|
||
local signal_mt = {
|
||
__index = {
|
||
register = table.insert
|
||
}
|
||
}
|
||
function signal_mt.__index:emit(... --[[ Comment in params ]])
|
||
for _, slot in ipairs(self) do
|
||
slot(self, ...)
|
||
end
|
||
end
|
||
local function create_signal()
|
||
return setmetatable({}, signal_mt)
|
||
end
|
||
|
||
-- Signal test
|
||
local signal = create_signal()
|
||
signal:register(function(signal, ...)
|
||
print(...)
|
||
end)
|
||
signal:emit('Answer to Life, the Universe, and Everything:', 42)
|
||
|
||
--[==[ [=[ [[
|
||
Nested ]]
|
||
multi-line ]=]
|
||
comment ]==]
|
||
[==[ Nested
|
||
[=[ multi-line
|
||
[[ string
|
||
]] ]=] ]==]
|
||
</code></pre>
|
||
<p><strong>AppleScript</strong></p>
|
||
<pre><code>repeat 5 times
|
||
if foo is greater than bar then
|
||
display dialog "Hello there"
|
||
else
|
||
beep
|
||
end if
|
||
end repeat
|
||
|
||
(* comment (*nested comment*) *)
|
||
on do_something(s, y)
|
||
return {s + pi, y mod 4}
|
||
end do_something
|
||
|
||
do shell script "/bin/echo 'hello'"
|
||
</code></pre>
|
||
<p><strong>Delphi</strong></p>
|
||
<pre><code>TList=Class(TObject)
|
||
Private
|
||
Some: String;
|
||
Public
|
||
Procedure Inside; // Suxx
|
||
End;{TList}
|
||
|
||
Procedure CopyFile(InFileName,var OutFileName:String);
|
||
Const
|
||
BufSize=4096; (* Huh? *)
|
||
Var
|
||
InFile,OutFile:TStream;
|
||
Buffer:Array[1..BufSize] Of Byte;
|
||
ReadBufSize:Integer;
|
||
Begin
|
||
InFile:=Nil;
|
||
OutFile:=Nil;
|
||
Try
|
||
InFile:=TFileStream.Create(InFileName,fmOpenRead);
|
||
OutFile:=TFileStream.Create(OutFileName,fmCreate);
|
||
Repeat
|
||
ReadBufSize:=InFile.Read(Buffer,BufSize);
|
||
OutFile.Write(Buffer,ReadBufSize);
|
||
Until ReadBufSize<>BufSize;
|
||
Log('File '''+InFileName+''' copied'#13#10);
|
||
Finally
|
||
InFile.Free;
|
||
OutFile.Free;
|
||
End;{Try}
|
||
End;{CopyFile}
|
||
</code></pre>
|
||
<p><strong>Java</strong></p>
|
||
<pre><code>/**
|
||
* @author John Smith <john.smith@example.com>
|
||
* @version 1.0
|
||
*/
|
||
package l2f.gameserver.model;
|
||
|
||
import java.util.ArrayList;
|
||
|
||
public abstract class L2Character extends L2Object {
|
||
public static final Short ABNORMAL_EFFECT_BLEEDING = 0x0001; // not sure
|
||
|
||
public void moveTo(int x, int y, int z) {
|
||
_ai = null;
|
||
_log.warning("Should not be called");
|
||
if (1 > 5) {
|
||
return;
|
||
}
|
||
}
|
||
|
||
/** Task of AI notification */
|
||
@SuppressWarnings( { "nls", "unqualified-field-access", "boxing" })
|
||
public class NotifyAITask implements Runnable {
|
||
private final CtrlEvent _evt;
|
||
|
||
public void run() {
|
||
try {
|
||
getAI().notifyEvent(_evt, null, null);
|
||
} catch (Throwable t) {
|
||
t.printStackTrace();
|
||
}
|
||
}
|
||
}
|
||
}
|
||
</code></pre>
|
||
<p><strong>C++</strong></p>
|
||
<pre><code>#include <iostream>
|
||
|
||
int main(int argc, char *argv[]) {
|
||
|
||
/* An annoying "Hello World" example */
|
||
for (auto i = 0; i < 0xFFFF; i++)
|
||
cout << "Hello, World!" << endl;
|
||
|
||
char c = '\n';
|
||
unordered_map <string, vector<string> > m;
|
||
m["key"] = "\\\\"; // this is an error
|
||
|
||
return -2e3 + 12l;
|
||
}
|
||
</code></pre>
|
||
<p><strong>Objective C</strong></p>
|
||
<pre><code>#import <UIKit/UIKit.h>
|
||
#import "Dependency.h"
|
||
|
||
@protocol WorldDataSource
|
||
@optional
|
||
- (NSString*)worldName;
|
||
@required
|
||
- (BOOL)allowsToLive;
|
||
@end
|
||
|
||
@interface Test : NSObject <HelloDelegate, WorldDataSource> {
|
||
NSString *_greeting;
|
||
}
|
||
|
||
@property (nonatomic, readonly) NSString *greeting;
|
||
- (IBAction) show;
|
||
@end
|
||
|
||
@implementation Test
|
||
|
||
@synthesize test=_test;
|
||
|
||
+ (id) test {
|
||
return [self testWithGreeting:@"Hello, world!\nFoo bar!"];
|
||
}
|
||
|
||
+ (id) testWithGreeting:(NSString*)greeting {
|
||
return [[[self alloc] initWithGreeting:greeting] autorelease];
|
||
}
|
||
|
||
- (id) initWithGreeting:(NSString*)greeting {
|
||
if ( (self = [super init]) ) {
|
||
_greeting = [greeting retain];
|
||
}
|
||
return self;
|
||
}
|
||
|
||
- (void) dealloc {
|
||
[_greeting release];
|
||
[super dealloc];
|
||
}
|
||
|
||
@end
|
||
</code></pre>
|
||
<p><strong>Vala</strong></p>
|
||
<pre><code>using DBus;
|
||
|
||
namespace Test {
|
||
class Foo : Object {
|
||
public signal void some_event (); // definition of the signal
|
||
public void method () {
|
||
some_event (); // emitting the signal (callbacks get invoked)
|
||
}
|
||
}
|
||
}
|
||
|
||
/* defining a class */
|
||
class Track : GLib.Object, Test.Foo { /* subclassing 'GLib.Object' */
|
||
public double mass; /* a public field */
|
||
public double name { get; set; } /* a public property */
|
||
private bool terminated = false; /* a private field */
|
||
public void terminate() { /* a public method */
|
||
terminated = true;
|
||
}
|
||
}
|
||
|
||
const ALL_UPPER_CASE = "you should follow this convention";
|
||
|
||
var t = new Track(); // same as: Track t = new Track();
|
||
var s = "hello"; // same as: string s = "hello";
|
||
var l = new List<int>(); // same as: List<int> l = new List<int>();
|
||
var i = 10; // same as: int i = 10;
|
||
|
||
|
||
#if (ololo)
|
||
Regex regex = /foo/;
|
||
#endif
|
||
|
||
/*
|
||
* Entry point can be outside class
|
||
*/
|
||
void main () {
|
||
var long_string = """
|
||
Example of "verbatim string".
|
||
Same as in @"string" in C#
|
||
"""
|
||
var foo = new Foo ();
|
||
foo.some_event.connect (callback_a); // connecting the callback functions
|
||
foo.some_event.connect (callback_b);
|
||
foo.method ();
|
||
}
|
||
</code></pre>
|
||
<p><strong>C</strong></p>
|
||
<pre><code>using System;
|
||
|
||
#pragma warning disable 414, 3021
|
||
|
||
public class Program
|
||
{
|
||
/// <summary>The entry point to the program.</summary>
|
||
public static int Main(string[] args)
|
||
{
|
||
Console.WriteLine("Hello, World!");
|
||
string s = @"This
|
||
""string""
|
||
spans
|
||
multiple
|
||
lines!";
|
||
return 0;
|
||
}
|
||
}
|
||
|
||
async Task<int> AccessTheWebAsync()
|
||
{
|
||
// ...
|
||
string urlContents = await getStringTask;
|
||
return urlContents.Length;
|
||
}
|
||
</code></pre>
|
||
<p><strong>F</strong></p>
|
||
<pre><code>open System
|
||
|
||
// Single line comment...
|
||
(*
|
||
This is a
|
||
multiline comment.
|
||
*)
|
||
let checkList alist =
|
||
match alist with
|
||
| [] -> 0
|
||
| [a] -> 1
|
||
| [a; b] -> 2
|
||
| [a; b; c] -> 3
|
||
| _ -> failwith "List is too big!"
|
||
|
||
|
||
type IEncoding =
|
||
abstract Encode : string -> string
|
||
abstract Decode : string -> string
|
||
|
||
let text = "Some text..."
|
||
let text2 = @"A ""verbatim"" string..."
|
||
let catalog = """
|
||
Some "long" string...
|
||
"""
|
||
|
||
let rec fib x = if x <= 2 then 1 else fib(x-1) + fib(x-2)
|
||
|
||
let fibs =
|
||
Async.Parallel [ for i in 0..40 -> async { return fib(i) } ]
|
||
|> Async.RunSynchronously
|
||
|
||
type Sprocket(gears) =
|
||
member this.Gears : int = gears
|
||
|
||
[<AbstractClass>]
|
||
type Animal =
|
||
abstract Speak : unit -> unit
|
||
|
||
type Widget =
|
||
| RedWidget
|
||
| GreenWidget
|
||
|
||
type Point = {X: float; Y: float;}
|
||
|
||
[<Measure>]
|
||
type s
|
||
let minutte = 60<s>
|
||
</code></pre>
|
||
<p><strong>D</strong></p>
|
||
<pre><code>#!/usr/bin/rdmd
|
||
// Computes average line length for standard input.
|
||
import std.stdio;
|
||
|
||
/+
|
||
this is a /+ nesting +/ comment
|
||
+/
|
||
|
||
enum COMPILED_ON = __TIMESTAMP__; // special token
|
||
|
||
enum character = '©';
|
||
enum copy_valid = '&copy;';
|
||
enum backslash_escaped = '\\';
|
||
|
||
// string literals
|
||
enum str = `hello "world"!`;
|
||
enum multiline = r"lorem
|
||
ipsum
|
||
dolor"; // wysiwyg string, no escapes here allowed
|
||
enum multiline2 = "sit
|
||
amet
|
||
\"adipiscing\"
|
||
elit.";
|
||
enum hex = x"66 6f 6f"; // same as "foo"
|
||
|
||
#line 5
|
||
|
||
// float literals
|
||
enum f = [3.14f, .1, 1., 1e100, 0xc0de.01p+100];
|
||
|
||
static if (something == true) {
|
||
import std.algorithm;
|
||
}
|
||
|
||
void main() pure nothrow @safe {
|
||
ulong lines = 0;
|
||
double sumLength = 0;
|
||
foreach (line; stdin.byLine()) {
|
||
++lines;
|
||
sumLength += line.length;
|
||
}
|
||
writeln("Average line length: ",
|
||
lines ? sumLength / lines : 0);
|
||
}
|
||
</code></pre>
|
||
<p><strong>RenderMan RSL</strong></p>
|
||
<pre><code>#define TEST_DEFINE 3.14
|
||
/* plastic surface shader
|
||
*
|
||
* Pixie is:
|
||
* (c) Copyright 1999-2003 Okan Arikan. All rights reserved.
|
||
*/
|
||
|
||
surface plastic (float Ka = 1, Kd = 0.5, Ks = 0.5, roughness = 0.1;
|
||
color specularcolor = 1;) {
|
||
normal Nf = faceforward (normalize(N),I);
|
||
Ci = Cs * (Ka*ambient() + Kd*diffuse(Nf)) + specularcolor * Ks *
|
||
specular(Nf,-normalize(I),roughness);
|
||
Oi = Os;
|
||
Ci *= Oi;
|
||
}
|
||
</code></pre>
|
||
<p><strong>RenderMan RIB</strong></p>
|
||
<pre><code>FrameBegin 0
|
||
Display "Scene" "framebuffer" "rgb"
|
||
Option "searchpath" "shader" "+&:/home/kew"
|
||
Option "trace" "int maxdepth" [4]
|
||
Attribute "visibility" "trace" [1]
|
||
Attribute "irradiance" "maxerror" [0.1]
|
||
Attribute "visibility" "transmission" "opaque"
|
||
Format 640 480 1.0
|
||
ShadingRate 2
|
||
PixelFilter "catmull-rom" 1 1
|
||
PixelSamples 4 4
|
||
Projection "perspective" "fov" 49.5502811377
|
||
Scale 1 1 -1
|
||
|
||
WorldBegin
|
||
|
||
ReadArchive "Lamp.002_Light/instance.rib"
|
||
Surface "plastic"
|
||
ReadArchive "Cube.004_Mesh/instance.rib"
|
||
# ReadArchive "Sphere.010_Mesh/instance.rib"
|
||
# ReadArchive "Sphere.009_Mesh/instance.rib"
|
||
ReadArchive "Sphere.006_Mesh/instance.rib"
|
||
|
||
WorldEnd
|
||
FrameEnd
|
||
</code></pre>
|
||
<p><strong>MEL (Maya Embedded Language)</strong></p>
|
||
<pre><code>proc string[] getSelectedLights()
|
||
|
||
{
|
||
string $selectedLights[];
|
||
|
||
string $select[] = `ls -sl -dag -leaf`;
|
||
|
||
for ( $shape in $select )
|
||
{
|
||
// Determine if this is a light.
|
||
//
|
||
string $class[] = getClassification( `nodeType $shape` );
|
||
|
||
|
||
if ( ( `size $class` ) > 0 && ( "light" == $class[0] ) )
|
||
{
|
||
$selectedLights[ `size $selectedLights` ] = $shape;
|
||
}
|
||
}
|
||
|
||
// Result is an array of all lights included in
|
||
|
||
// current selection list.
|
||
return $selectedLights;
|
||
}
|
||
</code></pre>
|
||
<p><strong>GLSL</strong></p>
|
||
<pre><code>// vertex shader
|
||
#version 150
|
||
in vec2 in_Position;
|
||
in vec3 in_Color;
|
||
|
||
out vec3 ex_Color;
|
||
void main(void) {
|
||
gl_Position = vec4(in_Position.x, in_Position.y, 0.0, 1.0);
|
||
ex_Color = in_Color;
|
||
}
|
||
|
||
|
||
// geometry shader
|
||
#version 150
|
||
|
||
layout(triangles) in;
|
||
layout(triangle_strip, max_vertices = 3) out;
|
||
|
||
void main() {
|
||
for(int i = 0; i < gl_in.length(); i++) {
|
||
gl_Position = gl_in[i].gl_Position;
|
||
EmitVertex();
|
||
}
|
||
EndPrimitive();
|
||
}
|
||
|
||
|
||
// fragment shader
|
||
#version 150
|
||
precision highp float;
|
||
|
||
in vec3 ex_Color;
|
||
out vec4 gl_FragColor;
|
||
|
||
void main(void) {
|
||
gl_FragColor = vec4(ex_Color, 1.0);
|
||
}
|
||
</code></pre>
|
||
<p><strong>SQL</strong></p>
|
||
<pre><code>BEGIN;
|
||
CREATE TABLE "topic" (
|
||
"id" serial NOT NULL PRIMARY KEY,
|
||
"forum_id" integer NOT NULL,
|
||
"subject" varchar(255) NOT NULL
|
||
);
|
||
ALTER TABLE "topic" ADD CONSTRAINT forum_id FOREIGN KEY ("forum_id") REFERENCES "forum" ("id");
|
||
|
||
-- Initials
|
||
insert into "topic" ("forum_id", "subject") values (2, 'D''artagnian');
|
||
|
||
select count(*) from cicero_forum;
|
||
|
||
-- this line lacks ; at the end to allow people to be sloppy and omit it in one-liners
|
||
COMMIT
|
||
</code></pre>
|
||
<p><strong>SmallTalk</strong></p>
|
||
<pre><code>Object>>method: num
|
||
"comment 123"
|
||
| var1 var2 |
|
||
(1 to: num) do: [:i | |var| ^i].
|
||
Klass with: var1.
|
||
Klass new.
|
||
arr := #('123' 123.345 #hello Transcript var $@).
|
||
arr := #().
|
||
var2 = arr at: 3.
|
||
^ self abc
|
||
|
||
heapExample
|
||
"HeapTest new heapExample"
|
||
"Multiline
|
||
decription"
|
||
| n rnd array time sorted |
|
||
n := 5000.
|
||
"# of elements to sort"
|
||
rnd := Random new.
|
||
array := (1 to: n)
|
||
collect: [:i | rnd next].
|
||
"First, the heap version"
|
||
time := Time
|
||
millisecondsToRun: [sorted := Heap withAll: array.
|
||
1
|
||
to: n
|
||
do: [:i |
|
||
sorted removeFirst.
|
||
sorted add: rnd next]].
|
||
Transcript cr; show: 'Time for Heap: ' , time printString , ' msecs'.
|
||
"The quicksort version"
|
||
time := Time
|
||
millisecondsToRun: [sorted := SortedCollection withAll: array.
|
||
1
|
||
to: n
|
||
do: [:i |
|
||
sorted removeFirst.
|
||
sorted add: rnd next]].
|
||
Transcript cr; show: 'Time for SortedCollection: ' , time printString , ' msecs'
|
||
</code></pre>
|
||
<p><strong>Lisp</strong></p>
|
||
<pre><code>#!/usr/bin/env csi
|
||
|
||
(defun prompt-for-cd ()
|
||
"Prompts
|
||
for CD"
|
||
(prompt-read "Title" 1.53 1 2/4 1.7 1.7e0 2.9E-4 +42 -7 #b001 #b001/100 #o777 #O777 #xabc55 #c(0 -5.6))
|
||
(prompt-read "Artist" &rest)
|
||
(or (parse-integer (prompt-read "Rating") :junk-allowed t) 0)
|
||
(if x (format t "yes") (format t "no" nil) ;and here comment
|
||
)
|
||
;; second line comment
|
||
'(+ 1 2)
|
||
(defvar *lines*) ; list of all lines
|
||
(position-if-not #'sys::whitespacep line :start beg))
|
||
(quote (privet 1 2 3))
|
||
'(hello world)
|
||
(* 5 7)
|
||
(1 2 34 5)
|
||
(:use "aaaa")
|
||
(let ((x 10) (y 20))
|
||
(print (+ x y))
|
||
)
|
||
</code></pre>
|
||
<p><strong>Clojure</strong></p>
|
||
<pre><code>; You must not remove this notice, or any other, from this software.
|
||
|
||
(ns ^{:doc "The core Clojure language."
|
||
:author "Rich Hickey"}
|
||
clojure.core)
|
||
|
||
(def unquote)
|
||
|
||
(def
|
||
^{:macro true
|
||
:added "1.0"}
|
||
let (fn* let [&form &env & decl] (cons 'let* decl)))
|
||
|
||
(def
|
||
|
||
defn (fn defn [&form &env name & fdecl]
|
||
(let [m (conj {:arglists (list 'quote (sigs fdecl))} m)
|
||
m (let [inline (:inline m)
|
||
ifn (first inline)
|
||
iname (second inline)]
|
||
;; same as: (if (and (= 'fn ifn) (not (symbol? iname))) ...)
|
||
(if (if (clojure.lang.Util/equiv 'fn ifn)
|
||
(if (instance? clojure.lang.Symbol iname) false true))
|
||
;; inserts the same fn name to the inline fn if it does not have one
|
||
(assoc m :inline (cons ifn (cons (clojure.lang.Symbol/intern (.concat (.getName ^clojure.lang.Symbol name) "__inliner"))
|
||
(next inline))))
|
||
m))
|
||
m (conj (if (meta name) (meta name) {}) m)]
|
||
(list 'def (with-meta name m)
|
||
;;todo - restore propagation of fn name
|
||
;;must figure out how to convey primitive hints to self calls first
|
||
(cons `fn fdecl) ))))
|
||
|
||
(. (var defn) (setMacro))
|
||
</code></pre>
|
||
<p><strong>Ini file</strong></p>
|
||
<pre><code>;Settings relating to the location and loading of the database
|
||
[Database]
|
||
ProfileDir=.
|
||
ShowProfileMgr=smart
|
||
Profile1_Name[] = "\|/_-=MegaDestoyer=-_\|/"
|
||
DefaultProfile=True
|
||
AutoCreate = no
|
||
|
||
[AutoExec]
|
||
use-prompt="prompt"
|
||
Glob=autoexec_*.ini
|
||
AskAboutIgnoredPlugins=0
|
||
</code></pre>
|
||
<p><strong>Apache</strong></p>
|
||
<pre><code># rewrite`s rules for wordpress pretty url
|
||
LoadModule rewrite_module modules/mod_rewrite.so
|
||
RewriteCond %{REQUEST_FILENAME} !-f
|
||
RewriteCond %{REQUEST_FILENAME} !-d
|
||
RewriteRule . index.php [NC,L]
|
||
|
||
ExpiresActive On
|
||
ExpiresByType application/x-javascript "access plus 1 days"
|
||
|
||
<Location /maps/>
|
||
RewriteMap map txt:map.txt
|
||
RewriteMap lower int:tolower
|
||
RewriteCond %{REQUEST_URI} ^/([^/.]+)\.html$ [NC]
|
||
RewriteCond ${map:${lower:%1}|NOT_FOUND} !NOT_FOUND
|
||
RewriteRule .? /index.php?q=${map:${lower:%1}} [NC,L]
|
||
</Location>
|
||
</code></pre>
|
||
<p><strong>nginx</strong></p>
|
||
<pre><code>user www www;
|
||
worker_processes 2;
|
||
pid /var/run/nginx.pid;
|
||
error_log /var/log/nginx.error_log debug | info | notice | warn | error | crit;
|
||
|
||
events {
|
||
connections 2000;
|
||
use kqueue | rtsig | epoll | /dev/poll | select | poll;
|
||
}
|
||
|
||
http {
|
||
log_format main '$remote_addr - $remote_user [$time_local] '
|
||
'"$request" $status $bytes_sent '
|
||
'"$http_referer" "$http_user_agent" '
|
||
'"$gzip_ratio"';
|
||
|
||
send_timeout 3m;
|
||
client_header_buffer_size 1k;
|
||
|
||
gzip on;
|
||
gzip_min_length 1100;
|
||
|
||
#lingering_time 30;
|
||
|
||
server {
|
||
server_name one.example.com www.one.example.com;
|
||
access_log /var/log/nginx.access_log main;
|
||
|
||
rewrite (.*) /index.php?page=$1 break;
|
||
|
||
location / {
|
||
proxy_pass http://127.0.0.1/;
|
||
proxy_redirect off;
|
||
proxy_set_header Host $host;
|
||
proxy_set_header X-Real-IP $remote_addr;
|
||
charset koi8-r;
|
||
}
|
||
|
||
location /api/ {
|
||
fastcgi_pass 127.0.0.1:9000;
|
||
}
|
||
|
||
location ~* \.(jpg|jpeg|gif)$ {
|
||
root /spool/www;
|
||
}
|
||
}
|
||
}
|
||
</code></pre>
|
||
<p><strong>Diff</strong></p>
|
||
<pre><code>Index: languages/ini.js
|
||
===================================================================
|
||
--- languages/ini.js (revision 199)
|
||
+++ languages/ini.js (revision 200)
|
||
@@ -1,8 +1,7 @@
|
||
hljs.LANGUAGES.ini =
|
||
{
|
||
case_insensitive: true,
|
||
- defaultMode:
|
||
- {
|
||
+ defaultMode: {
|
||
contains: ['comment', 'title', 'setting'],
|
||
illegal: '[^\\s]'
|
||
},
|
||
|
||
*** /path/to/original timestamp
|
||
--- /path/to/new timestamp
|
||
***************
|
||
*** 1,3 ****
|
||
--- 1,9 ----
|
||
+ This is an important
|
||
+ notice! It should
|
||
+ therefore be located at
|
||
+ the beginning of this
|
||
+ document!
|
||
|
||
! compress the size of the
|
||
! changes.
|
||
|
||
It is important to spell
|
||
</code></pre>
|
||
<p><strong>DOS batch files</strong></p>
|
||
<pre><code>cd \
|
||
copy a b
|
||
ping 192.168.0.1
|
||
@rem ping 192.168.0.1
|
||
net stop sharedaccess
|
||
del %tmp% /f /s /q
|
||
del %temp% /f /s /q
|
||
ipconfig /flushdns
|
||
taskkill /F /IM JAVA.EXE /T
|
||
|
||
cd Photoshop/Adobe Photoshop CS3/AMT/
|
||
if exist application.sif (
|
||
ren application.sif _application.sif
|
||
) else (
|
||
ren _application.sif application.sif
|
||
)
|
||
|
||
taskkill /F /IM proquota.exe /T
|
||
|
||
sfc /SCANNOW
|
||
|
||
set path = test
|
||
|
||
xcopy %1\*.* %2
|
||
</code></pre>
|
||
<p><strong>Bash</strong></p>
|
||
<pre><code>#!/bin/bash
|
||
|
||
###### BEGIN CONFIG
|
||
ACCEPTED_HOSTS="/root/.hag_accepted.conf"
|
||
BE_VERBOSE=false
|
||
###### END CONFIG
|
||
|
||
if [ "$UID" -ne 0 ]
|
||
then
|
||
echo "Superuser rights is required"
|
||
echo 'Printing the # sign'
|
||
exit 2
|
||
fi
|
||
|
||
if test $# -eq 0
|
||
then
|
||
elif test [ $1 == 'start' ]
|
||
else
|
||
fi
|
||
|
||
genApacheConf(){
|
||
if [[ "$2" = "www" ]]
|
||
then
|
||
full_domain=$1
|
||
else
|
||
full_domain=$2.$1
|
||
fi
|
||
host_root="${APACHE_HOME_DIR}$1/$2/$(title)"
|
||
echo -e "# Host $1/$2 :"
|
||
}
|
||
</code></pre>
|
||
<p><strong>CMake</strong></p>
|
||
<pre><code>project(test)
|
||
cmake_minimum_required(VERSION 2.6)
|
||
|
||
# IF LINUX
|
||
if (${CMAKE_SYSTEM_NAME} MATCHES Linux)
|
||
message("\nOS:\t\tLinux")
|
||
endif()
|
||
|
||
# IF WINDOWS
|
||
if (${CMAKE_SYSTEM_NAME} MATCHES Windows)
|
||
message("\nOS:\t\tWindows")
|
||
endif()
|
||
|
||
set(test test0.cpp test1.cpp test2.cpp)
|
||
|
||
include_directories(./)
|
||
|
||
set(EXECUTABLE_OUTPUT_PATH ../bin)
|
||
|
||
add_subdirectory(src)
|
||
|
||
add_executable(test WIN32 ${test})
|
||
|
||
target_link_libraries(test msimg32)
|
||
</code></pre>
|
||
<p><strong>Axapta</strong></p>
|
||
<pre><code>class ExchRateLoadBatch extends RunBaseBatch {
|
||
ExchRateLoad rbc;
|
||
container currencies;
|
||
boolean actual;
|
||
boolean overwrite;
|
||
date beg;
|
||
date end;
|
||
|
||
#define.CurrentVersion(5)
|
||
|
||
#localmacro.CurrentList
|
||
currencies,
|
||
actual,
|
||
beg,
|
||
end
|
||
#endmacro
|
||
}
|
||
|
||
public boolean unpack(container packedClass) {
|
||
container base;
|
||
boolean ret;
|
||
Integer version = runbase::getVersion(packedClass);
|
||
|
||
switch (version) {
|
||
case #CurrentVersion:
|
||
[version, #CurrentList] = packedClass;
|
||
return true;
|
||
default:
|
||
return false;
|
||
}
|
||
return ret;
|
||
}
|
||
</code></pre>
|
||
<p><strong>Oracle Rules Language</strong></p>
|
||
<pre><code>//This is a comment
|
||
ABORT "You experienced an abort.";
|
||
WARN "THIS IS A WARNING";
|
||
CALL "RIDER_X";
|
||
DONE;
|
||
FOR EACH X IN CSV_FILE "d:\lodestar\user\d377.lse"
|
||
LEAVE FOR;
|
||
END FOR;
|
||
IF ((BILL_KW = 0) AND (KW > 0)) THEN
|
||
END IF;
|
||
INCLUDE "R1";
|
||
LEAVE RIDER;
|
||
SELECT BILL_PERIOD
|
||
WHEN "WINTER"
|
||
BLOCK KWH
|
||
FROM 0 TO 400 CHARGE $0.03709
|
||
FROM 400 CHARGE $0.03000
|
||
TOTAL $ENERGY_CHARGE_WIN;
|
||
WHEN "SUMMER"
|
||
$VOLTAGE_DISCOUNT_SUM = $0.00
|
||
OTHERWISE
|
||
$VOLTAGE_DISCOUNT_SUM = $1.00
|
||
END SELECT;
|
||
/* Report top five peaks */
|
||
LABEL PK.NM "Peak Number";
|
||
SAVE_UPDATE MV TO TABLE "METERVALUE";
|
||
|
||
FOR EACH INX IN ARRAYUPPERBOUND(#MYARRAY[])
|
||
#MYARRAY[INX].VALUE = 2;
|
||
CLEAR #MYARRAY[];
|
||
END FOR
|
||
|
||
//Interval Data
|
||
HNDL_1_ADD_EDI = INTDADDATTRIBUTE(HNDL_1, "EDI_TRANSACTION", EDI_ID);
|
||
HNDL_1_ADD_VAL_MSG = INTDADDVMSG(HNDL_1,"Missing (Status Code 9) values found");
|
||
EMPTY_HNDL = INTDCREATEHANDLE('05/03/2006 00:00:00', '05/03/2006 23:59:59', 3600, "Y", "0", " ");
|
||
</code></pre>
|
||
<p><strong>1С</strong></p>
|
||
<pre><code>#Если Клиент Тогда
|
||
Перем СимвольныйКодКаталога = "ля-ля-ля"; //комментарий
|
||
Функция Сообщить(Знач ТекстСообщения, ТекстСообщения2) Экспорт //комментарий к функции
|
||
x=ТекстСообщения+ТекстСообщения2+"
|
||
|строка1
|
||
|строка2
|
||
|строка3";
|
||
КонецФункции
|
||
#КонецЕсли
|
||
|
||
// Процедура ПриНачалеРаботыСистемы
|
||
//
|
||
Процедура ПриНачалеРаботыСистемы()
|
||
Обработки.Помощник.ПолучитьФорму("Форма").Открыть();
|
||
d = '21.01.2008'
|
||
КонецПроцедуры
|
||
</code></pre>
|
||
<p><strong>AVR Assembler</strong></p>
|
||
<pre><code>;* Title: Block Copy Routines
|
||
;* Version: 1.1
|
||
|
||
.include "8515def.inc"
|
||
|
||
rjmp RESET ;reset handle
|
||
|
||
.def flashsize=r16 ;size of block to be copied
|
||
|
||
flash2ram:
|
||
lpm ;get constant
|
||
st Y+,r0 ;store in SRAM and increment Y-pointer
|
||
adiw ZL,1 ;increment Z-pointer
|
||
dec flashsize
|
||
brne flash2ram ;if not end of table, loop more
|
||
ret
|
||
|
||
.def ramtemp =r1 ;temporary storage register
|
||
.def ramsize =r16 ;size of block to be copied
|
||
</code></pre>
|
||
<p><strong>VHDL</strong></p>
|
||
<pre><code> /*
|
||
* RS-trigger with assynch. reset
|
||
*/
|
||
|
||
library ieee;
|
||
use ieee.std_logic_1164.all;
|
||
|
||
entity RS_trigger is
|
||
generic (T: Time := 0ns);
|
||
port ( R, S : in std_logic;
|
||
Q, nQ : out std_logic;
|
||
reset, clock : in std_logic );
|
||
end RS_trigger;
|
||
|
||
architecture behaviour of RS_trigger is
|
||
signal QT: std_logic; -- Q(t)
|
||
begin
|
||
process(clock, reset) is
|
||
subtype RS is std_logic_vector (1 downto 0);
|
||
begin
|
||
if reset = '0' then
|
||
QT <= '0';
|
||
else
|
||
if rising_edge(C) then
|
||
if not (R'stable(T) and S'stable(T)) then
|
||
QT <= 'X';
|
||
else
|
||
case RS'(R&S) is
|
||
when "01" => QT <= '1';
|
||
when "10" => QT <= '0';
|
||
when "11" => QT <= 'X';
|
||
when others => null;
|
||
end case;
|
||
end if;
|
||
end if;
|
||
end if;
|
||
end process;
|
||
|
||
Q <= QT;
|
||
nQ <= not QT;
|
||
end architecture behaviour;
|
||
</code></pre>
|
||
<p><strong>Parser 3</strong></p>
|
||
<pre><code>@CLASS
|
||
base
|
||
|
||
@USE
|
||
module.p
|
||
|
||
@BASE
|
||
class
|
||
|
||
# Comment for code
|
||
@create[aParam1;aParam2][local1;local2]
|
||
^connect[mysql://host/database?ClientCharset=windows-1251]
|
||
^for[i](1;10){
|
||
<p class="paragraph">^eval($i+10)</p>
|
||
^connect[mysql://host/database]{
|
||
$tab[^table::sql{select * from `table` where a='1'}]
|
||
$var_Name[some${value}]
|
||
}
|
||
}
|
||
|
||
^rem{
|
||
Multiline comment with code: $var
|
||
^while(true){
|
||
^for[i](1;10){
|
||
^sleep[]
|
||
}
|
||
}
|
||
}
|
||
^taint[^#0A]
|
||
|
||
@GET_base[]
|
||
## Comment for code
|
||
# Isn't comment
|
||
$result[$.hash_item1[one] $.hash_item2[two]]
|
||
</code></pre>
|
||
<p><strong>TeX</strong></p>
|
||
<pre><code>\documentclass{article}
|
||
\usepackage[koi8-r]{inputenc}
|
||
\hoffset=0pt
|
||
\voffset=.3em
|
||
\tolerance=400
|
||
\newcommand{\eTiX}{\TeX}
|
||
\begin{document}
|
||
\section*{Highlight.js}
|
||
\begin{table}[c|c]
|
||
$\frac 12\, + \, \frac 1{x^3}\text{Hello \! world}$ & \textbf{Goodbye\~ world} \\\eTiX $ \pi=400 $
|
||
\end{table}
|
||
Ch\'erie, \c{c}a ne me pla\^\i t pas! % comment \b
|
||
G\"otterd\"ammerung~45\%=34.
|
||
$$
|
||
\int\limits_{0}^{\pi}\frac{4}{x-7}=3
|
||
$$
|
||
\end{document}
|
||
</code></pre>
|
||
<p><strong>Haskell</strong></p>
|
||
<pre><code>{-# LANGUAGE TypeSynonymInstances #-}
|
||
module Network.UDP
|
||
( DataPacket(..)
|
||
, openBoundUDPPort
|
||
, openListeningUDPPort
|
||
, pingUDPPort
|
||
, sendUDPPacketTo
|
||
, recvUDPPacket
|
||
, recvUDPPacketFrom
|
||
) where
|
||
|
||
{- this is a {- nested -} comment -}
|
||
|
||
import qualified Data.ByteString as Strict (ByteString, concat, singleton)
|
||
import qualified Data.ByteString.Lazy as Lazy (ByteString, toChunks, fromChunks)
|
||
import Data.ByteString.Char8 (pack, unpack)
|
||
import Network.Socket hiding (sendTo, recv, recvFrom)
|
||
import Network.Socket.ByteString (sendTo, recv, recvFrom)
|
||
|
||
-- Type class for converting StringLike types to and from strict ByteStrings
|
||
class DataPacket a where
|
||
toStrictBS :: a -> Strict.ByteString
|
||
fromStrictBS :: Strict.ByteString -> a
|
||
|
||
instance DataPacket Strict.ByteString where
|
||
toStrictBS = id
|
||
{-# INLINE toStrictBS #-}
|
||
fromStrictBS = id
|
||
{-# INLINE fromStrictBS #-}
|
||
|
||
openBoundUDPPort :: String -> Int -> IO Socket
|
||
openBoundUDPPort uri port = do
|
||
s <- getUDPSocket
|
||
bindAddr <- inet_addr uri
|
||
let a = SockAddrInet (toEnum port) bindAddr
|
||
bindSocket s a
|
||
return s
|
||
|
||
pingUDPPort :: Socket -> SockAddr -> IO ()
|
||
pingUDPPort s a = sendTo s (Strict.singleton 0) a >> return ()
|
||
</code></pre>
|
||
<p><strong>Erlang</strong></p>
|
||
<pre><code>-module(ssh_cli).
|
||
|
||
-behaviour(ssh_channel).
|
||
|
||
-include("ssh.hrl").
|
||
%% backwards compatibility
|
||
-export([listen/1, listen/2, listen/3, listen/4, stop/1]).
|
||
|
||
%% state
|
||
-record(state, {
|
||
cm,
|
||
channel
|
||
}).
|
||
|
||
test(Foo)->Foo.
|
||
|
||
init([Shell, Exec]) ->
|
||
{ok, #state{shell = Shell, exec = Exec}};
|
||
init([Shell]) ->
|
||
false = not true,
|
||
io:format("Hello, \"~p!~n", [atom_to_list('World')]),
|
||
{ok, #state{shell = Shell}}.
|
||
|
||
concat([Single]) -> Single;
|
||
concat(RList) ->
|
||
EpsilonFree = lists:filter(
|
||
fun (Element) ->
|
||
case Element of
|
||
epsilon -> false;
|
||
_ -> true
|
||
end
|
||
end,
|
||
RList),
|
||
case EpsilonFree of
|
||
[Single] -> Single;
|
||
Other -> {concat, Other}
|
||
end.
|
||
|
||
union_dot_union({union, _}=U1, {union, _}=U2) ->
|
||
union(lists:flatten(
|
||
lists:map(
|
||
fun (X1) ->
|
||
lists:map(
|
||
fun (X2) ->
|
||
concat([X1, X2])
|
||
end,
|
||
union_to_list(U2)
|
||
)
|
||
end,
|
||
union_to_list(U1)
|
||
))).
|
||
</code></pre>
|
||
<p><strong>Erlang REPL</strong></p>
|
||
<pre><code>1> Str = "abcd".
|
||
"abcd"
|
||
2> L = test:length(Str).
|
||
4
|
||
3> Descriptor = {L, list_to_atom(Str)}.
|
||
{4,abcd}
|
||
4> L.
|
||
4
|
||
5> b().
|
||
Descriptor = {4,abcd}
|
||
L = 4
|
||
Str = "abcd"
|
||
ok
|
||
6> f(L).
|
||
ok
|
||
7> b().
|
||
Descriptor = {4,abcd}
|
||
Str = "abcd"
|
||
ok
|
||
8> {L, _} = Descriptor.
|
||
{4,abcd}
|
||
9> L.
|
||
4
|
||
10> 2#101.
|
||
5
|
||
11> 1.85e+3.
|
||
1850
|
||
</code></pre>
|
||
<p><strong>Rust</strong></p>
|
||
<pre><code>use std;
|
||
|
||
import std::io;
|
||
export fac, test1;
|
||
|
||
123; // type int
|
||
123u; // type uint
|
||
123_u; // type uint
|
||
0xff00; // type int
|
||
0xff_u8; // type u8
|
||
0b1111_1111_1001_0000_i32; // type i32
|
||
123.0; // type float
|
||
0.1; // type float
|
||
3f; // type float
|
||
0.1f32; // type f32
|
||
12E+99_f64; // type f64
|
||
|
||
/* Factorial */
|
||
fn fac(n: int) -> int {
|
||
let s: str = "This is
|
||
a multi-line string.
|
||
|
||
It ends with an unescaped '\"'.";
|
||
let c: char = 'Ф';
|
||
|
||
let result = 1, i = 1;
|
||
while i <= n { // No parens around the condition
|
||
result *= i;
|
||
i += 1;
|
||
}
|
||
ret result;
|
||
}
|
||
|
||
pure fn pure_length<T>(ls: list<T>) -> uint { /* ... */ }
|
||
|
||
type t = map::hashtbl<int,str>;
|
||
let x = id::<int>(10);
|
||
|
||
// Define some modules.
|
||
#[path = "foo.rs"]
|
||
mod foo;
|
||
|
||
iface seq<T> {
|
||
fn len() -> uint;
|
||
}
|
||
|
||
impl <T> of seq<T> for [T] {
|
||
fn len() -> uint { vec::len(self) }
|
||
fn iter(b: fn(T)) {
|
||
for elt in self { b(elt); }
|
||
}
|
||
}
|
||
|
||
enum list<T> {
|
||
nil;
|
||
cons(T, @list<T>);
|
||
}
|
||
|
||
let a: list<int> = cons(7, @cons(13, @nil));
|
||
</code></pre>
|
||
<p><strong>Matlab</strong></p>
|
||
<pre><code>n = 20; % number of points
|
||
points = [random('unid', 100, n, 1), random('unid', 100, n, 1)];
|
||
len = zeros(1, n - 1);
|
||
points = sortrows(points);
|
||
%% Initial set of points
|
||
plot(points(:,1),points(:,2));
|
||
for i = 1: n-1
|
||
len(i) = points(i + 1, 1) - points(i, 1);
|
||
end
|
||
while(max(len) > 2 * min(len))
|
||
[d, i] = max(len);
|
||
k = on_margin(points, i, d, -1);
|
||
m = on_margin(points, i + 1, d, 1);
|
||
xm = 0; ym = 0;
|
||
%% New point
|
||
if(i == 1 || i + 1 == n)
|
||
xm = mean(points([i,i+1],1))
|
||
ym = mean(points([i,i+1],2))
|
||
else
|
||
[xm, ym] = dlg1(points([k, i, i + 1, m], 1), ...
|
||
points([k, i, i + 1, m], 2))
|
||
end
|
||
|
||
points = [ points(1:i, :); [xm, ym]; points(i + 1:end, :)];
|
||
end
|
||
|
||
function [net] = get_fit_network(inputs, targets)
|
||
% Create Network
|
||
numHiddenNeurons = 20; % Adjust as desired
|
||
net = newfit(inputs,targets,numHiddenNeurons);
|
||
net.trainParam.goal = 0.01;
|
||
net.trainParam.epochs = 1000;
|
||
% Train and Apply Network
|
||
[net,tr] = train(net,inputs,targets);
|
||
end
|
||
|
||
foo_matrix = [1, 2, 3; 4, 5, 6]''';
|
||
foo_cell = {1, 2, 3; 4, 5, 6}''.'.';
|
||
</code></pre>
|
||
<p><strong>R</strong></p>
|
||
<pre><code>library(ggplot2)
|
||
|
||
centre <- function(x, type, ...) {
|
||
switch(type,
|
||
mean = mean(x),
|
||
median = median(x),
|
||
trimmed = mean(x, trim = .1))
|
||
}
|
||
|
||
myVar1
|
||
myVar.2
|
||
data$x
|
||
foo "bar" baz
|
||
# test "test"
|
||
"test # test"
|
||
|
||
(123) (1) (10) (0.1) (.2) (1e-7)
|
||
(1.2e+7) (2e) (3e+10) (0x0) (0xa)
|
||
(0xabcdef1234567890) (123L) (1L)
|
||
(0x10L) (10000000L) (1e6L) (1.1L)
|
||
(1e-3L) (4123.381E-10i)
|
||
(3.) (3.E10) # BUG: .E10 should be part of number
|
||
|
||
# Numbers in some different contexts
|
||
1L
|
||
0x40
|
||
.234
|
||
3.
|
||
1L + 30
|
||
plot(cars, xlim=20)
|
||
plot(cars, xlim=0x20)
|
||
foo<-30
|
||
my.data.3 <- read() # not a number
|
||
c(1,2,3)
|
||
1%%2
|
||
|
||
"this is a quote that spans
|
||
multiple lines
|
||
\"
|
||
|
||
is this still a quote? it should be.
|
||
# even still!
|
||
|
||
" # now we're done.
|
||
|
||
'same for
|
||
single quotes #'
|
||
|
||
# keywords
|
||
NULL, NA, TRUE, FALSE, Inf, NaN, NA_integer_,
|
||
NA_real_, NA_character_, NA_complex_, function,
|
||
while, repeat, for, if, in, else, next, break,
|
||
..., ..1, ..2
|
||
|
||
# not keywords
|
||
the quick brown fox jumped over the lazy dogs
|
||
null na true false inf nan na_integer_ na_real_
|
||
na_character_ na_complex_ Function While Repeat
|
||
For If In Else Next Break .. .... "NULL" `NULL` 'NULL'
|
||
|
||
# operators
|
||
+, -, *, /, %%, ^, >, >=, <, <=, ==, !=, !, &, |, ~,
|
||
->, <-, <<-, $, :, ::
|
||
|
||
# infix operator
|
||
foo %union% bar
|
||
%"test"%
|
||
`"test"`
|
||
</code></pre>
|
||
<p><strong>Mizar</strong></p>
|
||
<pre><code>::: ## Lambda calculus
|
||
|
||
environ
|
||
|
||
vocabularies LAMBDA,
|
||
NUMBERS,
|
||
NAT_1, XBOOLE_0, SUBSET_1, FINSEQ_1, XXREAL_0, CARD_1,
|
||
ARYTM_1, ARYTM_3, TARSKI, RELAT_1, ORDINAL4, FUNCOP_1;
|
||
|
||
:: etc...
|
||
|
||
begin
|
||
|
||
reserve D for DecoratedTree,
|
||
p,q,r for FinSequence of NAT,
|
||
x for set;
|
||
|
||
definition
|
||
let D;
|
||
|
||
attr D is LambdaTerm-like means
|
||
(dom D qua Tree) is finite &
|
||
::> *143,306
|
||
for r st r in dom D holds
|
||
r is FinSequence of {0,1} &
|
||
r^<*0*> in dom D implies D.r = 0;
|
||
end;
|
||
|
||
registration
|
||
cluster LambdaTerm-like for DecoratedTree of NAT;
|
||
existence;
|
||
::> *4
|
||
end;
|
||
|
||
definition
|
||
mode LambdaTerm is LambdaTerm-like DecoratedTree of NAT;
|
||
end;
|
||
|
||
::: Then we extend this ordinary one-step beta reduction, that is,
|
||
::: any subterm is also allowed to reduce.
|
||
definition
|
||
let M,N;
|
||
|
||
pred M beta N means
|
||
ex p st
|
||
M|p beta_shallow N|p &
|
||
for q st not p is_a_prefix_of q holds
|
||
[r,x] in M iff [r,x] in N;
|
||
end;
|
||
|
||
theorem Th4:
|
||
ProperPrefixes (v^<*x*>) = ProperPrefixes v \/ {v}
|
||
proof
|
||
thus ProperPrefixes (v^<*x*>) c= ProperPrefixes v \/ {v}
|
||
proof
|
||
let y;
|
||
assume y in ProperPrefixes (v^<*x*>);
|
||
then consider v1 such that
|
||
A1: y = v1 and
|
||
A2: v1 is_a_proper_prefix_of v^<*x*> by TREES_1:def 2;
|
||
v1 is_a_prefix_of v & v1 <> v or v1 = v by A2,TREES_1:9;
|
||
then
|
||
v1 is_a_proper_prefix_of v or v1 in {v} by TARSKI:def 1,XBOOLE_0:def 8;
|
||
then y in ProperPrefixes v or y in {v} by A1,TREES_1:def 2;
|
||
hence thesis by XBOOLE_0:def 3;
|
||
end;
|
||
let y;
|
||
assume y in ProperPrefixes v \/ {v};
|
||
then A3: y in ProperPrefixes v or y in {v} by XBOOLE_0:def 3;
|
||
A4: now
|
||
assume y in ProperPrefixes v;
|
||
then consider v1 such that
|
||
A5: y = v1 and
|
||
A6: v1 is_a_proper_prefix_of v by TREES_1:def 2;
|
||
v is_a_prefix_of v^<*x*> by TREES_1:1;
|
||
then v1 is_a_proper_prefix_of v^<*x*> by A6,XBOOLE_1:58;
|
||
hence thesis by A5,TREES_1:def 2;
|
||
end;
|
||
v^{} = v by FINSEQ_1:34;
|
||
then
|
||
v is_a_prefix_of v^<*x*> & v <> v^<*x*> by FINSEQ_1:33,TREES_1:1;
|
||
then v is_a_proper_prefix_of v^<*x*> by XBOOLE_0:def 8;
|
||
then y in ProperPrefixes v or y = v & v in ProperPrefixes (v^<*x*>)
|
||
by A3,TARSKI:def 1,TREES_1:def 2;
|
||
hence thesis by A4;
|
||
end;
|
||
</code></pre>
|
||
</div>
|
||
|
||
<nav>
|
||
<ul class="Pager">
|
||
<li class=Pager--prev><a href="../Examples/index.html">Previous</a></li> <li class=Pager--next><a href="../Examples/Hello_World.html">Next</a></li> </ul>
|
||
</nav>
|
||
</article>
|
||
|
||
</div>
|
||
</div>
|
||
</div>
|
||
</div>
|
||
|
||
<script>
|
||
(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
|
||
(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
|
||
m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
|
||
})(window,document,'script','//www.google-analytics.com/analytics.js','ga');
|
||
|
||
ga('create', 'UA-3551397-7', '');
|
||
ga('send', 'pageview');
|
||
</script>
|
||
|
||
<!-- JS -->
|
||
<script src="../themes/daux/js/jquery-1.11.3.min.js"></script><script src="../themes/daux/js/highlight.pack.js"></script><script src="../themes/daux/js/daux.js"></script>
|
||
<!-- Tipue Search -->
|
||
<script type="text/javascript" src="../tipuesearch/tipuesearch.js"></script>
|
||
|
||
<script>
|
||
window.onunload = function(){}; // force $(document).ready to be called on back/forward navigation in firefox
|
||
$(function() {
|
||
tipuesearch({
|
||
'base_url': '../'
|
||
});
|
||
});
|
||
</script>
|
||
|
||
</body>
|
||
</html>
|