Hallo, hier einmal der Code: fun :: (Int -> Int) -> Bool -> Int -> Int fun g b n | n <= 0 && b = 1 | even n = fun (fun g b) False (g (div n 2)) fun g _ n = g (fun (g . g) True (n-2)) *der . bei dem g . g ist die Funktions Komposition* Die Aufhabe anhand dieser Funktion ist es zu entscheiden ob dies Funktionsaufrufe terminieren oder nicht und wenn ja mit welchem Wert. fun (\x->x) True 2 fun (\x->x-1) True 4 Die Lösungen sind 1 und 0. Aber wieso bekommt man das raus? Meine erste Auswertung für 1 als Beispiel für mein Problem damit: ..= fun (fun (\x->x) True) False 1 Wieso kann ich fun (\x->x) True schreiben? Ich hatte erst gedacht, dass durch eta reduction das n=2 einfach ausgelassen wird und der Aufruf eigentlich so aussähe fun (\x->x) True 2, aber wenn ich oben in den Code das n dort einfüge bekomme ich vom Compiler die Fehlermeldung "could not match Int->Int mit Int". Ich verstehe was der meint weil fun :: ...->Int als Ergebnis hat, aber dann macht es ja keinen sinn, dass fun als g verwendet werden darf und besonders, dass fun g b erlaubt ist... Wieso geht das also? Schonmal vielen Dank:))

Haskell: Wie funktioniert das?

Hallo,

hier einmal der Code:

fun :: (Int -> Int) -> Bool -> Int -> Int
fun g b n | n <= 0 && b = 1
          | even n = fun (fun g b) False (g (div n 2))
fun g _ n =  g (fun (g . g) True (n-2))
*der .  bei dem g . g ist die Funktions Komposition*

Die Aufhabe anhand dieser Funktion ist es zu entscheiden ob dies Funktionsaufrufe terminieren oder nicht und wenn ja mit welchem Wert.

fun (\x->x) True 2
fun (\x->x-1) True 4

Die Lösungen sind 1 und 0. Aber wieso bekommt man das raus?

Meine erste Auswertung für 1 als Beispiel für mein Problem damit:

..= fun (fun (\x->x) True) False 1

Wieso kann ich fun (\x->x) True schreiben? Ich hatte erst gedacht, dass durch eta reduction das n=2 einfach ausgelassen wird und der Aufruf eigentlich so aussähe fun (\x->x) True 2, aber wenn ich oben in den Code das n dort einfüge bekomme ich vom Compiler die Fehlermeldung "could not match Int->Int mit Int". Ich verstehe was der meint weil fun :: ...->Int als Ergebnis hat, aber dann macht es ja keinen sinn, dass fun als g verwendet werden darf und besonders, dass fun g b erlaubt ist...

Wieso geht das also?

Schonmal vielen Dank:))

1 Antwort

Vom Fragesteller als hilfreich ausgezeichnet

BorisG2011

23.02.2024, 17:33

Wieso kann ich fun (\x->x) True schreiben?

Dieser Ausdruck erzeugt aus fun eine Neue Funktion, für die die Parameter g und b feststehen und der Parameter nicht feststeht. Diese Funktion hat die Signatur

Int -> Int

Sie ist also mit einem Int-Wert aufzurufen und liefert einen Int-Wert als Ergebnis.

In der Terminologie von Haskell sagt man, dass fun (\x->x) True eine partial Application von fun ist. Dahinter steht der Currying genannte Mechanismus.

Woher ich das weiß:Berufserfahrung – Berufstätigkeit als Software-Entwickler

java56

Fragesteller

24.02.2024, 15:54

Aber die Funktion kann doch schon nicht vom Typen Int->Int sein. Wenn ich doch habe fun (\x->x ) True dann sollte der Typ doch eher (a->a)->Bool->... sein. Oder nicht?

java56

Fragesteller

24.02.2024, 16:17

@java56

nvm ich habe mir currying mal genauer angeschaut und verstehe jetzt was passiert die funktion fun g b ist fun :: (Int->Int)->Bool->(Int->Int) deshalb kann ich das nutzen als argument für fun. Jetzt ist nur noch die Frage wie sieht der Aufruf der letzten Funktionsdefintion vom fun aus wenn man fun g b als g hat?

Ähnliche Fragen

Haskell Funktion Frage?

Wenn man eine Funktion erstellen soll, bei der die Funktion zwei Werte nimmt und prüft, ob ein Wert durch den anderen teilbar ist, wie schreibt man das in Haskell als Code?

nehmen wir an:

isDivisible -> Integer -> Integer -> Bool

Wie schaut dann der Rest aus? So?

isDivisible x % y == 0 = true else false

y % x == 0 = true else false?? Das klingt so bescheuert aber ich weiß sonst nicht wie es aussehen sollte! Kann mir da wer weiterhelfen?

Zusätzlich müsste ich dann auch eine Funktion schreiben, die so aussieht:

isPrime -> Integer -> Bool

welches eine Zahl nimmt und ausgibt ob diese eine Primzahl ist oder nicht, dafür soll ich die vorherige Funktion benutzen, jedoch komm ich da eben nicht weiter. Und bei der hier bin ich mir auch nicht sicher, wie würde da der Code aussehen?

...zur Frage

Java wo liegt der Fehler?

Hallo gutefrage-Community,

ich habe unten gezeigten Quellcode verfasst und dabei keinerlei Fehlermeldungen oder Exceptions erhalten. Am Ende kommt aber irgendwie trotzdem nicht heraus, was herauskommen soll.

Was ich erwarte:

Aus einem JTextField erhält man einen String "input" wie z.B. 2x+5=10x-3. Dieser wird zuerst beim "=" gesplittet. Daraus erhält man ein Array mit zwei Strings: 2x+5 und 10x-3. Diese beiden Arrays sollen nun an allen "+" und "-" gesplittet werden. Deshalb wird eine Schleife zweimal durchlaufen und dabei im ersten Durchlauf der erste und im zweiten Durchlauf der zweite String verarbeitet. Danach wird bei jeder Zahl mit "x" das "x" entfernt und ein boolean auf true gesetzt. Was am Ende herauskommen soll:

Drei Arrays (int num[], boolean isFactorOfVar[] und boolean isOnRightSide[]), die immer dem gleichen Index entsprechen, also: num[0] gehört zu isFactorOfVar[0] und zu isOnRightSide[0], num[1] gehört zu isFactorOfVar[1] und zu isOnRightSide[1] usw. Dabei soll num[] der Zahl entsprechen, isFactorOfVar, ob ein x am Ende entfernt wurde und isOnRightSide[], ob sich diese Zahl auf der rechten Seite des "=" befindet. Hier ist das am Anfangsbeispiel 2x+5=10x-3 gezeigt:

num[0] = 2; isFactorOfVar[0] = true; isOnRightSide[0] = true
num[1] = 5; isFactorOfVar[1] = false; isOnRightSide[1] = true
num[2] = 10; isFactorOfVar[2] = true; isOnRightSide[2] = false
num[3] = 3; isFactorOfVar[3] = false; isOnRightSide[3] = false

Was herauskommt:

num[0] = 2; isFactorOfVar[0] = true; isOnRightSide[0] = nicht angezeigt
Fehlermeldung

Mein Code:

Fehlermeldung:

...zur Frage

Fork Bombe in Programmiersprache (Bildungszweck)?

Ich hab mich über Fork Bomben informiert und dann in einer Linux VM versucht selber eine zu coden . Einmal in C und in Python, da ist mir aufgefallen, dass die in C wesentlich länger braucht um das System zu crashen als in Python oder Bash, aber wieso ist das so? Sollte es nicht schneller gehen, da C ja generell schneller ist?

Der Code in Python:

import os
while True:
  os.fork()

Der Code in C:

#include <unistd.h>

int main() {
  for (;;) { 
    fork();
     }
  return 0;
}

Der Code in bash:

:(){ : | :& };:

Der Code macht doch eigentlich in jeder Sprache genau das selbe, wieso dann dieser Performance unterschied?

...zur Frage

Boolean in Java richtig verwenden?

Ich habe einen code wo ich bestimmte Koordinaten, auf true setzen möchte, wenn sie es nicht schon sind, wenn sie bereit true sind soll die forschleife nicht hochgezählt werden. Leider weiß ich überhaupt nicht wie man mit booleans arbeitet ( bin neu im Coden) Kurze Hilfe wo ich einen Denkfehler habe und Verbesserung des Codes wären toll. Hier der Code:

public void generiereBomben() {
 int bomben = ((manager.boardGui.getBreite() * manager.boardGui.getLaenge()) /8);
 for(int counter = 0; counter < bomben; counter++ ) {
  int koordx = random.nextInt(manager.boardGui.getLaenge());
  int koordy = random.nextInt(manager.boardGui.getBreite());
  if (bombeliegt[koordx][koordy] = false) {
   bombeliegt[koordx][koordy] = true;
   System.out.println("durchgang bombelegen");
  }else {
  counter = counter - 1;
  System.out.println("bombenichtlegen");
 }
}

Vielen Dank für die Hilfe

...zur Frage

Wie mache ich es das c++ eine bestimmte Datei findet in egal welchem Ordner durch den Namen?

Hey, ich versuche im Moment einen Injector zu machen. Der Injector findet die dll die Injected wird direkt im selben Ornder. (wenn sie einen bestimmten Namen hat.) . Ich möchte aber das c++ die Datei auf einer Festplatte findet z.B. einen Temp Folder auf C:\\ (Es soll als Protection dienen.) . Mein aktuelller Code:

bool DoesFileExist(const char* name)

{

if (FILE* file = fopen( name, "r")) {

fclose(file);

return true;

}

return false;

}

*/ Er findet direkt die Datei die Injected wird im gleichem Ordner durch den Namen. (Deshalb "name")

...zur Frage

Warum werden in diesem Code Klassen verwendet?

Also was für einen Vorteil hat das?:

Der Code ist für ein Tic-Tac-Toe-Spiel

class Board():
    def __init__(self):
        self.state = [0, 0, 0, 0, 0, 0, 0, 0, 0]

    def make_turn(self, cell, player):
        if self.is_valid_turn(cell):
            self.state[cell] = player.symbol
            return True
        return False

    def is_valid_turn(self, cell):
        if self.state[cell] == 0:
            return True
        else:
            return False

    def check_win(self, player):
        s = player.symbol
        if self.state[0] == s and self.state[1] == s and self.state[2] == s:
            return True
        elif self.state[3] == s and self.state[4] == s and self.state[5] == s:
            return True
        elif self.state[6] == s and self.state[7] == s and self.state[8] == s:
            return True

        elif self.state[0] == s and self.state[3] == s and self.state[6] == s:
            return True
        elif self.state[1] == s and self.state[4] == s and self.state[7] == s:
            return True
        elif self.state[2] == s and self.state[5] == s and self.state[8] == s:
            return True

        elif self.state[0] == s and self.state[4] == s and self.state[8] == s:
            return True
        elif self.state[2] == s and self.state[4] == s and self.state[6] == s:
            return True

    def is_full(self):
        for i in self.state:
            if i == 0:
                return False
        return True

    def sign_to_printable(self, sign):
        if sign == 0:
            return " "
        elif sign == 1:
            return "X"
        else:
            return "O"

    def print_board(self):
        print(" " + self.sign_to_printable(self.state[0]) + " | " + self.sign_to_printable(self.state[1]) + " | " + self.sign_to_printable(self.state[2]) + " \n" +
              " " + self.sign_to_printable(self.state[3]) + " | " + self.sign_to_printable(self.state[4]) + " | " + self.sign_to_printable(self.state[5]) + " \n" +
              " " + self.sign_to_printable(self.state[6]) + " | " + self.sign_to_printable(self.state[7]) + " | " + self.sign_to_printable(self.state[8]) + " \n")


class Player:
    def __init__(self, symbol):
        self.symbol = symbol


if __name__ == '__main__':
    player_a = Player(1)
    player_b = Player(-1)
    board = Board()
    active_player = player_a
    while not board.is_full():
        board.print_board()
        try:
            cell = int(input("Where do you want to place your sign? [1-9]"))
        except ValueError:
            continue
        cell = cell - 1
        if cell < 0 or cell > 8:
            print("Please enter a number between 1 and 9")
            continue
        if not board.make_turn(cell, active_player):
            print("Invalid Move")
            continue

        if board.check_win(active_player):
            print("You wonnered! GW.")
            break

        if …

...zur Frage

Wie kann ich in C# mit Pfeiltasten die Cursor-Position verändern?

Guten Tag,

ich will, dass, wenn ich in einer Konsolenanwendung die jeweiligen Pfeiltasten drücke, sich dann auch die Cursor-Position ändert.

Ich habe es gerade so:

Console.SetWindowSize(80, 24);
Console.SetBufferSize(80, 24);
Console.SetCursorPosition(0, 0);
Console.Clear();

int down = 0;
int up = 0;
int left = 0;
int right = 0;

do
{
  ConsoleKeyInfo Taste;
  Taste = Console.ReadKey(false);

  if (Taste.Key == ConsoleKey.DownArrow)
  {
    do
    {
      down++;
      Console.SetCursorPosition(0, down);
    }
    while (true == false);
  }

  if (Taste.Key == ConsoleKey.UpArrow)
  {
    do
    {
      up--;
      Console.SetCursorPosition(0, up);
    }
    while (true == false);
  }

  if (Taste.Key == ConsoleKey.RightArrow)
  {
    do
    {
      right++;
      Console.SetCursorPosition(right, 0);
    }
    while (true == false);
  }

  if (Taste.Key == ConsoleKey.LeftArrow)
  {
    do
    {
      left--;
      Console.SetCursorPosition(left, 0);
    }
    while (true == false);
  }
}
while (true == true);

Das Problem aber ist: Wenn ich nach unten gehe und dann nach rechts gehen will, dass der Cursor wieder an den Anfang springt.

Was auch nicht funktioniert ist: Wenn ich nach links oder nach oben gehen will. Weil das -- nicht so funktioniert, wie es soll.

...zur Frage

Java: Wie funktioniert dieser Primzahlengenerator?

public static List<Integer> generateNumbers(int border) {
  List<Integer> finalList = new ArrayList<>();
  boolean[] bool = new boolean[border];

  for (int i = 0; i < bool.length; i++) {
    bool[i] = true;
  }

  /////////
  for (int i = 2; i < Math.sqrt(border); i++) {
    if (bool[i] == true) {
      for (int j = (i * i); j < border; j = j + i) {
        bool[j] = false;
      }
    }
  }
  ////////

  for (int i = 2; i < bool.length; i++) {
    if (bool[i] == true) {
      finalList.add(i);
    }
  }

  return finalList;
}

Mir geht es vor allem um den Bereich, welcher in den ///////// drinnen liegt, wo ich die Nicht-Primzahlen herausfische. Kann mir jemand diese for-Schleife Schritt für Schritt erklären?

...zur Frage

C# Binär zu Dezimal Umrechnung?

          string binär = "";
            bool incorrectInput = false;
            int sum = 0;
            int stellenwert = 1;


            while (!incorrectInput)
            {
                Console.Write("Geben Sie eine Binärzahl ein:    ");
                binär = Console.ReadLine();
                incorrectInput = true;


                for (int i = binär.Length - 1; i >= 0; i--)
                {
                    if (binär[i] != '0' && binär[i] != '1')
                    {
                     Console.WriteLine(binär + "ist keine gültige Binärzahl!");
                        incorrectInput = false;
                        break;
                    }
                    else
                    {
                        sum = sum + binär[i] * stellenwert;
                        stellenwert = stellenwert * 2;
                    }
                }
            }
            Console.WriteLine(binär + " ist eine gültige Binärzahl!");
            Console.WriteLine(stellenwert);

Leute kann wer hier mein Fehler finden, es kommt bei Ausgabe falsche Ergebnis

...zur Frage

Wieso geht der lua Code ( roblox studio ) nicht?

game.StarterGui.MenuGUI.Enabled = false

script.Parent.MouseButton1Click:Connect(function()

game.StarterGui.MenuGUI.Enabled = true

end)

Ich möchte mit dem Code erreichen ,dass wenn man auf den Button drückt das dann ein neues GUI auftaucht aber es geht nicht. Der Code geht nur bis

game.StarterGui.MenuGUI.Enabled = false

der Rest wird ignoriert

...zur Frage

C# Unittest Methode Kreis Berechnungen?

Hey Leute, das ist eine fertige Unittest Methode, und ich muss dazu eine Richtige Methode schreiben.

public bool IsOverlappingWith(Circle otherCircle) {}

Circel = Meine Klasse

X, Y, Radius sind 👇Member Variablen

Und meine Frage lautet, was muss ich genau in meine Methode berechnen bzw. was zurück geben?

Abstand bei 45 Grad ist (false)

Berührung bei 45 Grad ist (true)

Überlagerung bei 45 Grad ist (true)

Was könnte damit gemeint sein, wenn ich mir zwei Kreise vorstelle?

...zur Frage

Wie fixe ich das Problem bei meinem Spiel in Unity?

Guten Tag,

ich habe aktuell in meinem Spiel ein Skript erstellt, was ein InteractableObject-Skript ist und ich habe Code geschrieben, dass ich auf weiter Entfernung die Schrift nicht sehe, was das für ein/e Item/Ressource unter dem Fadenkreuz ist. Also zum Beispiel steht unter dem Fadenkreuz "Stein" da, wenn ich mit dem Fadenkreuz drauf bin, aber ich möchte nicht, dass es auf weiter Entfernung zu sehen ist und habe dazu Code geschrieben. Aber trotzdem sehe ich das auf weiter Entfernung.

Hier der Code:

using System.Collections;
using System.Collections.Generic;
using UnityEngine;

public class InteractableObject : MonoBehaviour
{
  public bool playerInRange;
  public string ItemName;

  public string GetItemName()
  {
    return ItemName;
  }

  private void OnTriggerEnter(Collider other)
  {
    if (other.CompareTag("Player"))
    {
      playerInRange = true;
    }
  }

  private void OnTriggerExit(Collider other)
  {
    if (other.CompareTag("Player"))
    {
      playerInRange = false;
    }
  }
}

Danke im Voraus!

...zur Frage

C#: Wie ist es möglich eine int-Variable in eine bool-Variable umzuwandeln?

Kann jemand diesen Code kontrollieren oder eine Alternative finden? Dieser Code ist nämlich fehlerhaft.

Ein Beispiel:

int hallo = 1 + 4;

if (hallo == 5)
{
  bool hallo = true
}

Die IDE Microsoft VisualStudio gibt Folgendes an:

"Fehler CS0029 Der Typ "int" kann nicht implizit in "bool" konvertiert werden."

Es gibt doch bestimmt eine Möglichkeit, die Typen zu konvertieren. In diesem Fall wollte ich Folgendes: Wenn in die Variable eine fünf eingesetzt wurde, soll der boolesche Wert auf true gesetzt sein.

...zur Frage

C++ statt "true" oder "false" "an" oder "aus" ausgeben mit Bool?

Ich soll angeben, ob der Lichtschalter an oder aus ist. Dazu soll ich Bool verwenden.

...zur Frage

Was möchtest Du wissen?

Deine Frage stellen