arrows

12Ciepło

2Odpowiedz

Haskell'a Arrow-Class w Agda oraz -> w Agda

mam dwa ściśle powiązane pytania: Po pierwsze, jak może Haskell'a Strzałka Klasa być modelowane/reprezentowane w Agda? class Arrow a where arr :: (b -> c) -> a b c (>>>) :: a b c -> a c d

7Ciepło

2Odpowiedz

Haskell Strzały wewnątrz krotek

Chcę utworzyć skrzynię zawierającą strzałkę i ciąg znaków opisujący strzałkę. Jeśli mogę to zrobić z funkcji (zamiast strzałek), następujące prace jak spodziewanych: funTimes10 = (*10) describe10 = "

5Ciepło

1Odpowiedz

Gdzie jest kod źródłowy rozszerzenia języka GHC: "Strzałki"?

Gdzie mogę znaleźć kod źródłowy, który chowa się za pragmie języka {-# LANGUAGE Arrows #-} Czytałem według dokumentów (jak Paterson, A New Notation for Arrows), więc teoretycznie co się dzieje, jest

11Ciepło

2Odpowiedz

Co jest złego w tej implementacji quicksortu przy użyciu Arrows?

Ok, więc pomyślałem o zabawie ze strzałami. Próbowałem bezpośrednio przetłumaczyć sexy quickscort Haskella do implementacji, która używa strzałek. Ale to nie działa poprawnie. import Control.Arrow q

8Ciepło

1Odpowiedz

Czy potrafisz zdefiniować operatora (***) w F #?

Pracuję nad Arrows w F # i chciałem stworzyć operatora ***. Zauważam jednak, że (***), niezbędny sposób wyrażenia operatora w definicji funkcji, pokrywa się ze składnią komentarza bloku F #. Jak możes

6Ciepło

1Odpowiedz

Wywołanie IO Monada wewnątrz strzałki

Być może idę o tym w niewłaściwy sposób, ale używam HXT do odczytu w niektórych danych werteksów, które chciałbym użyć w tablicy w HOpenGL. Macierze Vertex muszą być Ptr, które jest tworzone przez wyw

9Ciepło

2Odpowiedz

Obserwowalna rekursja (lub wiązanie) w strzałkach

Próbuję znaleźć sposób na przetłumaczenie normalnej notacji rekurencyjnej, takiej jak jako | fib | funkcja poniżej do strzałki, zachowując jak najwięcej struktury zapisu rekursywnego. Ponadto chciałby