https://github.com/arthurbernierjr/mambascript
The rebirth of Typed Unfancy Javascript.... The rebellious teenage love child of TypeScript and Python who is their own person and seeks validation from neither... ( But deep down loves them both and would love their approval)
https://github.com/arthurbernierjr/mambascript
coffeescript python3 typescript
Last synced: 7 months ago
JSON representation
The rebirth of Typed Unfancy Javascript.... The rebellious teenage love child of TypeScript and Python who is their own person and seeks validation from neither... ( But deep down loves them both and would love their approval)
- Host: GitHub
- URL: https://github.com/arthurbernierjr/mambascript
- Owner: arthurbernierjr
- License: other
- Created: 2020-08-24T01:02:09.000Z (almost 6 years ago)
- Default Branch: master
- Last Pushed: 2021-10-23T04:42:40.000Z (almost 5 years ago)
- Last Synced: 2025-03-22T12:38:57.634Z (over 1 year ago)
- Topics: coffeescript, python3, typescript
- Language: PEG.js
- Homepage:
- Size: 14.9 MB
- Stars: 4
- Watchers: 2
- Forks: 3
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
---
## Getting Started
Install and run!
```
$ npm install -g mambacript
$ mamba -c foo.mamba # compile
$ mamba foo.mamba # execute
$ mamba # repl
$ start-mambascript #start a new mambascript project
```
### Extensions you should know about MambaScript
- `.mamba` are compiled by mambascript compiler.
# Why work on an old project.
This project is amazing, period. Everything here is exactly what I needed to be added to KOFUJS project in order for it to run the way I want it to run, without having to move over to the clunky TypeScript syntax that I would rather avoid.
## Fixes made
1. Fixed Bug Causing REPL Not to Function
1. Updated CoffeeScript to stable version 2.5+ with JSX support
1. Added .mamba file type
## Updates Coming
1. Documentation on Usage with KOFUJS
1. Updates to Create MambaJS App
1. Make This Mambascript fork the default syntax for KOFUJS
## Current Tasks
1. Discover Additional Bugs
1. Make Production Ready
```iced
# Concatenate string
present '-------Concatenate string--------'
present 'Concatenate -->', 'con' + 'cat' + 'en' + 'ate'
# typeof operator
present '-------TYPEOF operator--------'
present 'Typeof Operator -->', typeof 'arthur'
# isnt
present '-------ISNT instead of !== --------'
present 'ISNT -->' , 'Love' isnt 'Hate'
# and , && , also
present '------- also --------'
present 'ALSO -->', 5 > 3 also 6 > 5
# or, ||
present '------- or --------'
present 'OR -->', true or false
# not
present '-------NOT--------'
present not true
# is and Booleans
present '------- is and Booleans --------'
present 'Truthy Booleans true, on, yes'
present 'Falsey Booleans false, off, no'
present true is on
present true is yes
present false is off
present false is no
# Types
obj = {
"MambaScript": "JavaScript"
"is": "==="
"isnt": "!=="
"not": "!"
"also": "&&"
"or": "||"
"true yes on": "true"
"false no off": "false"
"@ this": "this"
"of": "in"
"in": "no JS Equivalent"
}
keys :: String[] = Object.keys obj
forEvery key in keys then present "[#{key}] in MambaScript is equivalent to [#{obj[key]}] in JavaScript" unless key is 'MambaScript'
# Strings
myString :: String = 'arthur'
present myString.split('').reverse().join('')
present typeof myString
# Numbers
myNumber :: Number = 5
present 'myNumber is', myNumber
present myNumber * 2
present myNumber ** 2
present myNumber % 3
present myNumber / 2
# Booleans
myBoolean :: Boolean = yes
present 'myBoolean is', myBoolean
# Objects
myObj =
name: 'arthur'
age: 32
lights: on
hair: true
present myObj
# Arrays
numArr :: Int[] = [1,2,3]
stringArr :: String[] = ['a', 'b', 'c']
otherArr :: Any[] = [1, 'a']
present otherArr
# Loops & Control Flow
forEvery number in [0..12] by 2 then present number
forEvery number in [0..10]
do (number) ->
present number * 3
# eat is a function that accepts a string and returns nothing
eat :: String -> () = (food :: String ) ->
present "yum #{food.toUpperCase()} !!!"
eat food forEvery food in ['toast', 'cheese', 'wine']
eat food forEvery food in ['toast', 'cheese', 'wine'] when food isnt 'cheese'
# Blueprints
blueprint Human
name :: String
age :: Int
constructor: (age :: Int, name :: String) ->
@name = name
@age = age
blueprint SuperHero inheritsFrom Human
name :: String
age :: Int
powers :: String[]
constructor: (name :: String, age :: Int, powers...) ->
super name, age
@powers = powers
bigArt = new SuperHero 'Big Art', 33, 'flight', 'super strength'
present bigArt
# Functions
# Structs
# Generics
```
MambaScript Is Forked and Built On Top Of TypedCoffeeScript a Fork of CofffeScriptRedux
==================================
[Typed Coffee Script Details](https://github.com/mizchi/TypedCoffeeScript)
[CoffeScript Redux Details and Contributors](https://github.com/michaelficarra/CoffeeScriptRedux/wiki/Roadmap)
CoffeeScript with Types.
This repository is heavily under development and unstable. See below milestone.
## Concepts
* Structual Subtyping
* Superset of CoffeeScript
* Easy to replace coffee (pass unannotated coffee)
* Pessimistic type interfaces
## What is pessimistic type interface?
To pass dynamic type system, TypedCoffeeScript expects symbol to `implicit` node by default. If compiler compares implicit node type and implicit node type and fails, it recover to `implicit` `Any` automatically.
## Examples
### Assigment with type
```coffee
n :: Int = 3
```
### Pre defined symbol
```coffee
x :: Number
x = 3.14
```
### Nullable
```coffee
x :: Number?
x = 3.14
x = null
```
### Typed Array
```coffee
list :: Int[] = [1..10]
listWithNull :: Int?[] = [1, null, 3]
```
In `v0.10`, imperfect to struct.
### Struct
```coffee
struct Point
@name :: String
x :: Number
y :: Number
p :: Point = {x: 3, y: 3}
name :: String = Point.name
struct Point3d implements Point
z :: Number
```
### Module
TypedCoffeeScript has module system like TypeScript
```coffee
module A.B
class @C
a :: Int
abc :: A.B.C = new A.B.C
```
### Typed Function
```coffee
# pre define
f1 :: Int -> Int
f1 = (n) -> n
# annotation
f2 :: Number -> Point = (n) -> x: n, y: n * 2
# multi arguments
f3 :: (Int, Int) -> Int = (m, n) -> m * n
# another form of arguments
f4 :: Int * Int -> Int = (m, n) -> m * n
# partial applying
fc :: Int -> Int -> Int
fc = (m) -> (n) -> m * n
```
### Blueprint instead of class with this scope
```coffee
blueprint X
# bound to this
num :: Number
f :: Number -> Number
f: (n) ->
@num = n
x :: X = new X
n :: Number = x.f 3
```
### Blueprint with implements
```coffee
blueprint Point
x :: Int
y :: Int
struct Size
width :: Int
height :: Int
blueprint Entity inheritsFrom Point implements Size
e :: {x :: Int, width :: Int} = new Entity
```
### Generics and type arguments
```coffee
# struct
struct Value
value :: U
struct Id
id :: Value
obj :: Id =
id:
value: 'value'
# function type arguments
map :: T[] * (T -> U) -> U[]
map = (list, fn) ->
for i in list
fn(i)
list :: String[] = map [1..10], (n) -> 'i'
# blueprint type arguments
blueprint Blueprint
f :: Int -> Int
constructor :: A -> ()
constructor: (a) ->
c = new Blueprint(1)
```