Concours #05 - Stupid language

Je compte poster très bientôt. J'espère pas avant la fin de la compétition.
Il y aurait une date précise ?

(A cause d'un rm -rf, j'ai perdu un dossier important, ça m'apprendra ! (heureusement qu'il existe un sauveur : chrome://cache))

arthuro a écrit:

Il y aurait une date précise ?

Non, sinon on l'aurait déjà décalée d'1 ou 2 semaines

Pour la dates c'est large, j'aimerais bien voir la participation de TDT et la tienne :p
Je lancerais l'autre concours en même temps que celui la continue comme ça ça poseras pas de soucis.

D'ailleurs le thème du prochain concours a été spoilé sur l'irc donc je le poste ici avant de faire le topic:
"Environnement invisible"
Le but est de faire un jeu avec des 'décors', 'blocs', environnement invisible, et miser sur des mécaniques qui permettent de s'y mouvoir.
Vous pouvez par exemple faire un jeu ou on doit balancer de la peinture pour découvrir les murs, utiliser un échos audio pour vous diriger, utiliser un laser pour voir la diffraction causée par les obstacles... Bref a vous de vous triturer les méninges pour faire un jeu a partir de cette contrainte. Plus de précisions sur le topic 'officiel' quand j'aurais le temps de le poster >.<

Le thème du prochain a l'air génial, je ferais tet une tite démo conceptuelle.

Voila une adresse temporaire pour le langage et l'interpreteur.
http://vps139171.ovh.net/app/LambdaCalcul/

(Je n'ai pas eut le temps de prendre un nom de domaine.)

Alors, petite présentation,
c'est du lambda calcul.
Dans ce langage, il n'y a que des fonctions (et exclusivement).
Il y a des plus grandes explications sur le site.

J'ai fait quelques exemples pour définir des nombres, des booleans, des conditions, ...
Si quelqu'un arrive à produire des exemples supplémentaire ( lists, soustraction, ...) je serais ravi de les mettre en exemple.

La page de wikipédia donne beaucoup d'exemples et de principes pour produire des structure plus complexes.

Je trouve ma syntaxe sympa :

"fonction a -> b" s'écrit :
a.b

"f(x)" s'écrit:
f x

"soit a = b dans c "s'écrit :
a = b
c

On peut mettre des parenthèse (et les omettre)
x.y.z a b s'évalue comme (x.(y.z)) a) b)

exemple:
first = x.y.x
second = x.y.y
first (second a b) c

nous renvoie b


Qu'en dites-vous ?

Rien compris XD

Misère, je regarderais ça quand je serais plus frais, parce que ça à l'air intéressant =P

Je vois qu'on est de la même tranche horaire.

Vu comment j'ai galéré au début pour implémenter la multiplication, c'est normal que tu ne comprenne rien, pas d'inquiétude.

=)

J'ai tenté deux trois trucs, mais vindiou, ça retourne le cerveau XP

C'est juste pas ma façon de penser en fait...
je réessayerais plus tard, ça m'intrigue =P

Classe, par contre, lambda calcul c'est équivalent a fonctionnel? Car ça y ressemble très fortement :p
Vivement que j'ai le temps de tester ça (bientôt normalement) >.<

Oui Onilink mais seulement dans le sens qu'une machine de turing c'est pareil qu'un language impératif.


Disons que c'est comme un langage fonctionnel mais sans les objets typé.
Il n'y a que des fonctions et uniquement.

Un nombre tu le représente par exemple comme la fonction qui à f et x applique n fois f à x.

n : f -> (x -> (f^n (x)))

Avec ça tu peux faire des addition de nombre représenté par cette forme.
des multiplication et l'exponentiel.
Pour la soustraction, c'est un peu plus difficile. J'avais réussit à soustraire 1 à un nombre mais j'ai perdu mon exemple ^^.

Tu peux représenter les boolean.

Tu peux faire une fonction ifthenelse qui à une condition et deux résultat te renvoie en fonction de ta condition le premier ou le second.

Houla, bien pensé, ça a l'air assez brainfuck d'utilisation héhé :p
Mais je capte le délire maintenant. Du coup j'imagine que c'est pas tout a fait un langage de programmation (implique d'être turing complet nan?).

Le lambda calcul est Turing-complet ^^

Il est même utilisé pour prouver que d'autres langages (*wink* *wink*) sont Turing-complets.

Wow, stylé oO
Vivement que j'ai du temps pour approfondir un peu en testant ça >.<

Je viens de retrouver la fonction qui enlève 1 à un nombre.
Pas évident car il fallait définir les nombre, les boolean, les couples, un itérateur...

Code:

true = x.y.x
false = x.y.y
pair = x.y.f.(f x y)
first = p.(p true)
second = p.(p false)
0 = f.x.x
1 = f.x.(f x)
2 = f.x.(f (f x))
next = n.f.x.(f (n f x))
3 = (next 2)
itere = n.u.v.(n u v)
nn = p.(pair (second p) (next (second p)))
pred = n.(first (itere n nn (pair 0 0)))
pred 3

En route pour la soustraction !

edit :

Code:

minus = a.b.(itere b pred a)

a - b, c'est enlever 1, "b" fois en partant de "a".

Il va falloir que j'optimise un peu mon interpreteur. Parce qu'il lui faut faire 75 800 renommage de variable pour faire 3 - 1.

Une question se pose.

Me reste il 24 minutes pour finir mon projet ou à on plus de temps ?

Le concours précédent avait aussi une deadline abandonnée donc t’as plus de temps (au moins jusqu’à l’annonce du prochain concours).

[TheDarkTiger] a écrit:

Une question se pose.

Me reste il 24 minutes pour finir mon projet ou à on plus de temps ?

Nan j'attends les dernières participations
C-a-d la tienne et peut être celle d'un membre mystère x)

Ma participation. c:

Oh le troll

Soundii a écrit:

Ma participation. c:

Tu essayes de me troller indirectement ?

Ok, si j'ai rien rendu dimanche soir, minuit GMT+1, clos le concours.

Je posterais ce que j'ai fait à ce moment là, si j'ai pas eu le temps de finir.

Edit :
23h23 je poste un truc parceque j'aurais peut être pas le temps de finir...
bref, ça sera probablement la version finale...

http://www.tdms.fr/GM/LoveMe/

Image:

Oui, oui, je détecte la présence d'un joystick pour de vrai...

Edit 2 :
J'ai mis à jour, mais come une pomme de terre, j'ai écrasé l'ancien fichier >_<
Bref, il est daté de 00h13, et ça sera la dernière version pour le concours.

Je continuerais à bosser dessus cependant, il me plait ce langage moisi XD

ha, pour ceux qui auraient la flème de regarder à quoi ressemble le code, voici un exemple condensé (sans commentaires :

Spoiler:

Et commenté :

Spoiler:

Enjoie

Je suis déçu de pas avoir pu finir, mais bon, bfpmg, j'avais qu'a bosser plus dessus...

Sympa,
Fonctionne même avec Wine.
Je sais pas si j'ai réussit à le faire marcher.
J'arrive à ouvrir des fichier .Imp et les executer.
Mais je ne sais pas si c'était le résultat attendu.

Marche pas sur win8 (comme tous les exe gm6)
Je refais un exe avec GM 8 à partir du .gm6...

Compatibilité error
Bon, j'essaye d'exécuter l'exe gm6 en mode de compatibilité winXP...

La même erreur que si je l'exécutais normalement
Décidément mon PC est trop jeune pour ça !

Tu as essayé de passer par le GM_Convert_Game ?

Ça y est ça marche, merci Linky
Bon voilà, c'est un langage sympa, très ésotérique pour moi, pauvre GMeur et débutant en C++ que je suis

tu peux etre expert en C++ et ne rien savoir sur les langages ésotérique ^^

Ce que je veux dire c'est que je maîtrise très peu de langages, et ils sont rarement ésotériques

glcraft a écrit:

tu peux etre expert en C++ et ne rien savoir sur les langages ésotérique ^^

Non, les templates variadics c'est très isoterique ce qu'on peut faire avec

Haha, isotérique.