{"id":1730141,"user_name":null,"score":3,"text":"@cerrato: \n\u017badne p\u0119tlnie nie s\u0105 intuicyjne. One s\u0105 zrozumia\u0142e tylko dla maszyn, a ludzie pracuj\u0105c w kulawych j\u0119zykach programowania nauczyli si\u0119 je rozumie\u0107 (musieli).\nMatematycy na p\u0119tle generalnie nie wpadli (!!!) - w  wi\u0119kszo\u015bci dzia\u0142\u00f3w matematyki nie ma czego\u015b takiego jak zmieniaj\u0105cy si\u0119 stan zmiennej (licznik p\u0119tli cho\u0107by). Matematycy  maj\u0105 rekrursj\u0119 (i powi\u0105zan\u0105 indukcj\u0119). Rekursja to generalnie jedyny spos\u00f3b robienia p\u0119tli j\u0119zykach \"matematycznych\" (funkcyjnych). I jest to zupe\u0142nie praktyczne i \"turing complete\".\nNaj\u015bmieszniej to wygl\u0105da jak studenci ucz\u0105 si\u0119 algorytm\u00f3w w jaki\u015b j\u0119zykach imperatywnych, a potem pisz\u0105 matematyczne dowody poprawno\u015bci u\u017cywaj\u0105c indukcji :\/ A w j\u0119zykach funkcyjnych mamy to podane wprost (ale mo\u017ce wtedy nie by\u0142o `zabawy`...)","edit_count":5,"is_voted":null,"is_accepted":null,"is_subscribed":null,"user_id":78878,"deleter_name":null,"delete_reason":null,"orderingScore":3,"created_at":"2020-12-07T12:11:23+01:00","updated_at":"2020-12-07T12:17:42+01:00","deleted_at":null,"user":{"id":78878,"name":"jarekr000000","is_online":false,"bio":"Zgadzam si\u0119 ze wszystkimi przedm\u00f3wcami","location":"U krasnolud\u00f3w - pod g\u00f3r\u0105","allow_sig":1,"allow_count":1,"allow_smilies":1,"posts":4730,"visited_at":"2026-07-13T05:11:09.000000Z","created_at":"2016-09-15T21:38:28.000000Z","initials":"J0","is_verified":false,"is_deleted":false,"is_incognito":false,"is_blocked":false,"is_blocked_perm":false,"deleted_at":null,"photo":"\/uploads\/photo\/ggwraKmclN3ZY0QlPKdtjGBOBOZVZJKgtoPWSDuz.jpg","sig":"jeden i p\u00f3\u0142 terabajta powinno wystarczy\u0107 ka\u017cdemu\n"},"html":"<p><a class=\"mention\" data-user-id=\"90224\" href=\"https:\/\/4programmers.net\/Profile\/90224\" rel=\"nofollow\">@cerrato<\/a>:<br \/>\n\u017badne p\u0119tlnie nie s\u0105 intuicyjne. One s\u0105 zrozumia\u0142e tylko dla maszyn, a ludzie pracuj\u0105c w kulawych j\u0119zykach programowania nauczyli si\u0119 je rozumie\u0107 (musieli).<br \/>\nMatematycy na p\u0119tle generalnie nie wpadli (!!!) - w  wi\u0119kszo\u015bci dzia\u0142\u00f3w matematyki nie ma czego\u015b takiego jak zmieniaj\u0105cy si\u0119 stan zmiennej (licznik p\u0119tli cho\u0107by). Matematycy  maj\u0105 rekrursj\u0119 (i powi\u0105zan\u0105 indukcj\u0119). Rekursja to generalnie jedyny spos\u00f3b robienia p\u0119tli j\u0119zykach \"matematycznych\" (funkcyjnych). I jest to zupe\u0142nie praktyczne i \"turing complete\".<br \/>\nNaj\u015bmieszniej to wygl\u0105da jak studenci ucz\u0105 si\u0119 algorytm\u00f3w w jaki\u015b j\u0119zykach imperatywnych, a potem pisz\u0105 matematyczne dowody poprawno\u015bci u\u017cywaj\u0105c indukcji :\/ A w j\u0119zykach funkcyjnych mamy to podane wprost (ale mo\u017ce wtedy nie by\u0142o <code>zabawy<\/code>...)<\/p>\n","url":"http:\/\/static.175.128.202.116.clients.your-server.de\/Forum\/Edukacja\/347001-nie_rozumiem_logiki?p=1730141#id1730141","is_locked":false,"editor":{"id":78878,"name":"jarekr000000","is_online":false,"bio":"Zgadzam si\u0119 ze wszystkimi przedm\u00f3wcami","location":"U krasnolud\u00f3w - pod g\u00f3r\u0105","allow_sig":1,"allow_count":1,"allow_smilies":1,"posts":4730,"visited_at":"2026-07-13T05:11:09.000000Z","created_at":"2016-09-15T21:38:28.000000Z","initials":"J0","is_verified":false,"is_deleted":false,"is_incognito":false,"is_blocked":false,"is_blocked_perm":false,"deleted_at":null,"photo":"\/uploads\/photo\/ggwraKmclN3ZY0QlPKdtjGBOBOZVZJKgtoPWSDuz.jpg","sig":"jeden i p\u00f3\u0142 terabajta powinno wystarczy\u0107 ka\u017cdemu\n"},"permissions":{"write":false,"delete":false,"update":false,"accept":false},"moderatorPermissions":{"delete":false,"update":false,"accept":false,"merge":false,"sticky":false,"admAccess":false},"comments":{"659539":{"id":659539,"text":"@Saalin dobry punkt. Mamy te\u017c kwantyfikatory.","html":"<a class=\"mention\" data-user-id=\"55124\" href=\"https:\/\/4programmers.net\/Profile\/55124\" rel=\"nofollow\">@Saalin<\/a> dobry punkt. Mamy te\u017c kwantyfikatory.\n","post_id":1730141,"created_at":"2020-12-07T12:33:17+01:00","updated_at":"2020-12-07T12:33:17+01:00","user":{"id":78878,"name":"jarekr000000","is_online":false,"initials":"J0","is_verified":null,"is_deleted":false,"is_incognito":false,"is_blocked":false,"is_blocked_perm":false,"deleted_at":null,"photo":"\/uploads\/photo\/ggwraKmclN3ZY0QlPKdtjGBOBOZVZJKgtoPWSDuz.jpg"},"url":"\/Forum\/Edukacja\/347001-nie_rozumiem_logiki?p=1730141#comment-659539","metadata":"eyJpdiI6IjFTUmdWZUt6WGpmd2JLOSsvWC9TS0E9PSIsInZhbHVlIjoiNUxWWFBVVCtiWGFaTHNRVno4TmJYQzMvNkRka1dvb2xMODd4czBLUXF1d0t4R1l1TDEyU0Nidnh6UFUvZTA2WWFyeVNNaDMzRlpCd3FDTHNodEtRUDRCODRtZ2xQY1FUY090WThzWnJyMUtTS0g2bHUyUmt6L21aaUZ3LzlDeStzcTFIbk5HUTF2MlA3WE1xYnJaNk1hc3RTZ1dLcnBWSG9WcFdxVHBvdjZrPSIsIm1hYyI6IjU1MmFmYmY0Yzg1YjMyNmQ4ZjNkNDNlYTY1MTg0NTk0MGQ2ZjFmYTI5YTViZTM0MWRjNzM1NjU0NjYwMjg4NDgiLCJ0YWciOiIifQ==","votes":0,"ownVote":false,"voters":[]},"659545":{"id":659545,"text":"Z tym, \u017ce jak si\u0119 dobrze przyjrze\u0107 to najbardziej bliskim odpowiednikiem sumy, czy iloczynu (np. szeregu) jest `fold` ( a nie p\u0119tla).","html":"Z tym, \u017ce jak si\u0119 dobrze przyjrze\u0107 to najbardziej bliskim odpowiednikiem sumy, czy iloczynu (np. szeregu) jest <code>fold<\/code> ( a nie p\u0119tla).\n","post_id":1730141,"created_at":"2020-12-07T12:38:26+01:00","updated_at":"2020-12-07T12:38:26+01:00","user":{"id":78878,"name":"jarekr000000","is_online":false,"initials":"J0","is_verified":null,"is_deleted":false,"is_incognito":false,"is_blocked":false,"is_blocked_perm":false,"deleted_at":null,"photo":"\/uploads\/photo\/ggwraKmclN3ZY0QlPKdtjGBOBOZVZJKgtoPWSDuz.jpg"},"url":"\/Forum\/Edukacja\/347001-nie_rozumiem_logiki?p=1730141#comment-659545","metadata":"eyJpdiI6ImVHaXMrV0NEaUZDTld2Nk5uZEpPTEE9PSIsInZhbHVlIjoic1hSakc2QmtXaGI2MkViTlErMlFFejRlMm5WdDFZTlNvd3BZejNFdzFtYWJJQ1hZVXNoTnZEVkFuOGtoZHltb1N0WlhYeXpRaTcwVTkyOW5zZHdJajc4MUZVZUE3czFNWElrNmN4bFlnMy8ybGlzN2MwZ1BhL2NHc0hwTHQweGxqUmVocnNzT05iajRoSk9EenE0b3Z3aFptS3B2MHV0WjhzZFBKeEZUcmRnPSIsIm1hYyI6ImUxODVlODY3ZGQ4ODRiOTA5NzU4OWZiNDhjMDNjNGFhYWQ0YzEzZWE3YzgzZTA3YjdlZWRkYTViMTc3YWZhYjIiLCJ0YWciOiIifQ==","votes":0,"ownVote":false,"voters":[]},"659549":{"id":659549,"text":"Mimo wszystko w formie to bli\u017cej do fora, bo jest i zmienna po kt\u00f3rej iterujemy, warunek ko\u0144cowy i krok. Rozumiem, \u017ce sens samej operacji jest bardzo foldowy, ale opr\u00f3cz tego to nie widz\u0119 podobie\u0144stw.","html":"Mimo wszystko w formie to bli\u017cej do fora, bo jest i zmienna po kt\u00f3rej iterujemy, warunek ko\u0144cowy i krok. Rozumiem, \u017ce sens samej operacji jest bardzo foldowy, ale opr\u00f3cz tego to nie widz\u0119 podobie\u0144stw.\n","post_id":1730141,"created_at":"2020-12-07T12:54:12+01:00","updated_at":"2020-12-07T12:54:12+01:00","user":{"id":55124,"name":"Saalin","is_online":false,"initials":"SA","is_verified":null,"is_deleted":false,"is_incognito":false,"is_blocked":false,"is_blocked_perm":false,"deleted_at":null,"photo":null},"url":"\/Forum\/Edukacja\/347001-nie_rozumiem_logiki?p=1730141#comment-659549","metadata":"eyJpdiI6IlF0aEhjOG1RSW9RRGNoZTNpalVLaVE9PSIsInZhbHVlIjoiYTdxSytWMEprSHd6ejVtc29Sbm5zSVZWNHliUlI5d2ZDRGN6dkFKSDBIRzFqS09oRTg3VFA2VStxSWlaVlhOUFk1VzBVVmFmRUNCVllFZmI3UkZKc3RQbENlRmMyb0l3OFR1bXQ4VVd2T3MvRkNsbEhvalZMeUhXeUV1OE9hTU1ycWxrWjE3eEFWa3p6cW9Yby8xU2VwZWw5R2xRbW9xODQzaEo5R2sxNStzPSIsIm1hYyI6IjJmMDhhZTViZTJjNjU0NjI5ZDQ5ZmQ2NjBmYjZiY2E3NDllOTMwMGVjZTJlZDhlZjBkMDgwZjMxY2MwMDE0MTQiLCJ0YWciOiIifQ==","votes":0,"ownVote":false,"voters":[]},"659553":{"id":659553,"text":"P\u0119tla jest du\u017co `mocniejsz\u0105` konstrukcj\u0105, gdzie jakiekolwiek efekty jednego przebiegu iteracji mog\u0105 by\u0107 widoczne w kolejnym. `fold` to taka bardzo cywilizowana p\u0119tla, gdzie rusza si\u0119 tylkoi indeks i kolejny element zal\u0119\u017cy tylko od poprzednich ( sumy  - w sensie algebry). Matematyczny Szereg i Iloczyn to wprost w\u0142a\u015bnie taka `cywilizowana p\u0119tla` (dlatego mo\u017cna na tym operowa\u0107 w dowodach).","html":"P\u0119tla jest du\u017co <code>mocniejsz\u0105<\/code> konstrukcj\u0105, gdzie jakiekolwiek efekty jednego przebiegu iteracji mog\u0105 by\u0107 widoczne w kolejnym. <code>fold<\/code> to taka bardzo cywilizowana p\u0119tla, gdzie rusza si\u0119 tylkoi indeks i kolejny element zal\u0119\u017cy tylko od poprzednich ( sumy  - w sensie algebry). Matematyczny Szereg i Iloczyn to wprost w\u0142a\u015bnie taka <code>cywilizowana p\u0119tla<\/code> (dlatego mo\u017cna na tym operowa\u0107 w dowodach).\n","post_id":1730141,"created_at":"2020-12-07T12:59:40+01:00","updated_at":"2020-12-07T12:59:40+01:00","user":{"id":78878,"name":"jarekr000000","is_online":false,"initials":"J0","is_verified":null,"is_deleted":false,"is_incognito":false,"is_blocked":false,"is_blocked_perm":false,"deleted_at":null,"photo":"\/uploads\/photo\/ggwraKmclN3ZY0QlPKdtjGBOBOZVZJKgtoPWSDuz.jpg"},"url":"\/Forum\/Edukacja\/347001-nie_rozumiem_logiki?p=1730141#comment-659553","metadata":"eyJpdiI6IjB4cU9rWlpZOEhoVExkTHRxTVFER2c9PSIsInZhbHVlIjoiODlXMXFYVmYrL2FqWTIvVmt6Tk5nVzhKbHcrbFY4QWY0U0YwU0pjdUZXUmp2eE9SdkduZnFzeFQyN29mS29XcUVEdXhTZzhQZjFSSXpRZFhtcHhwUWx1VGlCTGxOU0lQVkIzc0diZ1g0Wk9GZ3ZWcTN1ZWNZSUw2T0w0RVBXZnhvZWtId21VTnpMbTBidnBKWEhoRXhRandrWG84RTIzV1luVjR0UkxpeHN3PSIsIm1hYyI6IjA0ZGI5YWM0ZDQyMmFhMjE3ZTc2MDliZTc5NzE3YmZhY2ZhZTM2ZDU3MWRlNGE2ZmY5NTdmMTg5MzNmNGViZTEiLCJ0YWciOiIifQ==","votes":0,"ownVote":false,"voters":[]},"659815":{"id":659815,"text":"Ale Ty masz @jarekr000000 obszern\u0105 wiedz\u0119. Te\u017c bym tak chcia\u0142 :D","html":"Ale Ty masz <a class=\"mention\" data-user-id=\"78878\" href=\"https:\/\/4programmers.net\/Profile\/78878\" rel=\"nofollow\">@jarekr000000<\/a> obszern\u0105 wiedz\u0119. Te\u017c bym tak chcia\u0142 :D\n","post_id":1730141,"created_at":"2020-12-07T19:59:13+01:00","updated_at":"2020-12-07T19:59:13+01:00","user":{"id":88519,"name":"NeutrinoSpinZero","is_online":false,"initials":"NS","is_verified":null,"is_deleted":false,"is_incognito":false,"is_blocked":false,"is_blocked_perm":false,"deleted_at":null,"photo":null},"url":"\/Forum\/Edukacja\/347001-nie_rozumiem_logiki?p=1730141#comment-659815","metadata":"eyJpdiI6Ilhoelp5SzFmSU5NVi8zZDd2TXVjN1E9PSIsInZhbHVlIjoidmNaY3h5OGxiZ0doTHpEUzBOZUl2VDQzQlRtYU1TaC9kc3U0bzNrRk94TWVuUUdTR1J2UlZLWXhJdEZWZHU0eUpwR3Y0bUpoVTBQUGRLQmR0eFppWkJSa2dKdnZEaC9GaVl6U0Rld3Z4c1dDbTBIOU9vMlZQeFEwVGhtNU1pL2Vrd1lxOXQ0NjRubjRDcDViM1lST29YTy9XTmVjQlpwM1B4NFF2TTFhWXpVPSIsIm1hYyI6Ijk5YzMwMjBkMDU0MTg5NDNiMTg2MTM0MzllZGQ2MDMwOWQxMGZiYjAxOGU5MmE5MDY2NDhhOWIyNWQwNDA4MzgiLCJ0YWciOiIifQ==","votes":0,"ownVote":false,"voters":[]}},"comments_count":7,"assets":[],"metadata":"eyJpdiI6ImhoRTVSTkY1OEtFbkdCLzN5SmN6Zmc9PSIsInZhbHVlIjoiUVMzc1dJRDA4cHZTUGtYckJCTzB4YlIzendFYW5JUXdDN0RwY0t3UW53TDRtUUNkNU9iWFQwb1JuWk4xY05BRHBoQWZRZlplNzViVDNweCtweTduZ0U3bnRLdU5lTnZ5Y1JqYU16ZG5aQzIzU3Nya3Z5VThidHdiN3hkMkltNlAiLCJtYWMiOiJiOGZmYTgyMjNkNWMzMmZkMGIyOTFkN2YwZDhkNTU2ZDI2YzI3ZGJiNWZjZjlhMDQyYTcyYTM1ZWFjYjBmYmIyIiwidGFnIjoiIn0=","has_review":false,"review_style":"info","parentPostId":null,"childrenFolded":false,"type":"regular","highlighted":false}