Audience: C/C++ programmers.
- everybody want more features
- but more features usually mean more bugs and failures
- stuck fixing bugs? not a good use of your time!
- yet software devs spend most of their time hunting for and fixing bugs
#include | |
"share/atspre_staload.hats" | |
(* ****** ****** *) | |
(* operator interface *) | |
datatype assoc = ASSOCnone | ASSOCleft | ASSOCright | |
extern | |
fun | |
eq_assoc_assoc (assoc, assoc):<> bool |
// see: https://microsoft.github.io/monaco-editor/monarch.html | |
// ATS/Postiats lexical syntax definition | |
// Written by Artyom Shalkhakov over the week of 20th - 27th of June, 2016. | |
// License: BSD v3 (but probably GPL, since ATS/Postiats lexer is GPL? not a lawyer!) | |
// TODO: staload and dynload are followed by a special kind of string literals | |
// with {$IDENTIFER} variables, and it also may make sense to highlight | |
// the punctuation (. and / and \) differently. |
(* | |
** Hello, monadic world! | |
** | |
** Author: Artyom Shalkhakov | |
** artyom DOT shalkhakov AT gmail DOT com | |
** | |
** Can be run using: | |
** http://www.ats-lang.org/SERVER/MYCODE/Patsoptaas_serve.php | |
*) |
(* | |
** Hello, world! | |
*) | |
(* ****** ****** *) | |
// | |
#define | |
LIBATSCC2JS_targetloc | |
"$PATSHOME\ | |
/contrib/libatscc2js/ATS2-0.3.2" |
(* | |
** Hello, world! | |
** run it here: http://www.ats-lang.org/SERVER/MYCODE/Patsoptaas_serve.php?mycode_fil=hello | |
*) | |
(* ****** ****** *) | |
// | |
#define | |
LIBATSCC2JS_targetloc | |
"$PATSHOME\ |
# this is the GitLab-CI file for building the image | |
variables: | |
CURRENT_IMAGE_TAG: rfid-applied/netcf35_build_environment:dev | |
stages: | |
- dockerize | |
dockerize: | |
stage: dockerize | |
script: |
Audience: C/C++ programmers.
#include | |
"share/atspre_staload.hats" | |
#define N 9 | |
#define M 14 | |
implement main0 () = let | |
fun loop1 | |
{i:nat | i <= N} | |
(i: int i): void = |
(* | |
HX-2019-03-26-2: | |
The original code is available at | |
https://gist.github.com/ashalkhakov/c3577e97b20020fde31f84447fd1e056 | |
I turned runCommand into a polymorphic function and | |
also made Command a linear datatype (i.e., dataviewtype) | |
AS-2019-03-26: |
if type T
is an NSObject
descendant, then it will support these messages:
+ (T *)alloc;
- (T *)init:(T *)self;
- (void)release;
- (T *)retain;
Objects (technically, variables of type T *
where T
is class type) can be either owned or not.