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

Introducing Rust

0286822f506fc4621bd3ea0bcbfef238?s=47 Bucharest FP
December 17, 2014
Programming
2
350

Introducing Rust

http://bucharestfp.ro/2014/12/17/rust/

0286822f506fc4621bd3ea0bcbfef238?s=128

Bucharest FP

December 17, 2014
Tweet

More Decks by Bucharest FP

See All by Bucharest FP
The Curry-Howard-Lambek Correspondence
0286822f506fc4621bd3ea0bcbfef238?s=48 bucharestfp
3
270
An Applicative Application
0286822f506fc4621bd3ea0bcbfef238?s=48 bucharestfp
0
5.5k
Composition in FP
0286822f506fc4621bd3ea0bcbfef238?s=48 bucharestfp
0
110
Formal Design, Implementation and Verification of Blockchain Languages and Virtual Machines
0286822f506fc4621bd3ea0bcbfef238?s=48 bucharestfp
1
230
PureScript & Halogen
0286822f506fc4621bd3ea0bcbfef238?s=48 bucharestfp
1
250
A Simple Sudoku Solver in Haskell
0286822f506fc4621bd3ea0bcbfef238?s=48 bucharestfp
0
670
DeviceGraph — Clustering Devices into People at Adobe with Apache Spark
0286822f506fc4621bd3ea0bcbfef238?s=48 bucharestfp
0
170
Functional Programming Inception
0286822f506fc4621bd3ea0bcbfef238?s=48 bucharestfp
0
210
Equational Reasoning in Programming
0286822f506fc4621bd3ea0bcbfef238?s=48 bucharestfp
0
390

Other Decks in Programming

See All in Programming
Milestoner
E0e036f89c14b3e59640318eedf9670b?s=48 bkuhlmann
1
200
Kotlin 最新動向2022 #tfcon #techfeed
14c9795d267f5b85abb98ca5e8780646?s=48 ntaro
1
1.1k
偏見と妄想で語るスクリプト言語としての Swift / Swift as a Scripting Language
Af64bc38c0ffcfcabdf430759ee491ce?s=48 lovee
2
270
Swift Concurrencyによる安全で快適な非同期処理
0620564f0125b8b3b7f4fe40c10b8b4e?s=48 tattn
2
320
インフラエンジニアの多様性と評価、またはキャリアへのつなげ方 / Careers as infrastructure engineers
C0479b152c326746e911be790617f75b?s=48 katsuhisa91
0
520
書籍『良いコード/悪いコードで学ぶ設計入門』でエンジニアリングの当たり前を変える
8ec2b967e38f000eb63ae345cd7c58e6?s=48 minodriven
3
1.1k
Jakarta EE 10 is Coming Your Way
B489790e1a844284d7cd1fa2cd6e021f?s=48 ivargrimstad
0
2.6k
WindowsコンテナDojo：第2回 Windowsコンテナアプリのビルド、公開、デプロイ
E5eb221d34d4ffbe973f8542b4c3a00e?s=48 oniak3ibm
PRO
0
140
テスト設計技法をなぜ＆どのように使うのか体験しよう！
Add1036688abcb2e3dbff7c3090f7e35?s=48 imtnd
0
340
Composing an API with Kotlin (Kotlin Dev Day 2022)
4047c64e3a1e2f81addd4ba675ddc451?s=48 zsmb
0
260
Quartoを使ってみませんか / quarto_get_started
D12a80cab206033a820ccff8319f957b?s=48 s_uryu
0
210
mrubyを1300円のボードで動かそう
9ec05c5a1b9b0ce9cd53ec3a63838b9a?s=48 yuuu
0
190

Featured

See All Featured
The Cult of Friendly URLs
Ded01cdab114abe4ec13511e4c25b9bb?s=48 andyhume
68
4.7k
The Brand Is Dead. Long Live the Brand.
A415db3ac9e9668acbc1fb36eead84ac?s=48 mthomps
45
2.7k
The Straight Up "How To Draw Better" Workshop
Aff5641764408271f7bc398f2097edd0?s=48 denniskardys
225
120k
The Art of Programming - Codeland 2020
719435d98d452de7ac367c828266cf01?s=48 erikaheidi
31
5.8k
GitHub's CSS Performance
64827b31aef81498662e8af4bd6d5157?s=48 jonrohan
1020
410k
Fantastic passwords and where to find them - at NoRuKo
8ec1383b240b5ba15ffb9743fceb3c0e?s=48 philnash
25
1.5k
StorybookのUI Testing Handbookを読んだ
50fc0fdc2327ecbe7350645812de52e3?s=48 zakiyama
4
2k
What the flash - Photography Introduction
5ce91fa49a613cbc3e20d5f96856473f?s=48 edds
61
10k
Designing Dashboards & Data Visualisations in Web Apps
Fde6c3a50ca518a909ef35c22c0ee0e4?s=48 destraynor
224
49k
VelocityConf: Rendering Performance Case Studies
96270e4c3e5e9806cf7245475c00b275?s=48 addyosmani
316
22k
Designing on Purpose - Digital PM Summit 2013
7653c7c449918ff6542880a8c284f5e7?s=48 jponch
106
5.6k
Why You Should Never Use an ORM
88bc30284c6a424b63a92aad27d0ba36?s=48 jnunemaker
PRO
47
5.5k

Transcript

  1. 1(7)/,;

  2. 3UR[\R

  3. /DQJ"

  4. ,I,¶PEHLQJKHOGWRDQRWKHUSUHGLFWLRQLW¶VWKDWWKHLQVXUJHQWODQJXDJHVILYH \HDUVIURPQRZZLOOEH±OLNH*R5XVWDQG-XOLD±XQWHWKHUHGE\DKRVW90 7KHORZSRZHUKLJKFRQQHFWLYLW\,QWHUQHWRI7KLQJVZRUOGZH¶UHPRYLQJ WRZDUGVOHDYHVIDUOHVVURRPIRUIDW90V7KHODQJXDJHVWKDWKDYHQ¶WDEDQGRQHG WKHLUKRVWVE\WKHQZLOOEHWKRXJKWRIDVEDJJDJHIURPWKHUHVRXUFHLQHIILFLHQW HDUO\GD\VRIFORXGFRPSXWLQJ KWWSVDO[QHWWKRXJKWVRQILYH\HDUVRIHPHUJLQJODQJXDJHVKWPO

  5. *R

  6. '

  7. 5XVW

  8. IQKHOORBZRUOG ^ SULQWOQ +HOORZRUOG `

  9. IQPDLQ ^ DGGBWZRBWKLQJV  ` IQDGGBWZRBWKLQJV DXLQWEXLQW !XLQW^ DE `

  10. IQPDLQ ^ DGGBWZRBWKLQJV   ` IQDGGBWZRBWKLQJV DXLQWEXLQW !XLQW^ DE

    `

  11. VWUXFW)LOH^ ILOHQDPH6WULQJ ILOHBVL]HX KLGHERRO `

  12. OHWRWKHUBILOH )LOH^ ILOHQDPH-HVXVLVP\VKHSKHUGWRBVWULQJ  ILOHBVL]H KLGHIDOVH `

  13. LPSO)LOH^ IQQHZ QDPH VWUVL]HXKLGHERRO !)LOH^ )LOH^ ILOHQDPHQDPHWRBVWULQJ  ILOHBVL]HVL]H KLGHKLGH

    ` ` `

  14. OHWILOH )LOHQHZ 7KLVLVDFKDVHUIDOVH  SULQWOQ )LOHQDPHLV^`ILOHILOHQDPH

  15. >GHULYLQJ 6KRZ @ VWUXFW)LOH^ ILOHQDPH6WULQJ ILOHBVL]HX KLGHERRO ` )LOHLV)LOH^ILOHQDPH7KLVLVDFKDVHUILOHBVL]HKLGHIDOVH`

  16. HQXP85,^ +773 6WULQJ  +7736 6WULQJ  )73 6WULQJ 

    1RQH `

  17. IQJHWBXUO XUL6WULQJ !85,^ OHWVXEVWU XUL>@>@ PDWFKVXEVWU^ KWWSV !85,+7736 XULFORQH 

    KWWS !85,+773 XULFORQH  IWS !85,)73 XULFORQH  B !85,1RQH ` ` IQPDLQ ^ SULQWOQ 8UOLV^`JHWBXUO KWWSVIRREDUWRBVWULQJ  SULQWOQ 8UOLV^`JHWBXUO KWWSIRREDUWRBVWULQJ  SULQWOQ 8UOLV^`JHWBXUO IWSIRREDUWRBVWULQJ  SULQWOQ 8UOLV^`JHWBXUO ZKDWHYHUIRREDUWRBVWULQJ  `

  18. >GHULYLQJ 6KRZ&ORQH @ HQXP'LVN6WUXFW^ )LOH 6WULQJ  'LU 6WULQJ `

  19. LPSO'LVN6WUXFW^ IQQHZ SDWK VWU !'LVN6WUXFW^ PDWFKSDWKVOLFHBIURP SDWKOHQ  ^ 

    !'LVN6WUXFW'LU SDWKWRBVWULQJ  B !'LVN6WUXFW)LOH SDWKWRBVWULQJ ` ` IQSDWK VHOI !6WULQJ^ PDWFKVHOIFORQH ^ 'LVN6WUXFW)LOH V  !V 'LVN6WUXFW'LU V  !V ` ` IQLQVSHFW VHOI ^ SULQWOQ 6HOILV^`VHOISDWK  ` `

  20. IQPDLQ ^ 'LVN6WUXFWQHZ IRREDUED] LQVSHFW  `

  21. IQSRLQWHUBW\SHV ^ OHWD ,ORYHPDU\SRSSLQVWRBVWULQJ  SULQWPH D  SULQWOQ 6XS^`D

     ` IQSULQWPH V6WULQJ ^ SULQWOQ +H\^`V `

  22. &/21(,7)25$//,7·6:257+

  23. IQSRLQWHUBW\SHV ^ OHWD ,ORYHPDU\SRSSLQVWRBVWULQJ  SULQWPH DFORQH  SULQWOQ 6XS^`D

     ` IQSULQWPH V6WULQJ ^ SULQWOQ +H\^`V  `

  24. IQSRLQWHUBW\SHV ^ OHWD ,ORYHPDU\SRSSLQVWRBVWULQJ  OHWD SULQWPH D  SULQWOQ

    6XS^`D  ` IQSULQWPH V6WULQJ !6WULQJ^ SULQWOQ +H\^`V  V `

  25. IQSRLQWHUBW\SHV ^ OHWD ,ORYHPDU\SRSSLQVWRBVWULQJ  SULQWPH D  SULQWOQ 6XS^`D

     ` IQSULQWPH V 6WULQJ ^ SULQWOQ +H\^`V  `

  26. OHWD ,ORYHPDU\SRSSLQVWRBVWULQJ  SULQWOQ 6XS^S` D  䋻6XS[IIIFGII

  27. IQPDLQ ^ OHWD  SULQWOQ ,QFUHPHQWLQJ^`DGG D D ` IQDGG

    D XLQWE XLQW !XLQW^  D E `

  28. IQDGG D E! D DXLQWE EXLQW ! DXLQW^ DE `

  29. IQDGGBWR D PXWXLQWEXLQW !XLQW^  D  DE  D

    ` IQPDLQ ^ OHWPXWD  SULQWOQ ,QFUHPHQWLQJ^`^`DGGBWR PXWD D  ` 䋻,QFUHPHQWLQJ

  30. OHWPXWDXLQW  OHWE  D OHWF  D

  31. OHWPXWDXLQW  OHWE  PXWD OHWF  PXWD

  32. Ɣ %R[$ORFDWLQKHDSFXXQVLQJXURZQHU Ɣ 5F5HVRXUFHFRXQWHGLQKHDS Ɣ $UF$WRPLFDOO\5HVRXUFHFRXQWHGLQKHDSWKUHDGVDIH XVDJH

  33. IQPDLQ ^ SULQWBLQQDUGV _[XLQW_^ [  ` ` IQSULQWBLQQDUGV IXQ_XLQW_!XLQW

    ^ SULQWOQ 5HVXOWLV^`IXQ   `

  34. >GHULYLQJ 6KRZ&ORQH @ VWUXFW)LOH^ ILOHQDPH6WULQJ ILOHBVL]HX KLGHERRO `

  35. LPSO)LOH^ IQQHZ QDPH VWUVL]HXKLGHERRO !)LOH^ )LOH^ ILOHQDPHQDPHWRBVWULQJ  ILOHBVL]HVL]H KLGHKLGH

    ` ` IQVL]HBLQBPE VHOI !X^ VHOIILOHBVL]H!! ` `

  36. IQPDLQ ^ OHWILOH )LOHQHZ -HUU\BBIDOVH  SULQWOQ )LOHVL]HLV^`ILOHVL]HBLQBPE  `

  37. LPSO)LOH^ IQQHZ QDPH VWUVL]HXKLGHERRO !)LOH^  ` IQVL]HBLQBPE VHOI !X^

    VHOIILOHBVL]H!! ` ` IQPDLQ ^ OHWILOH )LOHQHZ -HUU\BBIDOVH  SULQWOQ )LOHVL]HLV^`ILOHVL]HBLQBPE  `

  38. IQPDLQ ^ OHWILOH )LOHQHZ -HUU\BBIDOVH  SULQWOQ )LOHVL]HLV^`ILOHVL]HBLQBPE  `

  39. SXEVWUXFW%DU^ SXEQDPH6WULQJ ` LPSO2SHUDWLRQIRU%DU^ IQ]HUR VHOI !XLQW^  ` `

    SXEWUDLW2SHUDWLRQ^ IQ]HUR VHOI !XLQW `

  40. LPSO2WKHU2SHUDWLRQIRU%DU^ ` SXEWUDLW2SHUDWLRQ^ IQ]HUR VHOI !XLQW ` SXEWUDLW2WKHU2SHUDWLRQ2SHUDWLRQ^ IQRQH VHOI

    !XLQW^ VHOI]HUR  ` `

  41. >GHULYLQJ 6KRZ @ SXEVWUXFW)RR^ SXEQDPH6WULQJ DJHX ` SXEVWUXFW%DU^ SXEQDPH6WULQJ `

    LPSO)RR^ SXEIQQHZ QDPH VWUDJHX !)RR^ )RR^ QDPHQDPHWRBVWULQJ  DJHDJH ` ` `

  42. SXEWUDLW%DUNDEOH^ IQEDUN VHOI  ` LPSO%DUNDEOHIRU)RR^ IQEDUN VHOI ^ SULQWOQ

    :RRI  ` ` LPSO%DUNDEOHIRU%DU^ IQEDUN VHOI ^ SULQWOQ %RRI  ` `

  43. IQEDUN7%DUNDEOH! ] 7 ^ ]EDUN  ` IQPDLQ ^ OHWIRR

    )RRQHZ 6XS  OHWEDU %DU^QDPH6XSWRBVWULQJ ` EDUN IRR  EDUN EDU  `

  44. IQEDUN7%DUNDEOH! ] 7 ^ SULQWOQ ^`!]  ]EDUN  `

  45. IQEDUN7%DUNDEOH6KRZ! ] 7 ^ SULQWOQ ^`!]  ]EDUN  `

  46. >GHULYLQJ 6KRZ @ SXEVWUXFW)RR^ SXEQDPH6WULQJ DJHX `

  47. LPSO6KRZIRU%DU^ IQIPW VHOIIPW PXW)RUPDWWHU !5HVXOW (UURU!^ OHWGHVFULSWLRQ IRUPDW %DU^^QDPH^```VHOIQDPH 

    IPWZULWH GHVFULSWLRQDVBE\WHV ` `

  48. UHVXOWHUU PRGXO2SHUDWLH IRREDU LIHUU QLO^ RPJGLH `

  49. OHWSDWK 3DWKQHZ 8VHUV]PDFNWKLQJW[W  OHWILOH PDWFK)LOHRSHQ SDWK ^ 2N I

     !I (UU H  !^ SULQWOQ )LOHRSHQIDLOHG^`H  UHWXUQ ` `

  50. OHWILOH )LOHRSHQ SDWK XQZUDS  䋻WDVN SDQLFNHGDW FDOOHG5HVXOWXQZUDS RQDQ(UU YDOXHFRXOGQ

    WRSHQSDWKDVILOH QRVXFKILOHRU GLUHFWRU\ 1RVXFKILOHRUGLUHFWRU\  SDWK 8VHUV]PDFNWKLQJW[WPRGH RSHQDFFHVV UHDG  8VHUV]PDFNSURMHFWVUXVWVUFOLEFRUHUHVXOWUV

  51. IQPDLQ ^ OHWSDWK 3DWKQHZ 8VHUV]PDFNWKLQJW[W  PDWFKRSHQBILOH SDWK ^ 2N

    B  !SULQWOQ 2N  (UU H  !SULQWOQ (UURU^`H  ` ` IQRSHQBILOH SDWK 3DWK !,R5HVXOW6WG)LOH!^ OHWILOH WU\ 6WG)LOHRSHQ SDWK  2N ILOH `

  52. >GHULYLQJ 6KRZ @ HQXP2SHQ(UURU^ ,R ,R(UURU  *HQHULF 6WULQJ `

  53. LPSO)URP(UURU,R(UURU!IRU2SHQ(UURU^ IQIURPBHUURU HUU,R(UURU !2SHQ(UURU^ 2SHQ(UURU,R HUU ` ` LPSO)URP(UURU6WULQJ!IRU2SHQ(UURU^ IQIURPBHUURU

    HUU6WULQJ !2SHQ(UURU^ 2SHQ(UURU*HQHULF HUU ` `

  54. IQRSHQBILOH SDWK 3DWK !5HVXOW6WG)LOH2SHQ(UURU!^ OHWVWDW WU\ SDWKVWDW  OHWILOH WU\

    6WG)LOHRSHQ SDWK  UHWXUQ(UU )URP(UURUIURPBHUURU 6RPHWKLQJHOVHJRWEXVWHGWRBVWULQJ  ` IQPDLQ ^ OHWSDWK 3DWKQHZ 8VHUV]PDFNWKLQJW[W  PDWFKRSHQBILOH SDWK ^ 2N B  !SULQWOQ 2N  (UU H  !SULQWOQ 1RW2N^`H  ` `

  55. IQPDLQ ^ VSDZQ PRYH__^ SULQWOQ ,FRQFXU  `  SULQWOQ

    ,GRQ W  `

  56. OHWPXWDXLQW  VSDZQ PRYH__^ SULQWOQ PRYHG$LV^`D  `  D

    D  SULQWOQ $LV^`D 

  57. OHWPXWDXLQW  OHWE  D VSDZQ PRYH__^ SULQWOQ PRYHG$LV^`E 

    `  SULQWOQ $LV^`E 

  58. IQPDLQ ^ OHWD9HFXLQW! YHF>@ VSDZQ PRYH__^ DSXVK   DSXVK

      IRU[LQDLWHU ^ SULQWOQ !^`[  ` `  IRU[LQDLWHU ^ SULQWOQ  !^`[  ` `

  59. 䋻8VHUV]PDFNSURMHFWVUXVWVKRZVUFPDLQUV HUURUXVHRIPRYHGYDOXHD8VHUV]PDFNSURMHFWVUXVW VKRZVUFPDLQUVIRU[LQDLWHU ^

  60. IQPDLQ ^ OHWD9HFXLQW! YHF>@ OHWP 0XWH[QHZ D  VSDZQ PRYH__^

    PORFN SXVK   PORFN SXVK   IRU[LQPORFN LWHU ^ SULQWOQ !^`[  ` `  IRU[LQPORFN LWHU ^ SULQWOQ  !^`[  ` `

  61. IQPDLQ ^ OHWD9HFXLQW! YHF>@ OHWP 0XWH[QHZ D  OHWFORQHGBP PFORQH

     VSDZQ PRYH__^ PORFN SXVK   PORFN SXVK   IRU[LQPORFN LWHU ^ SULQWOQ !^`[  ` `  IRU[LQFORQHGBPORFN LWHU ^ SULQWOQ  !^`[  ` `

  62. 䋻8VHUV]PDFNSURMHFWVUXVWVKRZVUFPDLQUV HUURUW\SHVWGV\QFPXWH[0XWH[FROOHFWLRQVYHF 9HFXLQW!!GRHVQRWLPSOHPHQWDQ\PHWKRGLQVFRSHQDPHG FORQH8VHUV]PDFNSURMHFWVUXVWVKRZVUFPDLQUVOHW FORQHGBP PFORQH 

  63. IQPDLQ ^ OHWD9HFXLQW! YHF>@ OHWP 0XWH[QHZ D  OHWUF $UFQHZ

    P  OHWFORQHGBUF UFFORQH  VSDZQ PRYH__^ UFORFN SXVK   UFORFN SXVK   IRU[LQUFORFN LWHU ^ SULQWOQ !^`[  ` `  IRU[LQFORQHGBUFORFN LWHU ^ SULQWOQ  !^`[  ` `

  64. 䋻 ! ! !

  65. HQXP0HVVDJH^ 1XPEHUV 9HFXLQW!  'LH `

  66. IQPDLQ ^ OHW W[U[  FKDQQHO  VSDZQ PRYH__^ OHW[

    YHF>XXX@ W[VHQG 0HVVDJH1XPEHUV [  `  PDWFKU[UHFY ^ 0HVVDJH1XPEHUV ]  !^ SULQWOQ 1XPEHUV IRU[LQ]LWHU ^ SULQWOQ !^`[  ` ` B !SULQWOQ 6RPHWKLQJHOVH ` `

  67. &DUJR

  68. ȹ JHWPDVWHU KWWSVJLWKXEFRPUXVW ODQJUXVW ȹ FRQILJXUHPDNHWKHZRUNV ȹ QHYHUORRNEDFN