f# - How practical is it to embed the core of a language with an effectful function space (like ML) into Haskell? -


20 years ago, the effective function of languages ​​like MAL as the proposed mogi was in space - & gt;

Standard total function space = & gt; Plus can be decomposed into capturing a strong mound T effect.

A -> B to a => (TB)

Now, Haskell supports MONADs, including an Io Monad, which is visible enough for the effects in MOL, and has a function space in which => (but partial functions in it also includes) . Therefore, we should be able to translate MAL fragments into Haskell through this decomposition. In theory I think that it works.

My question is whether an embedding can be practical in this way: Is it possible to design the Haskell library, which allows programming in Haskell too far away from HSKL? And if so, what would be the performance?

My criteria for "practical" is that with the widespread use of the effect, existing ML codes can be easily embedded in Haskell, in which the high-order function.

To make this concrete, my own effort on embedding such a transcription below is the main function is the transcription of some simple ML code which essentially generates 5 different variable names Does. Rather than using direct decomposition, my version lifts the functions so that they can evaluate their arguments - there are a mini library with priorities raised in the definitions before the main . This work is fine, but some aspects are not completely satisfactory.

  1. Through the val there is too much syntax noise for injection of values ​​in computations. With the help of the unwritten versions of the functions of rdV , it will help in the cost of the need to be defined.
  2. In non-value definitions like varNum in & lt; - Monadike binding is required through - . It compels all the definitions that rely on them, they are in the same code do .
  3. It seems that the entire program is often considered a huge expression ML programs, but it is not very well supported in Haskell - for example, you can use equations Are forced to use the case instead.
  4. I feel somewhat lazy despite the completion of Io Monde. Given that the ML program will be prepared for strict evaluation, laziness should probably be removed. I am uncertain what is the best way to do this. Therefore, to improve it, or on better methods of using similar decomposition, there are quite a different ways to achieve or achieve a uniform broad target of programming in HSKL which mirrors the ML. ? (It's not that I dislike the style of Haskell, it's just that I want to be able to map current ML codes easily.) 

      Import import data. Import import control Monad Val :: Monad M => A - & gt; I have a val = return ref = join liftm niorf rdV = watchboard - uplift, so a value (! =) R x = do {rr & lt; - R; Xx & lt; - x; WriteIORef rr xx} (. +), (.-) :: IO Int - & gt; IO Int - & gt; IO Int ((. +), (.-)) = (lift M2 (+), lift M2 (-)) (. :) :: IO a - & gt; Io [A] - & gt; Io [A] (. :) = Lift M2 (:) ShowO :: Show A => IOA - & gt; Io String Show IO = LiftM Show Main = Do varNum & lt; - Ref (Val 0) New Weir = (= <<-) <\) - $> (& lt;) Val varNum! = (RdV varNum. + Val 1) & gt; & Gt; Val 'v': (Shōio (RDV varNum) GL = (= & lt; & lt;) $ \ n - & gt; Case of 0 - n - & gt; Return [] NN - & gt; (NewWare $ vel ()): (Jean (Val N. - Val 1)) General (Val 5) 
     
     'A possible way, it does not include Lambodas by Sigf, but it seems that they can be extended to them.
-

Comments

Post a Comment

Popular posts from this blog

Eclipse CDT variable colors in editor -

I hope this is a good question to ask here. This programming is related, so I thought it would be better than the superuser, so I am using the CDT C ++ Eclipse plugin. I know how the editor changes colors for some things But is there a way to do that all the variables are different colors? For example in KDEValue, it sets the local variables and square variables in different colors and bold square squares. Can I copy it to CDT? Eclips provides some level of color customization for text editor syntax You can see it on the following: There are many elements, including the Window> Preferences> C / C ++> Editor> Syntax color code that can be changed, assembly, Comments, Preprocessor and Doxian Under the code, it is possible to change the color of some variable types, such as global variables, local variable announcements, local variable references, and parameter variables. But I do not think the code is capable of changing the color of each variable declared....
Read more

AJAX doesn't send POST query -

$ (दस्तावेज़) .ready (function () {function ajaxselectrss (rssurlvar) {var ajaxRequest; // वेरिएबल जो अजाक्स को संभव बनाता है! कोशिश करें कि {// ओपेरा 8.0+, फ़ायरफ़ॉक्स, सफारी अजाक्स अनुरोध} = नया एक्सएमएलएचटीपीआरइवेस्ट ();} कैच (ई) {// इंटरनेट एक्सप्लोरर ब्राउज़र्स {ajaxRequest = new ActiveXObject ("Msxml2.XMLHTTP");} पकड़ो (ई) {try {ajaxRequest = new ActiveXObject ("Microsoft.XMLHTTP");} कैच (ई) {// कुछ गलत चेतावनी ("आपका ब्राउज़र तोड़ दिया!"); वापसी झूठी;}}} // एक बनाएं फ़ंक्शन जो सर्वर से भेजे गए डेटा प्राप्त करेंगे ajaxRequest.onreadystatechange = function () {if (ajaxRequest.readyState == 4) {var ajaxDisplay = document.getElementById ('news'); ajaxDisplay.innerHTML = ajaxRequest.responseText;}} / / Var rssurlvar = $ (this) .attr ("title"); var queryString = "rurl =" + rssurlvar; var urltofile = "rssget.php"; ajaxRequest.open ("पोस्ट", urltofile, सच); ajaxRequ Est.setRequestHeader ("सामग्री-प्र...
Read more

wpf - Custom Message Box Advice -

Well, I'm using a custom window box that comes with some custom control boxes that accompany the text The producers who are displayed are called. I have a defined event, which has been subscribed through the original class, it gets burnt when clicking on the button. However, I can not see how to use it effectively, I would like to return one yes, whether yes or not, but obviously my code will continue to execute, so this Below is some example code to clarify the problem that the method has subscibed by clicking on the button. Message box window Public partial class custom message box: window {public representative message messagebox object sender, event events e); Public event messagebox handler messagebox document; Public Customs Box () {Initial group (); } Public Customsbox (String Message) {InitializeComponent (); This.txtdescription.Text = Message; } Public Customsbox (String Message, String Title, String First BTNtext) {Initialization (); This.lbltitle.Content =...
Read more