smlnj

Need it for a program I'm writing (repeated squaring to comput x^n). I can't seem to find the syntax for it, or if it is even supported. They're available within the Word8 and Word structures . let open Word8 infix andb orb xorb notb << >> ~>> in print (Word8.fmt StringCvt.BIN 0wxF) (* 1111 *) ; print "\n" ; print (Word8.fmt StringCvt.BIN 0wxA) (* 1010 *) ; print "\n" ; print (Word8.fmt StringCvt.BIN (0wxF andb 0wxA)) (* 1010 *) ; print "\n" end 来源： https://stackoverflow.com/questions/35742341/how-to-do-bitwise-and-in-sml-nj

In SML, is it possible for you to have multiple patterns in one case statement? For example, I have 4 arithmetic operators express in string, "+", "-", "*", "/" and I want to print "PLUS MINUS" of it is "+" or "-" and "MULT DIV" if it is "*" or "/" . TL;DR: Is there somewhere I can simplify the following to use less cases? case str of "+" => print("PLUS MINUS") | "-" => print("PLUS MINUS") | "*" => print("MULT DIV") | "/" => print("MULT DIV") Given that you've tagged your question with the smlnj tag, then yes, SML/NJ supports this kind of patterns. They call it or-patterns and it looks like

Horner's rule is used to simplify the process of evaluating a polynomial at specific variable values. https://rosettacode.org/wiki/Horner%27s_rule_for_polynomial_evaluation#Standard_ML I've easily applied the method using SML, to a one variable polynomial, represented as an int list: fun horner coeffList x = foldr (fn (a, b) => a + b * x) (0.0) coeffList This works fine. We can then call it using: - val test = horner [1.0, 2.0, 3.0] 2.0; > val test = 17.0 : real Where [1.0, 2.0, 3.0] is the list representing the polynomial coefficients, 2.0 is the value of the variable x, and 17.0 is the

I'm writing a "script" in Standard ML (SML/NJ) that sets up the interactive environment to my liking. The last thing the script does is print out a message indicating everything went smoothly. Essentially, the last line is this: print "SML is ready.\n"; When I run the script, all goes well but the SML interpreter displays the return value from the print function. SML is ready. val it = () : unit - Since I'm merely printing something to the screen, how can I suppress the "val it = () : unit" output so that all I see is the "SML is ready" message followed by the interpreter prompt? To surpress

I'm using Mac OSX 10.7.5 and I can't seem to get download a working Standard ML compiler with a REPL available. Is this supposed to be so difficult? Is there a best ML that I should be downloading. I've tried SML/NJ and MLton to no avail. I did the following: --download appropriate(for your operating system) .dmg file from http://www.smlnj.org/dist/working/110.75/ --in your ~/.bash_profile: export PATH="$PATH:/usr/local/smlnj-110.75/bin" --run your bash_profile by doing source .bash_profile --go to terminal and type sml. I personally use sml mode for emacs. Add the following to your .emacs

I'm looking through some notes that my professor gave regarding the language SML and one of the functions looks like this: fun max gt = let fun lp curr [] = curr | lp curr (a::l) = if gt(a,curr) then lp a l else lp curr l in lp end Could someone help explain what this is doing? The thing that I am most confused about is the line: let fun lp curr [] = curr What exactly does this mean? As far as I can tell there is a function called lp but what does the curr [] mean? Are these arguments? If so, aren't you only allowed one parameter in sml? It means that lp is a function that takes 2 parameters,

I'm having some trouble using SML/NJ interactive system, namely, that when I try to use my arrow keys (either left or right to make a correction in the expression I've typed, up to repeat the last expression), my Terminal prints codes. (e.g. ^[[A for up ^[[D for left, etc.). While I can still use the system, it makes it very tedious. I've looked around in Control.Compiler, is there something I'm missing? For whatever its worth, I'm using the Mac Terminal. Thanks ^_^ Try this. You can use socat to add readline support to many things: socat READLINE EXEC:sml I just realized you're on OS X. socat