Haskell numeric type hierarchy in SICP exercises -


I was recently learning Haskell and was talking to a friend who is working through SICP. We were eager to compare common Lisp and plan and so I decided to practice 1.29 as an exercise to try to translate into Haskell.

This exercise function uses sigma which represents the mathematical session function sigma. This function takes the function F to apply for each term, a function to apply a lower bound, the next term to apply on each term, and the upper bound gives it the amount of f applied to each term.

Simpson Antigrale is believed to use Simpson's law to estimate the integrality of function F on the boundary [A, B] using "Accuracy" N. I am having trouble working on this function because it seems that I do not know about the types involved.

This code will be compiled with the ghc version 6.12.1, but simpsonIntegral will be given a type of reference (Integral A, partial A) that does not make any sense and as soon as you call it . I have found this work at a job, but what I did was a sure hack that I wanted to ask here how to handle it idiomaticly.

How do integral -> frequency / actual conversion with a phrase be necessary? I have read many things but nothing is clear and clear. 

  Sigma :: (ord a, number b) => (A -> B) - & gt; A - & gt; (A -> A) - & gt; A - & gt; B sigma f next b = this one 0 where it is current acc current> B = ACC | Otherwise, = Iter (Next Present) (AC + F Content) Simpson Integral Fabien = 1.0 * (H / 3) * (Sigma Symmetrum 0 (1+) N) where H = (B - A) / N Simermerm K =) * Word where yk k = f (a + h * k) word = 0's case k - & gt; 1 1 - & gt; 1 otherwise - & gt; If weird Q then 4 and 2

To comply with the response to the Justice: If You are eager to put ' fromtetegral s again, compile the following: 

  simpsonIntegral :: (Integral A, Fractional B) = & gt; (B -> B) - & gt; A - & gt; A - & gt; A - & gt; B simpsonIntegral fabn = 1.0 * (h / 3) * (sigma symmett 0 (1+) n) where h = from integral (b - a) / to integral n cement = (yak a) * words where yk k = f (FromIntegral A + H * from InterGal K) word = 0's case - & gt; 1 1 - & gt; 1 otherwise - & gt; If weird Kashmir then works for 4 and 2

and works: 

  * Main & gt; Simpson Integral (^ 3) 0 1 100 0.2533333233333334 * Main & gt; Simpson Integral (^ 3) 0 1 1000 0.2503333333323334

-

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