Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Terraform Platform in Quipper

C11dd697828110237848e6773cdc4923?s=47 Shunsuke Suzuki
September 30, 2021

Terraform Platform in Quipper

C11dd697828110237848e6773cdc4923?s=128

Shunsuke Suzuki

September 30, 2021
Tweet

Transcript

  1. 4IVOTVLF4V[VLJ 5FSSBGPSN1MBUGPSNJO2VJQQFS 

  2. 4FMGJOUSPEVDUJPO w 4IVOTVLF4V[VLJ (JU)VCTV[VLJTIVOTVLF  w 2VJQQFS43& 

  3.  43&UFBN.JTTJPO  *NQSPWF%FWFMPQFS&YQFSJFODFPG5FSSBGPSN1MBUGPSN  &ODPVSBHF*B$XJUI5FSSBGPSN  "HFOEB

  4.  43&UFBN.JTTJPO  *NQSPWF%FWFMPQFS&YQFSJFODFPG5FSSBGPSN1MBUGPSN  &ODPVSBHF*B$XJUI5FSSBGPSN  "HFOEB

  5. 2VJQQFST43&UFBN w NFNCFST w .BJOUBJOUIFQMBUGPSNBDSPTTQSPEVDUT 

  6. 43&UFBNT.JTTJPO $SFBUFBQMBUGPSNBOEDVMUVSFUIBUBMMPXTTFMGDPOUBJOFEUFBNTUP DPOUJOVFUPEFMJWFSQSPEVDUTRVJDLMZBOETBGFMZ 

  7. 5FSSBGPSN1MBUGPSN w 'PSUIFNJTTJPO *B$BOE$*$%BSFSFRVJSFE w %FWFMPQFSTIBWFUIFPXOFSTIJQPGUIFJSQSPEVDUTJOGSBTUSVDUVSF w %FWFMPQFSTDBOEFWFMPQUIFJSQSPEVDUTJOGSBTUSVDUVSFCZUIFNTFMWFT RVJDLMZBOETBGFMZ 

  8.  43&UFBN.JTTJPO  *NQSPWF%FWFMPQFS&YQFSJFODF  &ODPVSBHF*B$XJUI5FSSBGPSN  "HFOEB

  9. *NQSPWF%FWFMPQFS&YQFSJFODF  .POPSFQP  %ZOBNJDQJQFMJOF  4QMJU5FSSBGPSN4UBUFT  "QQMZTBGFMZXJUIQMBO fi

    MF  UGDNUNBLFTQMBOFBTZUPVOEFSTUBOE  "VUP$PEF'JYJO$*  UGNJHSBUFJO$*  $POUJOVPVTVQEBUFCZ3FOPWBUF 
  10. *NQSPWF%FWFMPQFS&YQFSJFODF  .POPSFQP  %ZOBNJDQJQFMJOF  4QMJU5FSSBGPSN4UBUFT  "QQMZTBGFMZXJUIQMBO fi

    MF  UGDNUNBLFTQMBOFBTZUPVOEFSTUBOE  "VUP$PEF'JYJO$*  UGNJHSBUFJO$*  $POUJOVPVTVQEBUFCZ3FOPWBUF 
  11. .POPSFQP &WFSZ5FSSBGPSNDPEFJTNBOBHFEJOPOFSFQPTJUPSZ  RVJQQQFSTBQVSJUFSSBGPSN RVJQQFSRVJQQFSUFSSBGPSN RVJQQFSEFBENBOTTOJUDI RVJQQFSQJOHEPN RVJQQFSTMP RVJQQFSUFSSBGPSN .FSHFJOUP.POPSFQP

  12. 8IZ.POPSFQP w $PNNPOJ[F$*$%QJQFMJOFBOEEPDVNFOU FUD w 3FEVDFUIFNBJOUFOBODFDPTU w *NQSPWFUIFRVBMJUZ w $POTJTUFOU%FWFMPQFS&YQFSJFODF

    w 4VQQPSUBEEJUJPOBMQSPWJEFSTFBTJMZ 
  13. *NQSPWF%FWFMPQFS&YQFSJFODF  .POPSFQP  %ZOBNJDQJQFMJOF  4QMJU5FSSBGPSN4UBUFT  "QQMZTBGFMZXJUIQMBO fi

    MF  UGDNUNBLFTQMBOFBTZUPVOEFSTUBOE  "VUP$PEF'JYJO$*  UGNJHSBUFJO$*  $POUJOVPVTVQEBUFCZ3FOPWBUF 
  14. %ZOBNJDQJQFMJOFGPS.POPSFQP w %ZOBNJDQJQFMJOFJTSFRVJSFEUPSVO$*$%PGPOMZDIBOHFETUBUFTJO13 w 8FIBWFJNQMFNFOUFEEZOBNJDQJQFMJOFXJUI"84$PEF#VJME 

  15. %ZOBNJDQJQFMJOFCZ#BUDI#VJME  (JU)VC #VJME 8FCIPPL (FOFSBUFCVJMETQFD #BUDI#VJME 4UBSU#VJME#BUDI"1*

  16. *NQSPWF%FWFMPQFS&YQFSJFODF  .POPSFQP  %ZOBNJDQJQFMJOF  4QMJU5FSSBGPSN4UBUFT  "QQMZTBGFMZXJUIQMBO fi

    MF  UGDNUNBLFTQMBOFBTZUPVOEFSTUBOE  "VUP$PEF'JYJO$*  UGNJHSBUFJO$*  $POUJOVPVTVQEBUFCZ3FOPWBUF 
  17. 4QMJU5FSSBGPSN4UBUFT 1SPCMFN w 5IFPXOFSPGDPEFJTBNCJHVPVT 4PMVUJPO w #ZTQMJUTUBUFQFSQSPEVDU JUNBLFTUIFPXOFSTIJQDMFBS 

  18. 5IFOVNCFSPG4UBUFT "CPVUPWFS JOZFBST  w 5IFQJQFMJOFJTHFOFSBUFEEZOBNJDBMMZ TPXFEPOUIBWFUPNBJOUBJO IVHF$*$%DPO fi HVSBUJPO

    w &WFOJGTUBUFTBSFJODSFBTJOH $*$%JTSVOBHBJOTUPOMZDIBOHFE TUBUFT 
  19. *NQSPWF%FWFMPQFS&YQFSJFODF  .POPSFQP  %ZOBNJDQJQFMJOF  4QMJU5FSSBGPSN4UBUFT  "QQMZTBGFMZXJUIQMBO fi

    MF  UGDNUNBLFTQMBOFBTZUPVOEFSTUBOE  "VUP$PEF'JYJO$*  UGNJHSBUFJO$*  $POUJOVPVTVQEBUFCZ3FOPWBUF 
  20. "QQMZTBGFMZXJUIQMBOGJMF (JU)VC'MPX3VOQMBOBU13 UIFOSVOBQQMZCZNFSHJOH13  w .PUJWBUJPO w "QQMZUIFFYBDUMZTBNFSFTVMUBT13TQMBO w )PX

    w 6QMPBEQMBO fi MFTBU4 w "QQMZXJUIQMBO fi MFTEPXOMPBEFEGSPN4
  21. 3FUSZ$*XIFOTUBUFTBSFVQEBUFE  w 8IFOTUBUFTBSFVQEBUFE QMBO fi MFTNVTUCFSFDSFBUFE w 3FUSZ$*XJUI"84$PEF#VJME"1*BGUFSBQQMZJOH

  22. 

  23.  /PUJGZUPSFUSZ$*

  24.  /PUJGZUPSFUSZ$* 1MBOJTSFSVO

  25. *NQSPWF%FWFMPQFS&YQFSJFODF  .POPSFQP  %ZOBNJDQJQFMJOF  4QMJU5FSSBGPSN4UBUFT  "QQMZTBGFMZXJUIQMBO fi

    MF  UGDNUNBLFTQMBOFBTZUPVOEFSTUBOE  "VUP$PEF'JYJO$*  UGNJHSBUFJO$*  $POUJOVPVTVQEBUFCZ3FOPWBUF 
  26. 8IBUTUGDNU w 'PSLPGNFSDBSJUGOPUJGZ w /PUJGZUIFSFTVMUPGQMBOBOEBQQMZBTQVMMSFRVFTUDPNNFOUT w 8FDBOLOPXUIFSFTVMUJOUIFQVMMSFRVFTUQBHF w 8FEPOUIBWFUPDIFDL$*EFUBJMQBHFT 

  27. 

  28.  %FMFUJPO8BSOJOH -JTUPGVQEBUFESFTPVSDFBEESFTTFT 4FUDPMPSFEMBCFM

  29. &YDMVEFSFGSFTIJOHTUBUFT'SPNQMBOPVUQVU  "4*4 3FGSFTIJOHTUBUF 50#&

  30. 4FQBSBUFPVUTJEFDIBOHF 

  31. UGDNU5FSSBGPSN8BSOJOHT 

  32. )JEFTUBMFDPNNFOUTBVUPNBUJDBMMZ 

  33. )JEFTUBMFDPNNFOUTBVUPNBUJDBMMZ  )JEFTUBMFDPNNFOUTBVUPNBUJDBMMZ MBUFTUDPNNFOU

  34. *NQSPWF%FWFMPQFS&YQFSJFODF  .POPSFQP  %ZOBNJDQJQFMJOF  4QMJU5FSSBGPSN4UBUFT  "QQMZTBGFMZXJUIQMBO fi

    MF  UGDNUNBLFTQMBOFBTZUPVOEFSTUBOE  "VUP$PEF'JYJO$*  UGNJHSBUFJO$*  $POUJOVPVTVQEBUFCZ3FOPWBUF 
  35. 1SPCMFNTPMWFECZBVUPDPEFGJY w 8FTPNFUJNFTGPSHFUUPDPNNJUBMPDL fi MF w 8IFOUFSSBGPSNJOJUJTSVOBUMPDBMIPTU BMPDL fi MFJTDIBOHFE

    VOFYQFDUFEMZ w 5PUSFBUBMPDL fi MF UIFLOPXMFEHFBCPVUMPDL fi MFJTSFRVJSFE w 8FTPNFUJNFTGPSHFUUPGPSNBUDPEF 
  36. )PXUPTPMWFCZBVUPDPEFGJY w $SFBUFBOEVQEBUFMPDL fi MFJO$*BVUPNBUJDBMMZ w 'PSNBUDPEFJO$*BVUPNBUJDBMMZ w 'JYJTDPNNJUUFEBOEQVTIFEUPUIFQVMMSFRVFTUJO$* 

  37. )PXUPTPMWFCZBVUPDPEFGJY w $SFBUFBOEVQEBUFMPDL fi MFJO$*BVUPNBUJDBMMZ w 'PSNBUDPEFJO$*BVUPNBUJDBMMZ w 'JYJTDPNNJUUFEBOEQVTIFEUPUIFQVMMSFRVFTUJO$* 

    "VUPNBUJPOBMMPXTEFWFMPQFSTUPVTF5FSSBGPSNFBTJMZ
  38. *NQSPWF%FWFMPQFS&YQFSJFODF  .POPSFQP  %ZOBNJDQJQFMJOF  4QMJU5FSSBGPSN4UBUFT  "QQMZTBGFMZXJUIQMBO fi

    MF  UGDNUNBLFTQMBOFBTZUPVOEFSTUBOE  "VUP$PEF'JYJO$*  UGNJHSBUFJO$*  $POUJOVPVTVQEBUFCZ3FOPWBUF 
  39. UGNJHSBUFJO$* w 4UBUFNJHSBUJPOBT$PEF w .BOVBMNJHSBUJPOMJLFUFSSBGPSNJNQPSUCFDPNFTVOOFDFTTBSZ w 8FDBOSFWJFXUIFNJHSBUJPOBOEUSBDLIJTUPSJFT w 1FSNJTTJPOUPXSJUFTUBUFCFDPNFTVOOFDFTTBSZ w

    0UIFSQVMMSFRVFTUTBSFOUCMPDLFECZUIFTUBUFNJHSBUJPO w .JHSBUJPOBDSPTTTUBUFTJTTVQQPSUFE 
  40. )PXUPVTFUGNJHSBUFJO$* w UGNJHSBUFIDMBOENJHSBUJPO fi MFTBSFNBOBHFEJOFBDIXPSLJOHEJSFDUPSZ w 4QFDJGZNJHSBUFETUBUFTXJUI1VMM3FRVFTUMBCFMT w NJHSBUFGPPQSPEVDUJPO 

  41. *NQSPWF%FWFMPQFS&YQFSJFODF  .POPSFQP  %ZOBNJDQJQFMJOF  4QMJU5FSSBGPSN4UBUFT  "QQMZTBGFMZXJUIQMBO fi

    MF  UGDNUNBLFTQMBOFBTZUPVOEFSTUBOE  "VUP$PEF'JYJO$*  UGNJHSBUFJO$*  $POUJOVPVTVQEBUFCZ3FOPWBUF 
  42. $POUJOVPVTVQEBUFCZ3FOPWBUF w 5FSSBGPSN 5FSSBGPSN1SPWJEFST w U fl JOU UGTFD UGDNU

    DPOGUFTU PQB FUD w &OBCMFBVUPNFSHFCZEFGBVMU 
  43. 6QEBUFTBGFMZ  w 13JTNFSHFEPOMZXIFOQMBOJT/P$IBOHF w *UQSFWFOUTVOFYQFDUFEDIBOHFT

  44.  43&UFBN.JTTJPO  *NQSPWF%FWFMPQFS&YQFSJFODFPG5FSSBGPSN1MBUGPSN  &ODPVSBHF*B$XJUI5FSSBGPSN  "HFOEB

  45. .BOBHFOFX4BB4XJUI5FSSBGPSN w "84 w %FBENBOTTOJUDI  w "84 w %FBENBOTTOJUDI

    w 1JOHEPN w %BUBEPH w ($1 w .POHP%#"UMBT "4*4 50#& /FX ZFBST
  46. w.BOBHF($1XJUI5FSSBGPSN w3FQMBDFPUIFS*B$UPPMTUP5FSSBGPSN 

  47. w.BOBHF($1XJUI5FSSBGPSN w3FQMBDFPUIFS*B$UPPMTUP5FSSBGPSN 

  48. .BOBHFNFOUPG($1 #BDLHSPVOE w ($1JTOUNBOBHFECZ*B$ w .BJOMZXFVTF"84 TPUIFQSJPSJUZPG($1XBTMPX w 3FDFOUMZ TPNFQSPEVDUUFBNTTUBSUFEVTJOH($1

    
  49. .BOBHFNFOUPG($1 #BDLHSPVOE w ($1JTOUNBOBHFECZ*B$ w .BJOMZXFVTF"84 TPUIFQSJPSJUZPG($1XBTMPX w 3FDFOUMZ TPNFQSPEVDUUFBNTTUBSUFEVTJOH($1

     8FTUBSUFENBOBHJOH($1XJUI5FSSBGPSN
  50. .BOBHF($1XJUI5FSSBGPSN w ($1$SFEFOUJBMTBSFSFRVJSFE w .BOBHFNFOUPG4FSWJDF"DDPVOULFZTJTSJTLZ 

  51. (PPHMF$MPVE#VJME w 4FSWJDF"DDPVOULFZJTOUOFFEFE w *UJTEJ ffi DVMUUPEPUIFTBNFUIJOHXJUI"84$PEF#VJME w 8FXBOUUPSFVTFFYJTUJOH$*$%QJQFMJOF 

  52. ($18PSLMPBE*EFOUJUZ'FEFSBUJPO w "DDFTT($1XJUI"84*".3PMF w ($14FSWJDF"DDPVOULFZJTOUOFFEFE w 3FVTFFYJTUJOH$*$%QJQFMJOFT 

  53. *EFOUJUZ'FEFSBUJPOPO$PEF#VJME w 5IFSFJTBOP ffi DJBMEPDVNFOUBCPVU"84($1*EFOUJUZ'FEFSBUJPO w #VUJUEPFTOUXPSLXFMMGPS"84$PEF#VJME w 'PS"84$PEF#VJME XFIBEUP

    w 'JYUIFDSFEFOUJBMDPO fi HVSBUJPO fi MF w (FOFSBUFUFNQPSBM"DDFTT,FZBOETFUUIFNBTFOWJSPONFOU WBSJBCMFTJO$* 
  54. 'JYUIFDSFEFOUJBMDPOGJHVSBUJPOGJMF 

  55. 'JYUIFDSFEFOUJBMDPOGJHVSBUJPOGJMF 

  56. (FOFSBUFUFNQPSBM"DDFTT,FZ 

  57. w.BOBHF($1XJUI5FSSBGPSN w3FQMBDFPUIFS*B$UPPMTUP5FSSBGPSN 

  58. 3FQMBDFPUIFSUPPMTUP5FSSBGPSN w DPEFOJ[FUPPMTNJBN DPEFOJ[FUPPMTSPBEXPSLFS5FSSBGPSN w .JHSBUJPOUPPMT5FSSBGPSNFS UGNJHSBUPS 

  59. *NQPSUXJUI5FSSBGPSNFS 

  60. *NQPSUXJUI5FSSBGPSNFS w 3FTPVSDFBEESFTTJTEJ ffi DVMUUPVOEFSTUBOE w 4UBUFJTOUTQMJU  %J ffi

    DVMUUPVOEFSTUBOE
  61. 3FOBNFBOETQMJUXJUIUGNJHSBUPS  UGFSGPP%QSPEVDUJPO UGFSCBS%QSPEVDUJPO GPP@QSPEVDUJPO GPPQSPEVDUJPO CBS@QSPEVDUJPO CBSQSPEVDUJPO

  62. $PODMVTJPO 

  63. $PODMVTJPO w *IBWFJOUSPEVDFE5FSSBGPSN1MBUGPSNJO2VJQQFS w 43&UFBNNJTTJPO w $SFBUFBQMBUGPSNBOEDVMUVSFUIBUBMMPXTTFMGDPOUBJOFEUFBNTUP DPOUJOVFUPEFMJWFSQSPEVDUTRVJDLMZBOETBGFMZ w 8FIBWFJNQSPWFE%FWFMPQFS&YQFSJFODFPG1MBUGPSNDPOUJOVPVTMZ

    
  64. 3FGFSFODF w 5FSSBGPSNͷ$*ʹUGNJHSBUFΛಋೖͨ͠࿩ w "84*".ͷ؅ཧΛNJBN͔Β5FSSBGPSNʹҠߦͨ͠࿩ w "84($1ͷ*%࿈ܞΛ࢖͍ɺ"84$PEF#VJMEͰ5FSSBGPSNΛ࢖ͬͯ($1Λ؅ཧ w 5FSSBGPSNϦϙδτϦΛϚʔδͯ͠$*$%Λվળͨ͠࿩ w

    Ҏ্ͷ5FSSBGPSN؀ڥΛ͍͍ײ͡ʹWʹVQHSBEFͨ͠ํ๏ w 1VMM3FRVFTUͷUFSSBGPSNQMBOͷ࣮ߦ݁ՌΛ4ʹอଘͯ҆͠શʹBQQMZ w 5FSSBGPSNͷ$*$%Λ$PEF#VJMEʹҠߦͨ͠࿩ w 2VJQQFSʹ͓͚Δ5FSSBGPSNͷӡ༻