abclinuxu.cz AbcLinuxu.cz itbiz.cz ITBiz.cz HDmag.cz HDmag.cz abcprace.cz AbcPráce.cz
AbcLinuxu hledá autory!
Inzerujte na AbcPráce.cz od 950 Kč
Rozšířené hledání
×
dnes 13:00 | Zajímavý software

Laboratoře CZ.NIC zveřejnily software DNS Probe. Jeho úkolem je zachycovat DNS provoz na síťovém rozhraní (UDP i TCP), párovat DNS dotazy s příslušnými odpověďmi a exportovat konsolidované záznamy o každé jednotlivé DNS transakci, která se v síťovém provozu vyskytla.

Ladislav Hagara | Komentářů: 0
dnes 08:00 | Nová verze

Byla vydána verze 2.2.0 svobodného softwaru HAProxy (The Reliable, High Performance TCP/HTTP Load Balancer; Wikipedie) řešícího vysokou dostupnost, vyvažování zátěže a reverzní proxy. Detailní přehled novinek v příspěvku na blogu společnosti HAProxy Technologies.

Ladislav Hagara | Komentářů: 0
dnes 01:11 | Nová verze

Správce oken IceWM (Wikipedie) byl vydán ve verzi 1.7.0. Přehled novinek, vylepšení a oprav na GitHubu.

Ladislav Hagara | Komentářů: 1
včera 01:22 | Komunita

Před dvěma lety se Andrew Kelley rozhodl naplno věnovat se svému koníčku, tj. vývoji open source programovacího jazyka Zig (GitHub). Opustil své dobře placené místo v OkCupid a vytvořil si účet na Patreonu. Včera představil nadaci Zig Software Foundation zastřešující propagaci a další vývoj tohoto programovacího jazyka. Podpořit ji lze na GitHub Sponsors (aktuálně 66 % z měsíčního cíle 8 600 $).

Ladislav Hagara | Komentářů: 1
11.7. 22:11 | Nová verze

Byla vydána verze 2.0.10 multiplatformního integrovaného vývojového prostředí (IDE) pro rychlý vývoj aplikaci (RAD) ve Free Pascalu Lazarus (Wikipedie). Nově využívá nedávno vydaný Free Pascal Compiler (FPC) 3.2.0.

Ladislav Hagara | Komentářů: 10
11.7. 13:00 | Komunita

Letošní konference linuxových instalatérů Linux Plumbers Conference (LPC 2020) proběhne online ve dnech 24. až 28. srpna. Vývojáři Linuxu by měli probírat také podporu programovacího jazyka Rust v linuxovém jádru [Hacker News].

Ladislav Hagara | Komentářů: 0
10.7. 17:00 | Nová verze

Multiplatformní open source počítačová hra Minetest byla vydána ve verzi 5.3.0. Jedná se o hru inspirovanou Minecraftem.

Ladislav Hagara | Komentářů: 0
10.7. 15:22 | IT novinky

Mezinárodní organizace pro sledování rotace Země a referenčních systémů (IERS) oznámila (Bulletin C 60), že letošní rok bude opět bez přestupné sekundy. Poslední vkládání přestupné sekundy proběhlo v prosinci 2016.

Ladislav Hagara | Komentářů: 2
10.7. 02:22 | Zajímavý projekt

Lze si počítačovou klávesnici navrhnout a následně vytisknout na 3D tiskárně? I spínače? James Stanley se rozhodl, že to zkusí a výsledky svého snažení zveřejňuje na svém blogu. V aktuálním příspěvku představil první funkční prototyp s třemi klávesami. Ne, nejsou to Ctrl-Alt-Delete. :-)

Ladislav Hagara | Komentářů: 46
10.7. 01:11 | Nová verze

Byla vydána nová verze 1.47 editoru zdrojových kódů Visual Studio Code (Wikipedie). Přehled novinek i s náhledy a animovanými gify v poznámkách k vydání. Ve verzi 1.47 bude vydáno také VSCodium, tj. komunitní sestavení Visual Studia Code bez telemetrie a licenčních podmínek Microsoftu.

Ladislav Hagara | Komentářů: 2
Používáte některé open-source řešení [protokol] pro šifrovaný instant messaging?
 (23%)
 (30%)
 (4%)
 (12%)
 (17%)
 (5%)
 (12%)
 (25%)
Celkem 337 hlasů
 Komentářů: 37, poslední dnes 12:36
Rozcestník

Dotaz: Scheme - vlastní procedura

22.10.2010 11:11 AlastorM
Scheme - vlastní procedura
Přečteno: 532×

Vytvořte proceduru Implies, která bude realizovat pravdivostní funkci logické spojky implikace. Mělo by se to chovat následovně:
> (implies #f #f)
#t
> (implies #f #t)
#t
> (implies #t #f)
#f
> (implies #t #t)
#t

Zkoušel jsem toto:
(define implies (lambda (x y) (if (= x y) #t (and (= x #f)(= y #t)))))
a při zadání (implies #f #f)
vyskočí chyba  =: expects type <number> as 1st argument, given: #f; other arguments were: #f

Pomůže někdo?


Řešení dotazu:


Odpovědi

wamba avatar 22.10.2010 14:14 wamba | skóre: 38 | blog: wamba
Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
že by eq? místo = ?

PS. není lepší se spolehnout na logiku a vyjádřit implikaci pomocí not a or ?
This would have been so hard to fix when you don't know that there is in fact an easy fix.
22.10.2010 18:45 AlastorM
Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
s tím eq? to funguje, ale jak to udělat s not a or ještě nevím...zkusím to a když to nepůjde, tak to nechám s tím eq? Jo a díky
25.10.2010 10:49 pranvera
Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
nevědeli byste jak použít "or a not" procedury, aby to melo stejnou funkčnost jako při " eq? "

díky
wamba avatar 25.10.2010 13:13 wamba | skóre: 38 | blog: wamba
Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
This would have been so hard to fix when you don't know that there is in fact an easy fix.
26.10.2010 10:01 pranvera
Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
jo, tam už to vidím i já.

(or ( not a)b)

díky
frEon avatar 22.10.2010 14:36 frEon | skóre: 40 | Praha
Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
procedury v funkcionalnim jazyce, to jsou mi veci ;-)
Talking about music is like dancing to architecture.
Fluttershy, yay! avatar 19.10.2011 18:08 Fluttershy, yay! | skóre: 86 | blog:
Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
Jo, říká se tomu tak.
Science advances one funeral at a time. (Max Planck, parafráze) ✊ ⓔⓐⓣ ⓣⓗⓔ ⓡⓘⓒⓗCHAZ
17.10.2011 01:21 djmeff
Rozbalit Rozbalit vše Re: Scheme - vlastní procedura
takto to vypadá líp

(define implies (lambda (a b) (if a b #t)))

Založit nové vláknoNahoru

Tiskni Sdílej: Linkuj Jaggni to Vybrali.sme.sk Google Del.icio.us Facebook

ISSN 1214-1267   www.czech-server.cz
© 1999-2015 Nitemedia s. r. o. Všechna práva vyhrazena.