Comments for Alp Mestan's Corner http://blog.mestan.fr My programming, AI and Maths stuffs Mon, 21 May 2012 00:42:43 +0000 http://wordpress.org/?v=2.5.1 Comment on The Cybenko theorem for neural networks by hWinetst http://blog.mestan.fr/2008/06/25/the-cybenko-theorem-for-neural-networks/#comment-27202 hWinetst Tue, 13 Sep 2011 17:58:53 +0000 http://blog.mestan.fr/?p=9#comment-27202 <strong>Hello...</strong> My life,vist it http://yaplog.jp/promdresses/ ,Thanks.... Hello…

My life,vist it http://yaplog.jp/promdresses/ ,Thanks….

]]> Comment on The Cybenko theorem for neural networks by ghesrker http://blog.mestan.fr/2008/06/25/the-cybenko-theorem-for-neural-networks/#comment-27079 ghesrker Wed, 07 Sep 2011 03:20:39 +0000 http://blog.mestan.fr/?p=9#comment-27079 <strong>Hello...</strong> My life,vist it http://www.gladyshardy.com/blog/zhangda/frog-prince-wedding-wedding-cake-toppers ,Thanks.... Hello…

My life,vist it http://www.gladyshardy.com/blog/zhangda/frog-prince-wedding-wedding-cake-toppers ,Thanks….

]]> Comment on The Cybenko theorem for neural networks by Benzings http://blog.mestan.fr/2008/06/25/the-cybenko-theorem-for-neural-networks/#comment-27018 Benzings Sun, 04 Sep 2011 15:20:50 +0000 http://blog.mestan.fr/?p=9#comment-27018 <strong>Hello...</strong> My life,vist it http://militarysociety.com/blog.php?user=60819&blogentry_id=230854 ,Thanks.... Hello…

My life,vist it http://militarysociety.com/blog.php?user=60819&blogentry_id=230854 ,Thanks….

]]> Comment on Writing User Interfaces in Prolog with XPCE by Avgust http://blog.mestan.fr/2008/06/22/writing-user-interfaces-in-prolog-with-xpce/#comment-14368 Avgust Mon, 14 Jun 2010 17:39:35 +0000 http://blog.mestan.fr/?p=6#comment-14368 <strong><a href="http://avto-himki.ru/ iixkfno@nzdakfu.ru" rel="nofollow">1</a>...</strong> no more... iixkfno@nzdakfu.ru” rel=”nofollow”>1…

no more…

]]> Comment on Generic Programming in C++ by Vladik http://blog.mestan.fr/2008/06/22/generic-programming-in-c/#comment-12884 Vladik Tue, 06 Apr 2010 01:48:40 +0000 http://blog.mestan.fr/?p=5#comment-12884 <strong>......</strong> <a href="http://neverlands.lv" rel="nofollow">Бизнесмен</a> из Вас отличный... ……

Бизнесмен из Вас отличный…

]]> Comment on Using OCaml’s module functors to provide monadic contexts for Batteries by Alp Mestan http://blog.mestan.fr/2009/04/24/using-ocamls-module-functors-to-provide-monadic-contexts-for-batteries/#comment-1796 Alp Mestan Mon, 27 Apr 2009 12:15:15 +0000 http://blog.mestan.fr/?p=30#comment-1796 @Jon : here, I'm calling sequence, which takes an Enum.t of monadic elements (<em>[m a]</em> in Haskell with Lists, 'a m Enum.t for us, where m is the monad in which we are), and returns a "monadic Enum.t". In our case, in the Option monad, if we call sequence on an enumeration containing None, it returns None, otherwise if we call it on an enumeration containing, say, Some 1, Some 3 and Some 5, it will return Some e, where e is the enumeration containing 1, 3 and 5. Such operations are more useful in Haskell when we have a list of IO actions to do, for example. As we only have two monads in Batteries (in my branch of Batteries, btw, not in the master one), which are Option and Enum, we can't demonstrate a pretty and handy example of sequence (neither of fold_monad, IMO). To conclude, my code sample doesn't compute something very useful, it just shows there are some new code related to monads in Batteries, which can help for building a strong and large codebase of Monads in OCaml. @Spiceguid : Thanks :-) @Jon : here, I’m calling sequence, which takes an Enum.t of monadic elements ([m a] in Haskell with Lists, ‘a m Enum.t for us, where m is the monad in which we are), and returns a “monadic Enum.t”. In our case, in the Option monad, if we call sequence on an enumeration containing None, it returns None, otherwise if we call it on an enumeration containing, say, Some 1, Some 3 and Some 5, it will return Some e, where e is the enumeration containing 1, 3 and 5.
Such operations are more useful in Haskell when we have a list of IO actions to do, for example.
As we only have two monads in Batteries (in my branch of Batteries, btw, not in the master one), which are Option and Enum, we can’t demonstrate a pretty and handy example of sequence (neither of fold_monad, IMO).

To conclude, my code sample doesn’t compute something very useful, it just shows there are some new code related to monads in Batteries, which can help for building a strong and large codebase of Monads in OCaml.

@Spiceguid : Thanks :-)

]]> Comment on Using OCaml’s module functors to provide monadic contexts for Batteries by SpiceGuid http://blog.mestan.fr/2009/04/24/using-ocamls-module-functors-to-provide-monadic-contexts-for-batteries/#comment-1759 SpiceGuid Sun, 26 Apr 2009 19:15:00 +0000 http://blog.mestan.fr/?p=30#comment-1759 That's a great initiative. I don't care if at first it's not damn useful, someone had to start it so that the monadic style can flourish. That’s a great initiative.
I don’t care if at first it’s not damn useful, someone had to start it so that the monadic style can flourish.

]]> Comment on Using OCaml’s module functors to provide monadic contexts for Batteries by Jon Harrop http://blog.mestan.fr/2009/04/24/using-ocamls-module-functors-to-provide-monadic-contexts-for-batteries/#comment-1654 Jon Harrop Fri, 24 Apr 2009 21:20:49 +0000 http://blog.mestan.fr/?p=30#comment-1654 Can you explain what your code samples do? I am aware of only very few uses for monads in an impure language like OCaml... Can you explain what your code samples do?

I am aware of only very few uses for monads in an impure language like OCaml…

]]> Comment on OCaml ‘completion’ within Emacs with YASnippet and tuareg-mode by Alp Mestan’s Corner » Blog Archive » OCaml completion, reloaded http://blog.mestan.fr/2009/02/17/ocaml-completion-within-emacs-with-yasnippet-and-tuareg-mode/#comment-182 Alp Mestan’s Corner » Blog Archive » OCaml completion, reloaded Sun, 22 Feb 2009 21:13:25 +0000 http://blog.mestan.fr/?p=21#comment-182 [...] Few days ago, I posted about completion for OCaml programers within Emacs, the best editor ever (Ok, ok, “one of the best”), using YASnippets and tuareg-mode. Remember, it was here. [...] [...] Few days ago, I posted about completion for OCaml programers within Emacs, the best editor ever (Ok, ok, “one of the best”), using YASnippets and tuareg-mode. Remember, it was here. [...]

]]> Comment on Maths are useless ?! by Alp Mestan http://blog.mestan.fr/2009/01/13/maths-are-useless/#comment-167 Alp Mestan Tue, 13 Jan 2009 15:22:33 +0000 http://blog.mestan.fr/?p=19#comment-167 Indeed there are people who simply reject exact sciences, except medecine, probably because medecine _directly_ (that's the important word) implies saving people, etc. Those people do not care at all at sciences, researches, and don't trust researchers... Just take a look at LHC in Switzerland... They thought the Earth was gonna implose... I'm glad too see I'm not mad for having such an opinion about those people. Indeed there are people who simply reject exact sciences, except medecine, probably because medecine _directly_ (that’s the important word) implies saving people, etc. Those people do not care at all at sciences, researches, and don’t trust researchers… Just take a look at LHC in Switzerland… They thought the Earth was gonna implose…

I’m glad too see I’m not mad for having such an opinion about those people.

]]>