FaRl Language

# Cloner le dépôt
git clone https://github.com/amezianechayer/corren
cd corren

# Builder
go build -o corren .
sudo mv corren /usr/local/bin/

# Vérifier
corren --help

# Terminal 1 — démarrer le serveur
corren server start

# Terminal 2 — exécuter un script
cat > script.farl << EOF
transfer [DZD.2 10000] (
  from @world
  to   @banque:reserve
)
EOF
corren run quickstart script.farl
200 {"ok":true}

# Vérifier le solde
curl http://localhost:3068/quickstart/accounts/@banque:reserve

corren config init

server:
  http:
    bind_address: 127.0.0.1:3068
storage:
  driver: sqlite          # sqlite | postgres
  dir:    ~/.corren/data
  sqlite:
    db_name: corren
  postgres:
    conn_string: postgresql://localhost/postgres

# Avec précision — [ASSET.decimals montant]
[DZD.2 5000]     # Dinar algérien, 2 décimales
[EUR.2 10000]    # Euro, 2 décimales
[USD.2 10000]    # Dollar US, 2 décimales
[TND.3 5000]     # Dinar tunisien, 3 décimales

# Sans précision — [ASSET montant]
[COIN 100]        # Token COIN, pas de décimales

# Transférer tout le solde
[DZD.2 *]         # tout le solde DZD.2

# Déclaration simple
var $name: type

# Depuis les métadonnées
var $name: type = meta($account, "key")

transfer <monetary | monetaryAll> (
  from <source>
  to   <destination>
)

from @alice
from $vendeur    # variable

from {
  @wallet:ameziane    # drainé en premier
  @credit:ameziane    # puis ceci
  @world              # fallback illimité
}

max [DZD.2 1000] from @alice

# Combinable avec cascade
from {
  max [DZD.2 500] from @alice
  @bob
}

from {
  60%       from @alice
  35.5%     from @bob
  4.5%      from @charlie
}

to @bob
to $vendeur    # variable

to {
  85/100    to @vendeur:yanis
  10/100    to @plateforme:frais
  5/100     to @taxes
}

to {
  10%       to @plateforme
  5%        to @taxes
  remaining  to @vendeur    # reçoit 85%
}

var $commission: portion

to {
  $commission  to @plateforme
  remaining    to @vendeur
}

# ✅ Émettre un montant fixe
transfer [DZD.2 10000] (
  from @world
  to   @banque:reserve
)

# ✅ Fallback dans une cascade
from {
  @wallet
  @world
}

# ❌ Impossible de transférer tout depuis @world
transfer [DZD.2 *] ( from @world  to @bob )

# ❌ Impossible d'utiliser @world dans allotment source
from { 50% from @world  50% from @alice }

var $sale:       account
var $seller:     account = meta($sale,   "seller")
var $commission: portion = meta($seller, "commission_rate")

transfer [DZD.2 1000] (
  from $sale
  to {
    $commission  to @plateforme
    remaining    to $seller
  }
)

# Clé unique
set transaction metadata "reference" = "PAY-2026-001"
set transaction metadata "amount_dzd" = 5000

# Forme bloc
set transaction metadata {
  "reference" = "PAY-2026-001"
  "channel"   = "mobile"
  "region"    = "alger"
}

set account metadata of @vendeur:yanis key "commission_rate" = 10/100
set account metadata of @vendeur:yanis key "tier"            = "gold"

print 42
print 10 + 5 - 2
print @alice

# Abort immédiat — rollback tout
fail

transfer [DZD.2 5000] (
  from @client:ameziane
  to   @courses:0587:paiement
)

transfer [DZD.2 5000] (
  from @courses:0587:paiement
  to {
    90/100  to @chauffeur:yanis
    10/100  to @plateforme:frais
  }
)

set transaction metadata "reference" = "COURSE-0587"

transfer [DZD.2 3000] (
  from {
    @wallet:ameziane    # balance: 1000 → utilisé first
    @credit:ameziane    # balance: 2000 → utilisé next
    @world              # fallback illimité
  }
  to @commande:0089
)
# Résultat : 1000 wallet + 2000 credit = 3000

var $sale:   account
var $seller: account = meta($sale,   "seller")
var $rate:   portion = meta($seller, "commission_rate")

transfer [DZD.2 10000] (
  from $sale
  to   {
    $rate      to @plateforme:commission
    remaining  to $seller
  }
)

transfer [DZD.2 1000] (
  from {
    60%  from @alice     # contribue 600
    35%  from @bob       # contribue 350
    5%   from @charlie   # contribue 50
  }
  to @destinataire
)

# Définir le taux de commission d'un vendeur
set account metadata of @vendeur:yanis key "commission_rate" = 12/100

# Utiliser dans un transfer
var $seller: account
var $rate:   portion = meta($seller, "commission_rate")

transfer [DZD.2 5000] (
  from @world
  to   {
    $rate     to @plateforme
    remaining to $seller
  }
)

curl -X POST http://localhost:3068/quickstart/script \
  -H "Content-Type: application/json" \
  -d '{
    "plain": "transfer [DZD.2 1000] (\n  from @world\n  to @alice\n)",
    "vars": {}
  }'