diploma, szakdolgozat, TDK » Haskell http://diploma.egyetemiblog.hu ha ennyit dolgoztál rajta, miért porosodjon a fiókban? Sun, 15 May 2011 22:19:33 +0000 en hourly 1 http://wordpress.org/?v=3.2.1 Domain specific language for describing objective functions http://diploma.egyetemiblog.hu/domain-specific-language-for-describing-objective-functions/ http://diploma.egyetemiblog.hu/domain-specific-language-for-describing-objective-functions/#comments Mon, 01 Jun 2009 21:39:26 +0000 admin http://diploma.egyetemiblog.hu/?p=296 Geometriai optimizációs feladatok célfüggvényei főképp matematikai műveletekből épülnek fel, azonban legtöbbször alacsony szintű nyelven implementálják őket a megfelelő sebesség elérése illetve meglévő rendszerekhez való illeszkedés igénye miatt. A célfüggvény definíciója így nem különül el kellőképpen az implementációs részletektől. Egy domén-specifikus nyelv megalkotása kézenfekvő megoldásnak tűnik és számos előnyt kínál, mint például a matematikaihoz hasonló jelölés vagy a kiértékelés automatikus párhuzamosítása. Ebben a munkában megtervezek egy erre alkalmas programozási nyelvet, és implementálok egy működőképes fordítót. Az eredmény ígéretes, és számos továbbfejlesztési lehetőséget kínál.

Objective functions of geometric optimization problems primarily consist of mathematical operations, but the implementations are written in a low-level language in most cases, to meet performance requirements and to fit into existing systems. This practice leads to objective function definitions which are not appropriately separated from the implementation details. Creating a domain specific language seems to be a plausible solution offering several advantages such as syntax close to the corresponding mathematical notation and automatic parallelization. In this work I will design a programming language suitable for this task and implement a compiler for it. The results look promising and offer several possibilities for future improvements.

]]> http://diploma.egyetemiblog.hu/domain-specific-language-for-describing-objective-functions/feed/ 0 Funkcionális programozás a gyakorlatban http://diploma.egyetemiblog.hu/funkcionalis-programozas-a-gyakorlatban/ http://diploma.egyetemiblog.hu/funkcionalis-programozas-a-gyakorlatban/#comments Fri, 24 Oct 2008 17:59:19 +0000 admin http://diploma.egyetemiblog.hu/?p=154 A funkcionális programozási nyelvek a napjainkban elterjedt programozási nyelvek többségétől eltérő gondolkodásmódot képviselnek. A diplomaterv áttekintést nyújt a Scheme, a Haskell és az Erlang funkcionális nyelvekről: a lambda-kalkulusból kiindulva ismerteti a funkcionális programozásban rejlő ötleteket és konstrukciókat. A funkcionális programozás alkalmazhatóságáról a funkcionális nyelvek nem akadémiai célú alkalmazásairól szóló összefoglaló nyújt képet.

A monád funkcionális programozási konstrukció lehetővé teszi a számítások okozta mellékhatások kezelését. A monádok használatával a funkcionális nyelvekben az imperatív nyelvekhez hasonló programozási stílus követhető. A monádok elméleti hátteréül szolgáló kategóriaelméletet is áttekinthetjük.

A diplomatervben megvizsgálom a monád konstrukció Erlang nyelvben való alkalmazásának lehetőségeit, és példákat adok monadikus műveletek Erlang-beli megvalósítására.

]]> http://diploma.egyetemiblog.hu/funkcionalis-programozas-a-gyakorlatban/feed/ 0