@Wilktar: Jakiś czas temu trafiłem na ofertę Mercurialem, to się zdziwiłem.
Ale tak poza Gitem, jeszcze jest coś co bardziej nadaje się do dużych plików (czyli do gier): https://www.plasticscm.com/
Wątek przeniesiony 2021-12-02 08:23 z Off-Topic przez cerrato.
@Wilktar: Jakiś czas temu trafiłem na ofertę Mercurialem, to się zdziwiłem.
Ale tak poza Gitem, jeszcze jest coś co bardziej nadaje się do dużych plików (czyli do gier): https://www.plasticscm.com/
Skoro ktos wspomnial IBMa -> Clear Case, mam nadzieje ze to wymarlo i zostalo wypalone zywym ogniem.
WhiteLightning napisał(a):
Skoro ktos wspomnial IBMa -> Clear Case, mam nadzieje ze to wymarlo i zostalo wypalone zywym ogniem.
Ależ to było piękne narzędzie! Używałem około 2005. Jedyny tool o tak potężnych, graficznych możliwościach zarządzania branchami, że można było stworzyć nową funkcjonalność samym mergowaniem pomiędzy gałęziami. IMO pierwszy przypadek sztucznej inteligencji.
Ciekawostka: Coq chce zmienić nazwę bo się z cock kojarzy - http://lambda-the-ultimate.org/node/5629
To jest hardcore język do kwadratu, przy nim Haskell to małe piwo...
Poza tym to jest cutting edge research language - przyszłość i liczbą użytkowników mierzyć tego języka nie wolno.
Myślę że nazwa Coq bardzo pasuje do tego języka. Prawdziwy kogót wśród języków :P Ale jakby co to dobrze będzie wiedzieć że nazwa będzie wolna. No ale nazwa Diq chyba też jest wolna :P Albo kombo Coq's Diq
Jest jednak pewna różnica między Cockiem (i Adgą) a Haskellem (i Idrisem) czy nawet F#. Ta pierwsza grupa nie jest ogólnego przeznaczenia i nie zrobi się w niej cruda dla banku :(