Tomi87 blogja

Scala 3 / Dotty izelito

https://dotty.epfl.ch/docs/reference/overview.html

 

trait Functor[F[_]]
  def [A,B](a : F[A]) map(func : A => B) : F[B]

trait Monad[F[_] : Functor]
  def [A](a : A) identity : F[A]
  def [A](mma : F[F[A]]) flatten : F[A]
  def [A,B](ma : F[A]) flatMap(func : A => F[B]) : F[B] = 
    ma map func flatten

enum Maybe[T]
  case Some(t : T)
  case Empty()

object Maybe

  given Functor[Maybe] 

    def [A,B](ma : Maybe[A]) map(func : A => B) : Maybe[B] = 
      ma match
        case Maybe.Empty() => Maybe.Empty()
        case Maybe.Some(a) => Maybe.Some(func(a))

  given Monad[Maybe]

    def [A](a : A) identity : Maybe[A] = Maybe.Some(a)   

    def [A] (mma : Maybe[Maybe[A]]) flatten : Maybe[A] = 
      mma match 
        case Maybe.Empty()  => Maybe.Empty()
        case Maybe.Some(ma) => ma
      

@main def m = println(Maybe.Some("a").flatMap(_ => Maybe.Some("b")))

Gondolatok egy het margojara

Irhattam nemi Javat mostansag. Tudjatok, azt a Javat amit par eve meg - meg most is talan - a szoftverfejleszto kozosseg blue collar tool-jakent volt szokas emlegetni bizonyos korokben. Aztan persze jott a Java 8, es piciiny nyelvunk, bar 25 evnyi legacy terhet viselve, de megis afole pattintotta a Stream-et es az Optional-t es belepett a... manapsag normalis elvarasokat teljesito nyelvek paholyaba.

Persze szamomra teljesen mas nezopontot kinalt fel az elet ezuttal is, nem a SICP boritojan lathato jelenet, a megvalto lambda megjelenesere varo 2011-beli Java EE vagy Spring fejlesztojet. (Clickbait, mert szokas mostansag. Idegesito, nem?)

(Utolag idetoldott shameless self-promotion: ahogy a tartalombol kiderul,a bejegyzesnek nem ez a celja, tessek tovabbolvasni, de megjegyeznem, nyitott vagyok a funkcionalis stilust kedvelo backend-only team-ek kozeledesere, foleg ha a munkavegzes nyelve az angol.)

Napi szerencsetlenkedes - Arch Linux

Pedig jo par honapig hasznaltam tavaly, sot, tegnap felment vmware-re, ma megis elbuktam amikor fizikai gepre akartam felrakni. Ketszer. Plusz egy felszer de az nem az en hibam volt, pacman segfault, aminek hatasara vegighullattam hajam a lakasban azutan bejart palyan, majd porszivozhatom.

Telepites utan ujrainditom, init megy, aztan egyszercsak elszall a kep es onnan kezdve mar csak az informacioatadasban eleg korlatozott kepessegu led-ek villognak, valamint az onmagaban meg hasznavehetetlenebb kepernyo hattervilagitas szor UV mentes (?) munapfenyt felhomalyos szobamra. Ugy latom akkor szall el amikor normalis esetben atvaltana emberi felbontasra, ami akar fontos is lehet.

Index: Az Apple-rajongók agya olyan, mint a vallási fanatikusoké

Nem szoktam gyakran belemaszni az Apple pro es kontra flame-ekbe. Szemely szerint nem preferalom a tul magas ar illetve a zartsaga miatt, bar elismerem, hogy a felhasznaloi elmeny teren ott vannak a cuccaik. A cikkrol annyit, hogy bar hiszem, hogy sokaknal igy lehet, lehetne ezt az allitast altalanositani; nem csak fanatikus Apple rajongokra, hanem szerintem barmire igaz lehet, ami irant elfogultan, minden objektivitast mellozve odavagyunk. Mindenesetre jot nevettem a cikken :)

http://index.hu/tudomany/brittudosok/2011/05/20/az_apple-rajongok_agya_…

Arch: ttf-dejavu 2.33-1 (Pacman -U nem akarja az igazsagot)

Lecsorgott ma a kabelen wifin ez a frissites, hogy a regrol, meg kisiskolas korombol ismert betuk is ujnak, udenek es frissnek erzodjenek...

http://img220.imageshack.us/i/archfontupdate.png/

Bevallom eleg gaz, mondjuk ha az ember olvasni szeretne, pl. a Wikipedian... es mint azt sajnos tudjuk a mar leirt betunek ez az egyetlen felhasznalasi mosja.

Ize... vissza lehet ezt valahogy csinalni? Jo, buta kerdes, a "hogyan?" joval celravezetobb. Amugy ez most csak nalam van igy? Mert 2 perc teszteles (bongeszes) utan mar biztos szemet szur, megis a [stable]-ben landolt...