@Adaslaw: myślę że można w miarę bezpiecznie założyć że w Polsce ten rynek nie istnieje. Generalnie powinno być porównywalne z Haskellem albo Erlangiem - coś się znajdzie ale wybrzydzać raczej nie mozma.
  • Odpowiedz
krótkie ogłoszenie związane z #programowanie a szczególnie z #programowaniefunkcyjne - czy jest na sali :) ktoś kto chciałby usłyszeć coś o #ocaml? jeśli tak, to świetnie się składa, bo okazuje się, że wrocławska grupa funkcyjna już niedługo organizuje webinar właśnie na temat tego języka: https://twitter.com/fp_wroc/status/1258503650512691212

OCaml jest o tyle ciekawy że jest bazą dla #reasonml (ReasonML wprowadza jedynie małe zmiany by łatwiej pracować w świecie #javascript)

...

dajcie spokój już
  • Odpowiedz
Mam taki typ:

type 'a lBT = LEmpty | LNode of 'a * (unit -> 'a lBT) * (unit -> 'a lBT);;
i tworzę takie drzewo:

let exlBST = LNode(3, function() -> LEmpty, function() -> LEmpty);;
Dostaję taki błąd:

Error: The constructor LNode expects 3 argument(s),
but is applied here to 2 argument(s)

Ktoś wie dlaczego? Unit to nie argument? Dla list leniwych coś takiego:

LCons(3, function() -> LNil);;
działało dobrze...
#
Po dłuższej przerwie wreszcie udało mi się dokończyć rozpoczęty ponad 3 miesiące temu wpis na moim blogu - Jak napisać korektor pisowni.

Są to bardziej zapiski dokumentujące proces implementacji przeze mnie własnych wersji (jednej w Pythonie - z lekkimi przystosowaniami do języka polskiego, a drugiej w OCamlu) korektora pisowni zaproponowanego przez Petera Norviga, niż jakiś kompletny tutorial, pokazujący krok po kroku "jak to zrobić". Sądzę jednak, że opis problemów, jakie napotkałem
@informatyk o stary, to jest świetny wpis, miło czyta się taką analizę a nie milionowe "how to..." nienadające się do czegokolwiek. Chętnie będę obserwował dalsze wpisy
  • Odpowiedz
  • 1
@TheDraom: dzięki, cieszę się że taka forma przypadła do gustu. Blog traktuję przede wszystkim jako motywację do własnego rozwoju, stąd wrzucam tam głównie rzeczy związane z tym czego niedawno się dowiedziałem, czego się uczę itd., a to sprawia, że raczej trudno wpaść w nauczycielską nutę. ;)
  • Odpowiedz
Instaluje sobie człowiek pakiety OCamla, chce sobie skompilować jakiegoś heloł-łorda, a tu do wyboru: ocamlc, ocamlopt, ocamlc.opt, ocamlopt.opt, ocamlbuild, ocamlfind... Gdyby ktoś chciał zorientować się w gąszczu natywnych, nienatywnych i nie wiadomo jeszcze jakich kompilatorów OCamla, to pokrótce opisałem temat we wpisie OCaml: kompilatorowy zawrót głowy.

Zapraszam też do obserwowania mojego tagu --> #polydev
#programowanie #naukaprogramowania #ocaml #ocamlc #ocamlopt
informatyk - Instaluje sobie człowiek pakiety OCamla, chce sobie skompilować jakiegoś...

źródło: comment_MjzxEjzt7eLaSAM9GUY9ChlGvqENqCpq.jpg

Pobierz
  • Odpowiedz
@erwit: To juz niestety uroki JVMa(po prostu nei dalo sie zrobic tego inaczej), podobnych żeczy widzi się sporo ale zysk z dostępu do javowego ekosystemu je z reguły rekompensuje.
  • Odpowiedz
Muszę napisać program obliczający wysokość drzewa, w którym każdy węzeł może mieć czwórkę dzieci... Jak będzie wyglądał algorytm? Funkcja ma być napisana w #ocaml a tam z tego co wiem, można mieć tylko funkcję max z dwóch wartości...
Próbowałem obliczyć max z dwóch maxów, ale coś mi nie działa... :(

Tutaj to co napisałem:
www.pastebin.com/VReEL4Xz

#naukaprogramowania
Mirki, muszę zrobić funkcję wyższych rzędów o sygnaturze:
('a -> bool -> int) -> 'a -> int -> bool
((int -> int) -> int -> int -> int) -> (int -> int) -> int -> int -> int

Ktoś może pomóc? Szczerze mówiąc nie wiem jak się za nie zabrać, próbując jakoś wpaść na drugie zrobiłem jedynie (int -> int) -> int -> int -> int, ale dalej niestety nie udało mi
@szklane_kapcie: kolego, jeśli chcesz się czegoś nauczyć to nie podchodź do scali jako podobnego do Javy czy Pythona. Przeczytaj książkę Programming in Scala Oderskiego i spróbuj się dopasowywać do jego wskazówek. Ten język łączy paradygmat obiektowy z Funkcyjnym, niby Ocaml też, ale Scala pozwala na dużo więcej programiście. Dzięki temu można tworzyć piękny kod jak i potworny.
  • Odpowiedz
ARM vs x86: Pathfinding benchmark of C++, D, Go, Nim, Ocaml, Common Lisp, Racket, C#, Java, Haskell, F#, Rust and Dart

Porównanie wydajności róƶnych języków programowania i ich implementacji na platformach x86 i ARM przy pomocy algorytmu wyszukiwania najdłuƶszej ścieƶki. Pomiędzy językami są lekkie zmiany w algorytmie, więc nawet pomijając QoI cięƶko je porównywać (chociaƶ C++ i D w ścisłej czołówce mnie cieszą)

@JURCZ91: No raczej nie podsumuje lepiej niż autor w ostatnim poście.

No ale coś dorzucę:

- W Go się dużo zmieniło od czerwca 2013, więc jest lepiej (z tego co się orientuję), ale dalej byłby nisko pod względem wymagań tego projektu.

- Autor mocno nakierował się na statyczne typowanie i nutę funkcjonalnego programowania, co zaburzyło obiektywność porównania, ale po prawdzie to ono wcale nie miało być obiektywne, tylko subiektywne do bólu.
  • Odpowiedz