Typed Function and Currying in Scala -


In Scala, I have such a function: 

  def foo [R] ] (X: string, y: () => R):   
 then I can:  
  val something: int = foo ("Bar", {() => 13})   
 Is there any way to use function curry without "losing" the type of second argument?  ; nothing) Some Val: int = bar ((=) 13)    
 
 
  case class foo (x: string) AnyVal {def apply [r] (y: (=);): r = y ()} val bar = foo ("bar") Val some: int = Bar ((=) = 13) // int = 13

Comments

Post a Comment

Popular posts from this blog

c++ - 'std::string' has no member named 'get' list[i]=user.get; -

I get this error in my code and I know why it is but now I want to fix it and get it What do I want to achieve? List [i] = user.get; & Lt; & Lt; This line of code is trying to insert a string into four arrays, how can I convert the string, while still being able to keep user.length () and getline, I can see how big my dynamic array Should be # include & lt; Iostream & gt; # Include & lt; Cstring & gt; using namespace std; Int main () {char * list; String user; Int counter [26]; Int data; The court's & lt; & Lt; "Enter a line of text (all lowercase)" & lt; & Lt; Endl; // CIN & gt; & Gt; the user; Gateline (pin, user); //cin.get(user); The court's & lt; & Lt; User.length () & lt; & Lt; Endl; List = new four [user.length ()]; For (int i = 0; i & lt; user.length (); i ++) {list [i] = user.get; } Cout & lt; & Lt; The list [0] is referred to as & lt; & Lt; Endl; / * Character alphabet...
Read more

python - how we can use ajax() in views.py in django? -

I have a little code here. Could you please tell me what this code really does? please. Here in the AJAX call: $ .ajax ({url: "{% url} upload_document '%}", type: "POST", data : {Csrfmiddletoken: document.getElementsByName ('csrfmiddletoken') [0] Price, Title: document.getElementById ('title'). Value, // document: document: document.getElementById ('document'),}, datatype: "Jason", success: function (feedback) {if (feedback == "true") {// success} other {// attachment errors}}}); How AJAX works in the Django and how we can see the AJAX request. Here is the idea of ​​my thoughts def upload_document (requested): Print request. POTT print request FILES if request.is_ajax (): If request.method == 'POST': form = UploadForm (request.POST, request.FILES, user = request.user) if form.is_valid (): Form.save () return HTTPPCS (SimpleJason Dumps ('True'), Mime Type = 'App / Jason') Other:...
Read more

java - Instances of classes -

Does a non-static method make an example of that class in which it is declared? Why does this code work? import java.awt. *; Public Class Main Frame {PUBLIC MAN () {// SUPER KEYWORDS Do not Need a Class Shelter? Super ("My Frames"); Supersatsis (200,100); } Public static zero main (string [] args) {new main (); }} If a non-static method creates an example of a class, the next code should work ... import.java.applet . *; Public class extends the main applet (public zero print) (System.out.println ("Hi");} Public Zero Init () {this.print ();}} A non-static method can only be accessed In the context of an example Pre-existing . Public square fu {public static zero someStaticMethod () {/ * ... *}} Some nonstaticmethod (public) from zero. . *}} elsewhere: Foo.someStaticMethod (); // it's Foo.Som ENonStaticMethod () works; // This foo foo = new foo () does not work; foo.someNonStaticMethod (); // But it within a non-static method You ...
Read more