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: 0+7

    Intresserad av fler artiklar?

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

    torrent har fått 952 sökningar. Den senaste gjordes 2019-07-21 02:09:50.

    silverfisk har fått 1164 sökningar. Den senaste gjordes 2019-07-21 02:09:39.

    INDIEN har fått 1188 sökningar. Den senaste gjordes 2019-07-21 02:08:54.

    staccato har fått 787 sökningar. Den senaste gjordes 2019-07-21 02:08:15.

    pul har fått 1150 sökningar. Den senaste gjordes 2019-07-21 02:07:31.

    new york har fått 1000 sökningar. Den senaste gjordes 2019-07-21 02:03:40.

    skift har fått 1142 sökningar. Den senaste gjordes 2019-07-21 02:02:40.

    ehen har fått 1348 sökningar. Den senaste gjordes 2019-07-21 02:01:29.

    manicklar har fått 1018 sökningar. Den senaste gjordes 2019-07-21 02:00:39.

    styrbjörn har fått 825 sökningar. Den senaste gjordes 2019-07-21 02:00:38.

    vit hattmurkla har fått 928 sökningar. Den senaste gjordes 2019-07-21 01:59:46.

    dymmelonsdag har fått 933 sökningar. Den senaste gjordes 2019-07-21 01:57:56.

    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.