Juan-Carlos Gandhi (
juan_gandhi
) wrote
2016
-
08
-
17
01:10 pm
Entry tags:
fp
,
meijer
good reads: Erik Meijer on Functional Programming
http://queue.acm.org/detail.cfm?id=2611829
Flat
|
Top-Level Comments Only
no subject
soonts.livejournal.com
2016-08-17 11:10 pm (UTC)
(
link
)
ÐÑÑÐ°Ñ Ð¿ÑÐ¸Ð²Ð¾Ð´Ð¸Ñ Ð¿ÑимеÑÑ ÐºÐ¾Ð´Ð° Ñ Ð¿ÑоÑÑÑми багами, коÑоÑÑе обнаÑÑживаÑÑÑÑ Ð·Ð° 1 минÑÑÑ Ñ Ð¾ÑладÑиком, и еÑÑ Ð·Ð° минÑÑÑ ÑинÑÑÑÑ.
ÐÑавилÑнÑй, но неинÑеÑеÑнÑй вÑвод из ÑÑого â на C# Ñ Ð»Ñмбдами можно напиÑаÑÑ ÐºÐ¾Ð´ Ñ Ð±Ð°Ð³Ð°Ð¼Ð¸.
ÐÐ°ÐºÐ°Ñ Ð½ÐµÐ¾Ð¶Ð¸Ð´Ð°Ð½Ð½Ð¾ÑÑÑ! Шо, Ñже пÑидÑмали ÑзÑк, на коÑоÑом нелÑÐ·Ñ Ñак?
ÐÑÑÐ°Ñ Ð¶Ðµ Ð´ÐµÐ»Ð°ÐµÑ ÑÑÑаннÑй вÑвод о Ñом, ÑÑо конÑепÑÐ¸Ñ Ð½Ðµ ÑабоÑаеÑ.
Functional programming заÑаÑили нÑнÑе во вÑе импеÑаÑивнÑе ÑзÑки ÑовÑем не Ñади safety, как поÑемÑ-Ñо ÑеÑил аÑÑаÑ, а поÑÐ¾Ð¼Ñ ÑÑо ÑÑнкÑионалÑнÑе абÑÑÑакÑии Ð´Ð»Ñ Ð½ÐµÐºÐ¾ÑоÑÑÑ Ð·Ð°Ð´Ð°Ñ Ð¾ÑÐµÐ½Ñ Ñ Ð¾ÑоÑо Ð¿Ð¾Ð´Ñ Ð¾Ð´ÑÑ.
Ðногда можно напиÑаÑÑ Ð½ÐµÐ¼Ð½Ð¾Ð³Ð¾ пÑоÑÑого ÑÑнкÑионалÑного кода вмеÑÑо кÑÑи Ñложного импеÑаÑивного.
Ðногда пÑоизводиÑелÑноÑÑÑ Ð»ÑÑÑе ÑÑановиÑÑÑ.
Ðногда API design ÑилÑно ÑпÑоÑаеÑÑÑ.
ÐнÑеÑеÑно, оÑкÑда аÑÑÐ°Ñ Ð²Ð·Ñл Ð¸Ð´ÐµÑ Ð¾ Ñом, Ñо еÑли impure, Ñо ÑÑÐ°Ð·Ñ unfeasible?
no subject
perdakot.livejournal.com
2016-08-17 11:41 pm (UTC)
(
link
)
> Ñо еÑли impure, Ñо ÑÑÐ°Ð·Ñ unfeasible?
Ркак ÑзнаÑÑ, ÑÑо Ñам в киÑÐºÐ°Ñ ÑвоÑиÑÑÑ? ÐÑÑÑ ÐµÑÑÑ f и g, можно ли Ð¸Ñ Ð²ÑполнÑÑÑ Ð² лÑбом поÑÑдке, можно ли Ð¸Ñ Ð²ÑполнÑÑÑ Ð¿Ð°ÑÑалелÑно?
no subject
soonts.livejournal.com
2016-08-18 03:54 pm (UTC)
(
link
)
ÐÑкÑда Ð²Ñ Ñзнали, ÑÑо они Ñакие еÑÑÑ, f и g?
РоÑкÑда Ñ Ð²Ð°Ñ ÑÑÑемление Ð¸Ñ Ð²ÑполниÑÑ?
ÐÐ¾Ñ Ð¾Ð¶Ðµ Ñ Ð²Ð°Ñ ÐµÑÑÑ ÐºÐ°ÐºÐ¸Ðµ-Ñо ожиданиÑ, Ñо именно они вÑÑиÑлÑÑÑ. ÐÑкÑда?
ÐÐ¾Ñ Ð¾ÑÑÑда же Ð²Ñ Ð¼Ð¾Ð¶ÐµÑе ÑзнаÑÑ, можно ли Ð¸Ñ Ð¿Ð°ÑаллелÑно.
ÐÑли Ñами напиÑали, Ð²Ñ Ð¸ Ñак веÑоÑÑно в кÑÑÑе.
ÐÑли SDK/библиоÑека, ÑиÑайÑе докÑменÑаÑиÑ.
ÐÑли untrusted код, Ñ Ð²Ð°Ð¼ не ÑовеÑÑÑ Ð²ÑполнÑÑÑ Ð½Ð¸ Ð¾Ð´Ð½Ñ Ð¸Ð· Ð½Ð¸Ñ , ÑовеÑÑенно незавиÑимо Ð¾Ñ ÑзÑка и ÑанÑайма. Разве ÑÑо в Ñ Ð¾ÑоÑей пеÑоÑниÑе (CLR + sandbox, или пÑоÑеÑÑ Ñ Ð·Ð°ÐºÑÑÑеннÑми пÑавами, или Ñж VmWare/HyperV/Xen), и Ñо Ñ Ð¾Ð³Ð¾Ð²Ð¾Ñками.
no subject
perdakot.livejournal.com
2016-08-18 03:58 pm (UTC)
(
link
)
> ÐÑли Ñами напиÑали, Ð²Ñ Ð¸ Ñак веÑоÑÑно в кÑÑÑе.
ÐаÑа команда напиÑала. ÐоллекÑивное ÑвоÑÑеÑÑво. Ðолгода назад Ð·Ð°Ñ Ð¾ÑелоÑÑ Ð½ÐµÑколÑко копий f запÑÑкаÑÑ, каждÑÑ Ð² Ñвоем ÑÑеде. ÐÑиÑлоÑÑ Ð¿ÑоÑмаÑÑиваÑÑ Ð²ÐµÑÑ ÐºÐ¾Ð´.
no subject
soonts.livejournal.com
2016-08-18 04:30 pm (UTC)
(
link
)
Так Ñ Ð²Ð°Ñ ÐºÑÑа legacy кода, напиÑанного командой (веÑоÑÑно за много леÑ) в пÑедположении, ÑÑо он бÑÐ´ÐµÑ ÑабоÑаÑÑ Ð² одном поÑоке?
Тогда оÑÐ²ÐµÑ Ð½Ð° ваÑи вопÑоÑÑ Ð²ÑÑе оÑевиден.
>можно ли Ð¸Ñ Ð²ÑполнÑÑÑ Ð² лÑбом поÑÑдке, можно ли Ð¸Ñ Ð²ÑполнÑÑÑ Ð¿Ð°ÑÑалелÑно?
ÐеÑ, ваÑи ÑÑнкÑии нелÑÐ·Ñ Ð²ÑполнÑÑÑ Ð¿Ð°ÑаллелÑно.
ÐлÑо Ð²Ñ Ð¼Ð¾Ð³Ð»Ð¸ не пÑоÑмаÑÑиваÑÑ Ð²ÐµÑÑ ÐºÐ¾Ð´, а поÑиниÑÑ ÑÑнкÑии, Ñделав Ð¸Ñ thread safe.
no subject
perdakot.livejournal.com
2016-08-19 01:58 am (UTC)
(
link
)
> в пÑедположении, ÑÑо он бÑÐ´ÐµÑ ÑабоÑаÑÑ Ð² одном поÑоке?
ÐÑÑÑ Ð¼Ð¸Ð»Ð»Ð¸Ð°Ñд ÑÑнкÑий, какие-Ñо можно вÑполнÑÑÑ Ð² одном поÑоке, какие-Ñо неÑ.
> ÐеÑ, ваÑи ÑÑнкÑии нелÑÐ·Ñ Ð²ÑполнÑÑÑ Ð¿Ð°ÑаллелÑно.
ÐказалоÑÑ, ÑÑо можно (Ð½Ñ Ð¸Ð»Ð¸ Ñ ÑовÑем немного поменÑл, ÑÑÐ¾Ð±Ñ Ð±Ñло можно).
> а поÑиниÑÑ
Ðга, веÑÑ Ð¼Ð¸Ð»Ð»Ð¸Ð°Ñд. РеÑли ÑÑÐ°Ð·Ñ Ð¿Ð¸ÑаÑÑ Ð²Ñе thread safe, Ñо полÑÑиÑÑÑ Ñо, пÑо ÑÑо напиÑано по ÑÑÑлке в поÑÑе.
no subject
yussouf.livejournal.com
2016-08-18 12:45 am (UTC)
(
link
)
Ñак!
под каждÑм Ñловом!
> ÐÑÑÐ°Ñ Ð¿ÑÐ¸Ð²Ð¾Ð´Ð¸Ñ Ð¿ÑимеÑÑ ÐºÐ¾Ð´Ð° Ñ Ð¿ÑоÑÑÑми багами, коÑоÑÑе
> обнаÑÑживаÑÑÑÑ Ð·Ð° 1 минÑÑÑ Ñ Ð¾ÑладÑиком, и еÑÑ Ð·Ð° минÑÑÑ
> ÑинÑÑÑÑ.
в конÑе конÑов, Ñ Ð½Ðµ знаÑ... еÑли полÑзÑеÑÑÑÑ deferred execution меÑодом - можно Ð±Ñ Ð¸ помниÑÑ, ÑÑо Ñ Ð½ÐµÐ³Ð¾ ÑÐ°ÐºÐ°Ñ Ð¾ÑобенноÑÑÑ
и не делаÑÑ Ð³Ð»ÑпоÑÑей ÑÑазÑ, до оÑладÑика
38 comments
Post a new comment
Flat
|
Top-Level Comments Only
[
Home
|
Post Entry
|
Log in
|
Search
|
Browse Options
|
Site Map
]
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
juan_gandhi) wrote2016-08-17 01:10 pmjuan_gandhi) wrote2016-08-17 01:10 pm
no subject
ÐÑавилÑнÑй, но неинÑеÑеÑнÑй вÑвод из ÑÑого â на C# Ñ Ð»Ñмбдами можно напиÑаÑÑ ÐºÐ¾Ð´ Ñ Ð±Ð°Ð³Ð°Ð¼Ð¸.
ÐÐ°ÐºÐ°Ñ Ð½ÐµÐ¾Ð¶Ð¸Ð´Ð°Ð½Ð½Ð¾ÑÑÑ! Шо, Ñже пÑидÑмали ÑзÑк, на коÑоÑом нелÑÐ·Ñ Ñак?
ÐÑÑÐ°Ñ Ð¶Ðµ Ð´ÐµÐ»Ð°ÐµÑ ÑÑÑаннÑй вÑвод о Ñом, ÑÑо конÑепÑÐ¸Ñ Ð½Ðµ ÑабоÑаеÑ.
Functional programming заÑаÑили нÑнÑе во вÑе импеÑаÑивнÑе ÑзÑки ÑовÑем не Ñади safety, как поÑемÑ-Ñо ÑеÑил аÑÑаÑ, а поÑÐ¾Ð¼Ñ ÑÑо ÑÑнкÑионалÑнÑе абÑÑÑакÑии Ð´Ð»Ñ Ð½ÐµÐºÐ¾ÑоÑÑÑ Ð·Ð°Ð´Ð°Ñ Ð¾ÑÐµÐ½Ñ Ñ Ð¾ÑоÑо Ð¿Ð¾Ð´Ñ Ð¾Ð´ÑÑ.
Ðногда можно напиÑаÑÑ Ð½ÐµÐ¼Ð½Ð¾Ð³Ð¾ пÑоÑÑого ÑÑнкÑионалÑного кода вмеÑÑо кÑÑи Ñложного импеÑаÑивного.
Ðногда пÑоизводиÑелÑноÑÑÑ Ð»ÑÑÑе ÑÑановиÑÑÑ.
Ðногда API design ÑилÑно ÑпÑоÑаеÑÑÑ.
ÐнÑеÑеÑно, оÑкÑда аÑÑÐ°Ñ Ð²Ð·Ñл Ð¸Ð´ÐµÑ Ð¾ Ñом, Ñо еÑли impure, Ñо ÑÑÐ°Ð·Ñ unfeasible?
no subject
Ркак ÑзнаÑÑ, ÑÑо Ñам в киÑÐºÐ°Ñ ÑвоÑиÑÑÑ? ÐÑÑÑ ÐµÑÑÑ f и g, можно ли Ð¸Ñ Ð²ÑполнÑÑÑ Ð² лÑбом поÑÑдке, можно ли Ð¸Ñ Ð²ÑполнÑÑÑ Ð¿Ð°ÑÑалелÑно?
no subject
РоÑкÑда Ñ Ð²Ð°Ñ ÑÑÑемление Ð¸Ñ Ð²ÑполниÑÑ?
ÐÐ¾Ñ Ð¾Ð¶Ðµ Ñ Ð²Ð°Ñ ÐµÑÑÑ ÐºÐ°ÐºÐ¸Ðµ-Ñо ожиданиÑ, Ñо именно они вÑÑиÑлÑÑÑ. ÐÑкÑда?
ÐÐ¾Ñ Ð¾ÑÑÑда же Ð²Ñ Ð¼Ð¾Ð¶ÐµÑе ÑзнаÑÑ, можно ли Ð¸Ñ Ð¿Ð°ÑаллелÑно.
ÐÑли Ñами напиÑали, Ð²Ñ Ð¸ Ñак веÑоÑÑно в кÑÑÑе.
ÐÑли SDK/библиоÑека, ÑиÑайÑе докÑменÑаÑиÑ.
ÐÑли untrusted код, Ñ Ð²Ð°Ð¼ не ÑовеÑÑÑ Ð²ÑполнÑÑÑ Ð½Ð¸ Ð¾Ð´Ð½Ñ Ð¸Ð· Ð½Ð¸Ñ , ÑовеÑÑенно незавиÑимо Ð¾Ñ ÑзÑка и ÑанÑайма. Разве ÑÑо в Ñ Ð¾ÑоÑей пеÑоÑниÑе (CLR + sandbox, или пÑоÑеÑÑ Ñ Ð·Ð°ÐºÑÑÑеннÑми пÑавами, или Ñж VmWare/HyperV/Xen), и Ñо Ñ Ð¾Ð³Ð¾Ð²Ð¾Ñками.
no subject
ÐаÑа команда напиÑала. ÐоллекÑивное ÑвоÑÑеÑÑво. Ðолгода назад Ð·Ð°Ñ Ð¾ÑелоÑÑ Ð½ÐµÑколÑко копий f запÑÑкаÑÑ, каждÑÑ Ð² Ñвоем ÑÑеде. ÐÑиÑлоÑÑ Ð¿ÑоÑмаÑÑиваÑÑ Ð²ÐµÑÑ ÐºÐ¾Ð´.
no subject
Тогда оÑÐ²ÐµÑ Ð½Ð° ваÑи вопÑоÑÑ Ð²ÑÑе оÑевиден.
>можно ли Ð¸Ñ Ð²ÑполнÑÑÑ Ð² лÑбом поÑÑдке, можно ли Ð¸Ñ Ð²ÑполнÑÑÑ Ð¿Ð°ÑÑалелÑно?
ÐеÑ, ваÑи ÑÑнкÑии нелÑÐ·Ñ Ð²ÑполнÑÑÑ Ð¿Ð°ÑаллелÑно.
ÐлÑо Ð²Ñ Ð¼Ð¾Ð³Ð»Ð¸ не пÑоÑмаÑÑиваÑÑ Ð²ÐµÑÑ ÐºÐ¾Ð´, а поÑиниÑÑ ÑÑнкÑии, Ñделав Ð¸Ñ thread safe.
no subject
ÐÑÑÑ Ð¼Ð¸Ð»Ð»Ð¸Ð°Ñд ÑÑнкÑий, какие-Ñо можно вÑполнÑÑÑ Ð² одном поÑоке, какие-Ñо неÑ.
> ÐеÑ, ваÑи ÑÑнкÑии нелÑÐ·Ñ Ð²ÑполнÑÑÑ Ð¿Ð°ÑаллелÑно.
ÐказалоÑÑ, ÑÑо можно (Ð½Ñ Ð¸Ð»Ð¸ Ñ ÑовÑем немного поменÑл, ÑÑÐ¾Ð±Ñ Ð±Ñло можно).
> а поÑиниÑÑ
Ðга, веÑÑ Ð¼Ð¸Ð»Ð»Ð¸Ð°Ñд. РеÑли ÑÑÐ°Ð·Ñ Ð¿Ð¸ÑаÑÑ Ð²Ñе thread safe, Ñо полÑÑиÑÑÑ Ñо, пÑо ÑÑо напиÑано по ÑÑÑлке в поÑÑе.
no subject
под каждÑм Ñловом!
> ÐÑÑÐ°Ñ Ð¿ÑÐ¸Ð²Ð¾Ð´Ð¸Ñ Ð¿ÑимеÑÑ ÐºÐ¾Ð´Ð° Ñ Ð¿ÑоÑÑÑми багами, коÑоÑÑе
> обнаÑÑживаÑÑÑÑ Ð·Ð° 1 минÑÑÑ Ñ Ð¾ÑладÑиком, и еÑÑ Ð·Ð° минÑÑÑ
> ÑинÑÑÑÑ.
в конÑе конÑов, Ñ Ð½Ðµ знаÑ... еÑли полÑзÑеÑÑÑÑ deferred execution меÑодом - можно Ð±Ñ Ð¸ помниÑÑ, ÑÑо Ñ Ð½ÐµÐ³Ð¾ ÑÐ°ÐºÐ°Ñ Ð¾ÑобенноÑÑÑ
и не делаÑÑ Ð³Ð»ÑпоÑÑей ÑÑазÑ, до оÑладÑика