ºÝºÝߣshows by User: JarekRatajski / http://www.slideshare.net/images/logo.gif ºÝºÝߣshows by User: JarekRatajski / Wed, 19 Apr 2023 09:36:44 GMT ºÝºÝߣShare feed for ºÝºÝߣshows by User: JarekRatajski respect-estimates.pdf /slideshow/respectestimatespdf/257469343 respect-estimates-230419093644-4947ee46
Geecon Krakow 2023 presentation]]>

Geecon Krakow 2023 presentation]]>
Wed, 19 Apr 2023 09:36:44 GMT /slideshow/respectestimatespdf/257469343 JarekRatajski@slideshare.net(JarekRatajski) respect-estimates.pdf JarekRatajski Geecon Krakow 2023 presentation <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/respect-estimates-230419093644-4947ee46-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Geecon Krakow 2023 presentation
respect-estimates.pdf from Jarek Ratajski
]]>
115 0 https://cdn.slidesharecdn.com/ss_thumbnails/respect-estimates-230419093644-4947ee46-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0
Pure Kotlin Devoxx PL 2021 /slideshow/pure-kotlin-devoxx-pl-2021/252181044 purekotlin-220714091313-a92d6224
Pure functional programming in kotlin]]>

Pure functional programming in kotlin]]>
Thu, 14 Jul 2022 09:13:13 GMT /slideshow/pure-kotlin-devoxx-pl-2021/252181044 JarekRatajski@slideshare.net(JarekRatajski) Pure Kotlin Devoxx PL 2021 JarekRatajski Pure functional programming in kotlin <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/purekotlin-220714091313-a92d6224-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Pure functional programming in kotlin
Pure Kotlin Devoxx PL 2021 from Jarek Ratajski
]]>
12 0 https://cdn.slidesharecdn.com/ss_thumbnails/purekotlin-220714091313-a92d6224-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0
Lambda hardcore /slideshow/lambda-hardcore/248341198 lambdahardcore-210518094311
Codemotion online 2021 talk]]>

Codemotion online 2021 talk]]>
Tue, 18 May 2021 09:43:10 GMT /slideshow/lambda-hardcore/248341198 JarekRatajski@slideshare.net(JarekRatajski) Lambda hardcore JarekRatajski Codemotion online 2021 talk <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/lambdahardcore-210518094311-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Codemotion online 2021 talk
Lambda hardcore from Jarek Ratajski
]]>
55 0 https://cdn.slidesharecdn.com/ss_thumbnails/lambdahardcore-210518094311-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0
Pure kotlin /slideshow/pure-kotlin/246283137 pure-kotlin-210415192710
Functional (pure) programming in kotlin]]>

Functional (pure) programming in kotlin]]>
Thu, 15 Apr 2021 19:27:10 GMT /slideshow/pure-kotlin/246283137 JarekRatajski@slideshare.net(JarekRatajski) Pure kotlin JarekRatajski Functional (pure) programming in kotlin <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/pure-kotlin-210415192710-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Functional (pure) programming in kotlin
Pure kotlin from Jarek Ratajski
]]>
67 0 https://cdn.slidesharecdn.com/ss_thumbnails/pure-kotlin-210415192710-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0
Transaction is a monad /JarekRatajski/transaction-is-a-monad transactionisamonad-200701170131
Functional programming Monads for aspects]]>

Functional programming Monads for aspects]]>
Wed, 01 Jul 2020 17:01:31 GMT /JarekRatajski/transaction-is-a-monad JarekRatajski@slideshare.net(JarekRatajski) Transaction is a monad JarekRatajski Functional programming Monads for aspects <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/transactionisamonad-200701170131-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Functional programming Monads for aspects
Transaction is a monad from Jarek Ratajski
]]>
203 0 https://cdn.slidesharecdn.com/ss_thumbnails/transactionisamonad-200701170131-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0
Scala to assembly /JarekRatajski/scala-to-assembly scalatoasm-200515154847
JIT, JVM, Tools for analyzing scala performance and microbenchmarks]]>

JIT, JVM, Tools for analyzing scala performance and microbenchmarks]]>
Fri, 15 May 2020 15:48:47 GMT /JarekRatajski/scala-to-assembly JarekRatajski@slideshare.net(JarekRatajski) Scala to assembly JarekRatajski JIT, JVM, Tools for analyzing scala performance and microbenchmarks <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/scalatoasm-200515154847-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> JIT, JVM, Tools for analyzing scala performance and microbenchmarks
Scala to assembly from Jarek Ratajski
]]>
190 0 https://cdn.slidesharecdn.com/ss_thumbnails/scalatoasm-200515154847-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0
Spring, CDI, Jakarta EE good parts /slideshow/spring-cdi-jakarta-ee-good-parts/199786074 springgoodpart-191130132652
Also known under controversial title "and other pathologies" Why Beans are not that great for your code.]]>

Also known under controversial title "and other pathologies" Why Beans are not that great for your code.]]>
Sat, 30 Nov 2019 13:26:52 GMT /slideshow/spring-cdi-jakarta-ee-good-parts/199786074 JarekRatajski@slideshare.net(JarekRatajski) Spring, CDI, Jakarta EE good parts JarekRatajski Also known under controversial title "and other pathologies" Why Beans are not that great for your code. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/springgoodpart-191130132652-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Also known under controversial title &quot;and other pathologies&quot; Why Beans are not that great for your code.
Spring, CDI, Jakarta EE good parts from Jarek Ratajski
]]>
434 0 https://cdn.slidesharecdn.com/ss_thumbnails/springgoodpart-191130132652-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0
Eta lang Beauty And The Beast /slideshow/eta-lang-beauty-and-the-beast/120546442 lambdaconf-eta-181024091836
Presentation on eta-lang from LmbdaConf 2018]]>

Presentation on eta-lang from LmbdaConf 2018]]>
Wed, 24 Oct 2018 09:18:36 GMT /slideshow/eta-lang-beauty-and-the-beast/120546442 JarekRatajski@slideshare.net(JarekRatajski) Eta lang Beauty And The Beast JarekRatajski Presentation on eta-lang from LmbdaConf 2018 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/lambdaconf-eta-181024091836-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Presentation on eta-lang from LmbdaConf 2018
Eta lang Beauty And The Beast from Jarek Ratajski
]]>
232 5 https://cdn.slidesharecdn.com/ss_thumbnails/lambdaconf-eta-181024091836-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0
Another programming language - jeszcze jeden język /slideshow/another-programming-language-jeszcze-jeden-jzyk/113524288 languages-180908160441
Presentation from SpreadIT 2018 Evolution of programming language]]>

Presentation from SpreadIT 2018 Evolution of programming language]]>
Sat, 08 Sep 2018 16:04:40 GMT /slideshow/another-programming-language-jeszcze-jeden-jzyk/113524288 JarekRatajski@slideshare.net(JarekRatajski) Another programming language - jeszcze jeden język JarekRatajski Presentation from SpreadIT 2018 Evolution of programming language <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/languages-180908160441-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Presentation from SpreadIT 2018 Evolution of programming language
Another programming language - jeszcze jeden jト凛yk from Jarek Ratajski
]]>
212 1 https://cdn.slidesharecdn.com/ss_thumbnails/languages-180908160441-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0
Beauty and the beast - Haskell on JVM /slideshow/beauty-and-the-beast-haskell-on-jvm/95141336 eta-180426181632
Presentation for JUG.CH eta-lang]]>

Presentation for JUG.CH eta-lang]]>
Thu, 26 Apr 2018 18:16:32 GMT /slideshow/beauty-and-the-beast-haskell-on-jvm/95141336 JarekRatajski@slideshare.net(JarekRatajski) Beauty and the beast - Haskell on JVM JarekRatajski Presentation for JUG.CH eta-lang <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/eta-180426181632-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Presentation for JUG.CH eta-lang
Beauty and the beast - Haskell on JVM from Jarek Ratajski
]]>
426 2 https://cdn.slidesharecdn.com/ss_thumbnails/eta-180426181632-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0
Fighting null with memes /slideshow/fighting-null-with-memes/90429134 null-180312195654
memes on the war with null in java]]>

memes on the war with null in java]]>
Mon, 12 Mar 2018 19:56:54 GMT /slideshow/fighting-null-with-memes/90429134 JarekRatajski@slideshare.net(JarekRatajski) Fighting null with memes JarekRatajski memes on the war with null in java <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/null-180312195654-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> memes on the war with null in java
Fighting null with memes from Jarek Ratajski
]]>
502 1 https://cdn.slidesharecdn.com/ss_thumbnails/null-180312195654-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0
Eta /slideshow/eta-88717991/88717991 eta-180223131325
Eta / haskell experiments - presented on Lambda Days 2018]]>

Eta / haskell experiments - presented on Lambda Days 2018]]>
Fri, 23 Feb 2018 13:13:25 GMT /slideshow/eta-88717991/88717991 JarekRatajski@slideshare.net(JarekRatajski) Eta JarekRatajski Eta / haskell experiments - presented on Lambda Days 2018 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/eta-180223131325-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Eta / haskell experiments - presented on Lambda Days 2018
Eta from Jarek Ratajski
]]>
1135 10 https://cdn.slidesharecdn.com/ss_thumbnails/eta-180223131325-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0
Geecon walking in CODE /slideshow/geecon-walking-in-code/81097125 geeconwalking-171023103651
Using VR to analyse code in Java]]>

Using VR to analyse code in Java]]>
Mon, 23 Oct 2017 10:36:51 GMT /slideshow/geecon-walking-in-code/81097125 JarekRatajski@slideshare.net(JarekRatajski) Geecon walking in CODE JarekRatajski Using VR to analyse code in Java <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/geeconwalking-171023103651-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Using VR to analyse code in Java
Geecon walking in CODE from Jarek Ratajski
]]>
240 1 https://cdn.slidesharecdn.com/ss_thumbnails/geeconwalking-171023103651-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0
Scalaworld lambda core hardcore /slideshow/scalaworld-lambda-core-hardcore/80082450 scalaworldlambdahard-170923125539
Jarek Ratajski presentation from Scalaworld 2017]]>

Jarek Ratajski presentation from Scalaworld 2017]]>
Sat, 23 Sep 2017 12:55:39 GMT /slideshow/scalaworld-lambda-core-hardcore/80082450 JarekRatajski@slideshare.net(JarekRatajski) Scalaworld lambda core hardcore JarekRatajski Jarek Ratajski presentation from Scalaworld 2017 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/scalaworldlambdahard-170923125539-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Jarek Ratajski presentation from Scalaworld 2017
Scalaworld lambda core hardcore from Jarek Ratajski
]]>
210 2 https://cdn.slidesharecdn.com/ss_thumbnails/scalaworldlambdahard-170923125539-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0
Lambda core /slideshow/lambda-core/76410604 lambdacore-170527204311
check library: https://github.com/jarekratajski/badlam code: val identity:Lambda = (x) => x println(SmartDisplay.web.display(identity)) val aTrue:Lambda = (x) => (y) => x println("true ~ " + SmartDisplay.web.display(aTrue)) val aFalse:Lambda = (x) => (y) => y println("false ~ " + SmartDisplay.web.display(aFalse)) val and:Lambda = (p) => (q) => p(q)(p) println("and ~ " + SmartDisplay.webP.display(and)) val result1:Lambda = and (aFalse) (aTrue) println("resutlt1 ~ " + SmartDisplay.web.display(result1)) val or:Lambda = (p) => (q) => p(p)(q) println("or ~ " + SmartDisplay.webP.display(or)) val result2:Lambda = or(aFalse) (aTrue) println("result2 ~ " + SmartDisplay.web.display(result2)) val not:Lambda = (p) => (a) => (b) => p(b)(a) println("not false ~ " + SmartDisplay.web.display(not(aFalse))) println("toJVMBoolean(result2) = " + pl.setblack.badlam.Boolean.toBoolean(result2)) val aTrue:Lambda = (x) => (y) => x val aFalse:Lambda = (x) => (y) => y val zero:Lambda = f=> x => x val one:Lambda = f=> x => f(x) val two:Lambda = f=> x => f(f(x)) val succ:Lambda = (n) => (f) => (x) => f(n(f)(x)) val mult:Lambda = (m) => (n) => (f) => m(n(f)) val pred:Lambda = (n) => (f) => (x) => n((g) => (h) => h(g(f)))((u) => x)((u) => u) val ifLambda:Lambda = (c) => (t) => (f) => c(t)(f)((x) => x) val isZero:Lambda = (n) => n((x) => aFalse)(aTrue) val autocall:Lambda = (x) => x(x) val Y:Lambda = (f) => autocall((y) => f((v) => y(y)(v))) val G:Lambda = (r) => (n) => (ifLambda(isZero(n)) ((x) => one) ((x) => mult(n)(r(pred(n)))) ) val fact = Y(G) val a:Lambda = f=>x => f(f(f(f(f(x))))) //5 println("a ~ " + SmartDisplay.webF.display(a)) val result = fact(a) println("a! ~ " + SmartDisplay.webF.display(result))]]>

check library: https://github.com/jarekratajski/badlam code: val identity:Lambda = (x) => x println(SmartDisplay.web.display(identity)) val aTrue:Lambda = (x) => (y) => x println("true ~ " + SmartDisplay.web.display(aTrue)) val aFalse:Lambda = (x) => (y) => y println("false ~ " + SmartDisplay.web.display(aFalse)) val and:Lambda = (p) => (q) => p(q)(p) println("and ~ " + SmartDisplay.webP.display(and)) val result1:Lambda = and (aFalse) (aTrue) println("resutlt1 ~ " + SmartDisplay.web.display(result1)) val or:Lambda = (p) => (q) => p(p)(q) println("or ~ " + SmartDisplay.webP.display(or)) val result2:Lambda = or(aFalse) (aTrue) println("result2 ~ " + SmartDisplay.web.display(result2)) val not:Lambda = (p) => (a) => (b) => p(b)(a) println("not false ~ " + SmartDisplay.web.display(not(aFalse))) println("toJVMBoolean(result2) = " + pl.setblack.badlam.Boolean.toBoolean(result2)) val aTrue:Lambda = (x) => (y) => x val aFalse:Lambda = (x) => (y) => y val zero:Lambda = f=> x => x val one:Lambda = f=> x => f(x) val two:Lambda = f=> x => f(f(x)) val succ:Lambda = (n) => (f) => (x) => f(n(f)(x)) val mult:Lambda = (m) => (n) => (f) => m(n(f)) val pred:Lambda = (n) => (f) => (x) => n((g) => (h) => h(g(f)))((u) => x)((u) => u) val ifLambda:Lambda = (c) => (t) => (f) => c(t)(f)((x) => x) val isZero:Lambda = (n) => n((x) => aFalse)(aTrue) val autocall:Lambda = (x) => x(x) val Y:Lambda = (f) => autocall((y) => f((v) => y(y)(v))) val G:Lambda = (r) => (n) => (ifLambda(isZero(n)) ((x) => one) ((x) => mult(n)(r(pred(n)))) ) val fact = Y(G) val a:Lambda = f=>x => f(f(f(f(f(x))))) //5 println("a ~ " + SmartDisplay.webF.display(a)) val result = fact(a) println("a! ~ " + SmartDisplay.webF.display(result))]]>
Sat, 27 May 2017 20:43:11 GMT /slideshow/lambda-core/76410604 JarekRatajski@slideshare.net(JarekRatajski) Lambda core JarekRatajski check library: https://github.com/jarekratajski/badlam code: val identity:Lambda = (x) => x println(SmartDisplay.web.display(identity)) val aTrue:Lambda = (x) => (y) => x println("true ~ " + SmartDisplay.web.display(aTrue)) val aFalse:Lambda = (x) => (y) => y println("false ~ " + SmartDisplay.web.display(aFalse)) val and:Lambda = (p) => (q) => p(q)(p) println("and ~ " + SmartDisplay.webP.display(and)) val result1:Lambda = and (aFalse) (aTrue) println("resutlt1 ~ " + SmartDisplay.web.display(result1)) val or:Lambda = (p) => (q) => p(p)(q) println("or ~ " + SmartDisplay.webP.display(or)) val result2:Lambda = or(aFalse) (aTrue) println("result2 ~ " + SmartDisplay.web.display(result2)) val not:Lambda = (p) => (a) => (b) => p(b)(a) println("not false ~ " + SmartDisplay.web.display(not(aFalse))) println("toJVMBoolean(result2) = " + pl.setblack.badlam.Boolean.toBoolean(result2)) val aTrue:Lambda = (x) => (y) => x val aFalse:Lambda = (x) => (y) => y val zero:Lambda = f=> x => x val one:Lambda = f=> x => f(x) val two:Lambda = f=> x => f(f(x)) val succ:Lambda = (n) => (f) => (x) => f(n(f)(x)) val mult:Lambda = (m) => (n) => (f) => m(n(f)) val pred:Lambda = (n) => (f) => (x) => n((g) => (h) => h(g(f)))((u) => x)((u) => u) val ifLambda:Lambda = (c) => (t) => (f) => c(t)(f)((x) => x) val isZero:Lambda = (n) => n((x) => aFalse)(aTrue) val autocall:Lambda = (x) => x(x) val Y:Lambda = (f) => autocall((y) => f((v) => y(y)(v))) val G:Lambda = (r) => (n) => (ifLambda(isZero(n)) ((x) => one) ((x) => mult(n)(r(pred(n)))) ) val fact = Y(G) val a:Lambda = f=>x => f(f(f(f(f(x))))) //5 println("a ~ " + SmartDisplay.webF.display(a)) val result = fact(a) println("a! ~ " + SmartDisplay.webF.display(result)) <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/lambdacore-170527204311-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> check library: https://github.com/jarekratajski/badlam code: val identity:Lambda = (x) =&gt; x println(SmartDisplay.web.display(identity)) val aTrue:Lambda = (x) =&gt; (y) =&gt; x println(&quot;true ~ &quot; + SmartDisplay.web.display(aTrue)) val aFalse:Lambda = (x) =&gt; (y) =&gt; y println(&quot;false ~ &quot; + SmartDisplay.web.display(aFalse)) val and:Lambda = (p) =&gt; (q) =&gt; p(q)(p) println(&quot;and ~ &quot; + SmartDisplay.webP.display(and)) val result1:Lambda = and (aFalse) (aTrue) println(&quot;resutlt1 ~ &quot; + SmartDisplay.web.display(result1)) val or:Lambda = (p) =&gt; (q) =&gt; p(p)(q) println(&quot;or ~ &quot; + SmartDisplay.webP.display(or)) val result2:Lambda = or(aFalse) (aTrue) println(&quot;result2 ~ &quot; + SmartDisplay.web.display(result2)) val not:Lambda = (p) =&gt; (a) =&gt; (b) =&gt; p(b)(a) println(&quot;not false ~ &quot; + SmartDisplay.web.display(not(aFalse))) println(&quot;toJVMBoolean(result2) = &quot; + pl.setblack.badlam.Boolean.toBoolean(result2)) val aTrue:Lambda = (x) =&gt; (y) =&gt; x val aFalse:Lambda = (x) =&gt; (y) =&gt; y val zero:Lambda = f=&gt; x =&gt; x val one:Lambda = f=&gt; x =&gt; f(x) val two:Lambda = f=&gt; x =&gt; f(f(x)) val succ:Lambda = (n) =&gt; (f) =&gt; (x) =&gt; f(n(f)(x)) val mult:Lambda = (m) =&gt; (n) =&gt; (f) =&gt; m(n(f)) val pred:Lambda = (n) =&gt; (f) =&gt; (x) =&gt; n((g) =&gt; (h) =&gt; h(g(f)))((u) =&gt; x)((u) =&gt; u) val ifLambda:Lambda = (c) =&gt; (t) =&gt; (f) =&gt; c(t)(f)((x) =&gt; x) val isZero:Lambda = (n) =&gt; n((x) =&gt; aFalse)(aTrue) val autocall:Lambda = (x) =&gt; x(x) val Y:Lambda = (f) =&gt; autocall((y) =&gt; f((v) =&gt; y(y)(v))) val G:Lambda = (r) =&gt; (n) =&gt; (ifLambda(isZero(n)) ((x) =&gt; one) ((x) =&gt; mult(n)(r(pred(n)))) ) val fact = Y(G) val a:Lambda = f=&gt;x =&gt; f(f(f(f(f(x))))) //5 println(&quot;a ~ &quot; + SmartDisplay.webF.display(a)) val result = fact(a) println(&quot;a! ~ &quot; + SmartDisplay.webF.display(result))
Lambda core from Jarek Ratajski
]]>
164 2 https://cdn.slidesharecdn.com/ss_thumbnails/lambdacore-170527204311-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0
[4 dev] lagom /slideshow/4-dev-lagom/74248830 4devlagom-170403151321
Lagom ratpack presentation from 4developers]]>

Lagom ratpack presentation from 4developers]]>
Mon, 03 Apr 2017 15:13:21 GMT /slideshow/4-dev-lagom/74248830 JarekRatajski@slideshare.net(JarekRatajski) [4 dev] lagom JarekRatajski Lagom ratpack presentation from 4developers <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/4devlagom-170403151321-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Lagom ratpack presentation from 4developers
[4 dev] lagom from Jarek Ratajski
]]>
472 3 https://cdn.slidesharecdn.com/ss_thumbnails/4devlagom-170403151321-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0
Jdd 2016 DROP DATABASE /slideshow/jdd-2016-drop-database/67086652 jdd2016-161012190540
JDD 2016 Krakow slides]]>

JDD 2016 Krakow slides]]>
Wed, 12 Oct 2016 19:05:40 GMT /slideshow/jdd-2016-drop-database/67086652 JarekRatajski@slideshare.net(JarekRatajski) Jdd 2016 DROP DATABASE JarekRatajski JDD 2016 Krakow slides <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/jdd2016-161012190540-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> JDD 2016 Krakow slides
Jdd 2016 DROP DATABASE from Jarek Ratajski
]]>
702 3 https://cdn.slidesharecdn.com/ss_thumbnails/jdd2016-161012190540-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0
DROPDB Galactic story /slideshow/dropdb-galactic-story/65657348 dropdb16-9-160903131618
GO event - drop database from JDAY Lviv 2016]]>

GO event - drop database from JDAY Lviv 2016]]>
Sat, 03 Sep 2016 13:16:18 GMT /slideshow/dropdb-galactic-story/65657348 JarekRatajski@slideshare.net(JarekRatajski) DROPDB Galactic story JarekRatajski GO event - drop database from JDAY Lviv 2016 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/dropdb16-9-160903131618-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> GO event - drop database from JDAY Lviv 2016
DROPDB Galactic story from Jarek Ratajski
]]>
555 6 https://cdn.slidesharecdn.com/ss_thumbnails/dropdb16-9-160903131618-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0
https://public.slidesharecdn.com/v2/images/profile-picture.png https://cdn.slidesharecdn.com/ss_thumbnails/respect-estimates-230419093644-4947ee46-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/respectestimatespdf/257469343 respect-estimates.pdf https://cdn.slidesharecdn.com/ss_thumbnails/purekotlin-220714091313-a92d6224-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/pure-kotlin-devoxx-pl-2021/252181044 Pure Kotlin Devoxx PL ... https://cdn.slidesharecdn.com/ss_thumbnails/lambdahardcore-210518094311-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/lambda-hardcore/248341198 Lambda hardcore