Domain-Specific Languages of Mathematics
Hlavnou myšlienkou tejto knihy je povzbudiť čitateľov, aby sa priblížili.
Matematické domény z pohľadu funkcionálneho programovania: k.
Identifikovať hlavné príslušné funkcie a typy a v prípade potreby.
Zaviesť nové abstrakcie; uviesť výpočtové dôkazy; venovať.
Pozornosť syntaxi matematických výrazov; a napokon,.
Usporiadať výsledné funkcie a typy v doménovo špecifických jazykoch.
Kniha sa odporúča pre vývojárov, ktorí sa učia matematiku a.
Chceli by používať Haskell na pochopenie definícií a tvrdení. Je to.
Je tiež knihou pre záujemcov o matematiku, ktorí chcú preskúmať.
Funkcionálne programovanie a doménovo špecifické jazyky. Kniha pomáha uviesť.
Do perspektívy domén matematiky a funkcionálneho programovania.
A ukazuje, ako sa informatika a matematika užitočne vyučujú spoločne.