Nim Tutorial (Part I) 0.17.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 8. 5 S c op e s an d t h e b l oc k s t at e m e n t . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 8. 6 B r e ak . . . . . . . . . . . . . . . . . . . . 7 9 S t at e m e n t s an d i n d e n t at i on 7 10 P r oc e d u r e s 8 10. 1 R e s u l t v ar i ab l e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 10. 6 O v e r l oad e d p r oc e d u r e s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 10. 7 O0 码力 | 24 页 | 271.23 KB | 1 年前3
The Idris Tutorial Version 1.3.1D oc u m e n t at i on f or t h e I d r i s L an gu age Ve r s io n 1 .3 .1 C o n t e n t s 1 Th e I d r i s Tu t or i al 2 2 F r e q u e n t l y A s k e d Q u e s t i on s 67 3 I m p l e m e n t gu age R e f e r e n c e 153 7 Tu t or i al s on t h e I d r i s L an gu age 221 Not e : T h e d oc u m e n t at i on f or I d r i s h as b e e n p u b l i s h e d u n d e r t h e C r e at i v e C om t y h as w ai v e d al l c op y r i gh t an d r e l at e d or n e i gh b or i n g r i gh t s t o D oc u m e n t at i on f or I d r i s . M or e i n f or m at i on c on c e r n i n g t h e C C 0 c an b0 码力 | 230 页 | 1.24 MB | 1 年前3
The Idris Tutorial Version 1.3.0D oc u m e n t at i on f or t h e I d r i s L an gu age Ve r s io n 1 .2 .0 C o n t e n t s 1 Th e I d r i s Tu t or i al 2 2 F r e q u e n t l y A s k e d Q u e s t i on s 67 3 I m p l e m e n t gu age R e f e r e n c e 152 7 Tu t or i al s on t h e I d r i s L an gu age 220 Not e : T h e d oc u m e n t at i on f or I d r i s h as b e e n p u b l i s h e d u n d e r t h e C r e at i v e C om t y h as w ai v e d al l c op y r i gh t an d r e l at e d or n e i gh b or i n g r i gh t s t o D oc u m e n t at i on f or I d r i s . M or e i n f or m at i on c on c e r n i n g t h e C C 0 c an b0 码力 | 229 页 | 1.24 MB | 1 年前3
The Idris Tutorial Version 2.3.0D oc u m e n t at i on f or t h e I d r i s L an gu age Ve r s io n 1 .2 .0 C o n t e n t s 1 Th e I d r i s Tu t or i al 2 2 F r e q u e n t l y A s k e d Q u e s t i on s 66 3 I m p l e m e n t gu age R e f e r e n c e 151 7 Tu t or i al s on t h e I d r i s L an gu age 219 Not e : T h e d oc u m e n t at i on f or I d r i s h as b e e n p u b l i s h e d u n d e r t h e C r e at i v e C om t y h as w ai v e d al l c op y r i gh t an d r e l at e d or n e i gh b or i n g r i gh t s t o D oc u m e n t at i on f or I d r i s . M or e i n f or m at i on c on c e r n i n g t h e C C 0 c an b0 码力 | 228 页 | 1.23 MB | 1 年前3
The Idris Tutorial Version 1.0.1D oc u m e n t at i on f or t h e I d r i s L an gu age Ve r s io n 1 .0 C o n t e n t s 1 Th e I d r i s Tu t or i al 2 2 F r e q u e n t l y A s k e d Q u e s t i on s 62 3 I m p l e m e n t i n gu age R e f e r e n c e 147 7 Tu t or i al s on t h e I d r i s L an gu age 214 Not e : T h e d oc u m e n t at i on f or I d r i s h as b e e n p u b l i s h e d u n d e r t h e C r e at i v e C om t y h as w ai v e d al l c op y r i gh t an d r e l at e d or n e i gh b or i n g r i gh t s t o D oc u m e n t at i on f or I d r i s . M or e i n f or m at i on c on c e r n i n g t h e C C 0 c an b0 码力 | 223 页 | 1.21 MB | 1 年前3
The Idris Tutorial Version 1.1.0D oc u m e n t at i on f or t h e I d r i s L an gu age Ve r s io n 1 .0 C o n t e n t s 1 Th e I d r i s Tu t or i al 2 2 F r e q u e n t l y A s k e d Q u e s t i on s 62 3 I m p l e m e n t i n gu age R e f e r e n c e 147 7 Tu t or i al s on t h e I d r i s L an gu age 214 Not e : T h e d oc u m e n t at i on f or I d r i s h as b e e n p u b l i s h e d u n d e r t h e C r e at i v e C om t y h as w ai v e d al l c op y r i gh t an d r e l at e d or n e i gh b or i n g r i gh t s t o D oc u m e n t at i on f or I d r i s . M or e i n f or m at i on c on c e r n i n g t h e C C 0 c an b0 码力 | 223 页 | 1.21 MB | 1 年前3
The Idris Tutorial Version 1.1.1D oc u m e n t at i on f or t h e I d r i s L an gu age Ve r s io n 1 .0 C o n t e n t s 1 Th e I d r i s Tu t or i al 2 2 F r e q u e n t l y A s k e d Q u e s t i on s 62 3 I m p l e m e n t i n gu age R e f e r e n c e 147 7 Tu t or i al s on t h e I d r i s L an gu age 214 Not e : T h e d oc u m e n t at i on f or I d r i s h as b e e n p u b l i s h e d u n d e r t h e C r e at i v e C om t y h as w ai v e d al l c op y r i gh t an d r e l at e d or n e i gh b or i n g r i gh t s t o D oc u m e n t at i on f or I d r i s . M or e i n f or m at i on c on c e r n i n g t h e C C 0 c an b0 码力 | 223 页 | 1.21 MB | 1 年前3
The Idris Tutorial Version 0.99.2D oc u m e n t at i on f or t h e I d r i s L an gu age Ve r s io n 0 .9 9 .2 C o n t e n t s 1 Th e I d r i s Tu t or i al 2 2 F r e q u e n t l y A s k e d Q u e s t i on s 63 3 I m p l e m e n gu age R e f e r e n c e 148 7 Tu t or i al s on t h e I d r i s L an gu age 215 Not e : T h e d oc u m e n t at i on f or I d r i s h as b e e n p u b l i s h e d u n d e r t h e C r e at i v e C om t y h as w ai v e d al l c op y r i gh t an d r e l at e d or n e i gh b or i n g r i gh t s t o D oc u m e n t at i on f or I d r i s . M or e i n f or m at i on c on c e r n i n g t h e C C 0 c an b0 码力 | 224 页 | 1.22 MB | 1 年前3
The Idris Tutorial Version 1.0D oc u m e n t at i on f or t h e I d r i s L an gu age Ve r s io n 1 .0 C o n t e n t s 1 Th e I d r i s Tu t or i al 2 2 F r e q u e n t l y A s k e d Q u e s t i on s 62 3 I m p l e m e n t i n gu age R e f e r e n c e 147 7 Tu t or i al s on t h e I d r i s L an gu age 214 Not e : T h e d oc u m e n t at i on f or I d r i s h as b e e n p u b l i s h e d u n d e r t h e C r e at i v e C om t y h as w ai v e d al l c op y r i gh t an d r e l at e d or n e i gh b or i n g r i gh t s t o D oc u m e n t at i on f or I d r i s . M or e i n f or m at i on c on c e r n i n g t h e C C 0 c an b0 码力 | 223 页 | 1.21 MB | 1 年前3
Kotlin language specification
Version 1.9-rfc+0.1. 19 1. 3 S y n t ax gr am m ar . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 1. 4 D oc u m e n t at i on c om m e n t s . . . . . . . . . . . . . . . . . . . . . . 42 2 Ty p e s y s t e 2. 3 F or - l oop s t at e m e n t s . . . . . . . . . . . . . . . . . . . . . 151 7. 3 C od e b l oc k s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152 7. 3. 1 C oe r c i on t o kotlin t o t h an k P an d oc , i t s au t h or s an d c om m u n i t y , as t h i s s p e c i - fi c at i on w ou l d b e m u c h h ar d e r t o i m p l e m e n t w i t h ou t P an d oc ’ s v e r s at i l i0 码力 | 310 页 | 1.39 MB | 1 年前3
共 110 条
- 1
- 2
- 3
- 4
- 5
- 6
- 11













