Start Logga In Skriv Artikel Om Oss
Vad söker du?
Allt om 'Monad'

Monad

Innehåll- 1. Filosofi och matematik - 2. Funktionell programmering och kategoriteori

1. Filosofi och matematik

En Monad är

  • hos pythagoréerna en odelbar enhet som utgör någots innersta väsen. Ur Monaden skapas Dyaden, som i sin tur ger upphov till siffror, siffror ger upphov till punkter, som ger upphov till linjer, som ger upphov till tvådimensionella figurer, som ger upphov till tredimensionella figurer, som ger upphov till kroppar, som ger upphov till de fyra elementen jord, vatten, eld och luft, ur vilka resten av världen är uppbyggd. Monaden var alltså roten till pythagoréernas kosmologi.
  • inom gnosticismen identisk med kristendomens högsta, andliga, egentliga Gud, som emanerat sk Eoner, par av lägre gudar, varav de två mest kända är Sophia och Jesus. Gnostikern Valentinius räknar hela 30 sådana eoner (par).
  • ett koncept som förekommer i Gottfried Leibniz bok Essais de Teodicée från år1710, där Monader är "de grundläggande andliga byggstenarna", identiska med andliga atomer, till sin art eviga, odelbara, styrda av egna lagar utan att interagera med omvärlden men ändå förenade med resten av universum. I sin La Monadologie (skriven år1714 men utgiven först efter hans död år1728) utvecklar han tanken ytterligare. Inspirationen till monadläran kan ha kommit från hans medlemsskap i Rosencreuzarna, som i sin tur var inspirerade av såväl pythagoréerna som gnostikerna. (Se teodicéproblemet, panglossianism.)
  • inom matematiken en mängd som består av ett enda element.

    saob:1/156/39748

    Länkar:

    2. Funktionell programmering och kategoriteori

    Inom funktionell programmering är en monad en datatyp med tre relaterade funktioner: return-, bind-, och fail-operatorn.

    Return-operatorn är av typen a m a -- den tar ett värde och "lyfter" den till ett monadiskt värde. Exempel: return-operatorn för listmonaden tar ett element a och returnerar en lista med bara det elementet, [a].

    Bind-operatorn är av typen m a (a m b) m b -- den lyfter värdet ut ur monaden och passar detta rena värde till en funktion som ger det slutliga värder. Exempel: bind-operatorn för Maybe-monaden returnerar Nothing om värdet är Nothing; annars extraherar den värdet och passar den till funktionen.

    Fail-operatorn är inte egentligen nödvändig för en full monad-definition, men används ändå i de flesta implementationer. Den är av typen String m a och kastar oftast bara ett undantag, men kan också ha speciella implementationer -- i Maybe-monaden returnerar fail alltid Nothing.

    Det är inte helt uppenbart, men monader kan användas för IO och sidoeffekter i ren funktionell programmering. När denna metod används -- som den gör i Haskell -- inkapslas alla sidoeffekter så att funktioner som inte explicit använder IO-typen är helt säkra.

    Redigera?

    Artikeln skriven 2009-01-18 av Learning4sharing

    Inga kategorier för denna artikel än...

    Vi behhöver hjälp att kategorisera våra artiklar. Kan du skriva ett nyckelord för denna artikel? Du kan skriva upp till 3 olika nyckelord för denna artikel, vi uppskattar din hjälp!

    Skriv nyckelord som du tycker beskriver denna artikel på ett bra sätt. Du kan ange 3 olika nyckelord för denna artikel, max 20 tecken per nyckelord.

    1. Lägg till fler
      Skriv in svaret på frågan: 10+6

    Intresserad av fler artiklar?

    Bash
    LGPL
    Gnu
    Fildelningsprogram
    =
    BLISS
    Euphoria
    Pascalspråk
    SDL
  • Senaste sökningarna

    vik har fått 1323 sökningar. Den senaste gjordes 2019-11-15 08:23:57.

    minoritetsregering har fått 1668 sökningar. Den senaste gjordes 2019-11-15 08:22:11.

    blankvers har fått 862 sökningar. Den senaste gjordes 2019-11-15 08:21:15.

    Alice har fått 1178 sökningar. Den senaste gjordes 2019-11-15 08:21:07.

    el dorado har fått 1102 sökningar. Den senaste gjordes 2019-11-15 08:21:06.

    homofobi har fått 1014 sökningar. Den senaste gjordes 2019-11-15 08:18:44.

    an har fått 1234 sökningar. Den senaste gjordes 2019-11-15 08:18:28.

    fotosyntes har fått 1375 sökningar. Den senaste gjordes 2019-11-15 08:16:37.

    konstruktion har fått 1035 sökningar. Den senaste gjordes 2019-11-15 08:16:18.

    pakistan har fått 1086 sökningar. Den senaste gjordes 2019-11-15 08:16:09.

    metallbindning har fått 1427 sökningar. Den senaste gjordes 2019-11-15 08:15:52.

    räkneord har fått 833 sökningar. Den senaste gjordes 2019-11-15 08:14:28.

    Designed by: template world
    Learning4sharing.nu
    All Rights Reserved. 0.10 SEK

    Logga in

    Välkommen att redigera och skriva nya artiklar!

    Ingent Konto?

    Skaffa konto för att redigera och skapa nya ariklar Nytt Konto.

    Ny Användare

    Välkommen att redigera och skriva nya artiklar! Skapa konto nedan.


    Ett verifieringsmail kommer att skickas till din E-post som du måste öppna och verifiera din E-post med

    Lägg till artikel

    Du är inte inloggad.

    Logga In eller Skapa konto.