#standardml resultados de búsqueda

I created an initial mlkit port for #FreeBSD #standardml

serpent7776's tweet image. I created an initial mlkit port for #FreeBSD
#standardml

This Standard ML code compiles and I find it amusing. #sml #standardml

serpent7776's tweet image. This Standard ML code compiles and I find it amusing.
#sml #standardml

Computational Category Theory - freecomputerbooks.com/Computational-… An implementation of concepts and constructions from category theory in the functional programming language Standard ML. #CategoryTheory #FunctionalProgramming #StandardML #mathematics #programming #ComputerScience

ecomputerbooks's tweet image. Computational Category Theory - freecomputerbooks.com/Computational-…
An implementation of concepts and constructions from category theory in the functional programming language Standard ML.
#CategoryTheory #FunctionalProgramming #StandardML #mathematics #programming #ComputerScience

Interesting talk about MLscript (written in #Scala and #standardML) and the unsoundness of #TypeScript: youtube.com/watch?v=HdppRE…

psb_underscore's tweet image. Interesting talk about MLscript (written in #Scala and #standardML) and the unsoundness of #TypeScript: youtube.com/watch?v=HdppRE…
psb_underscore's tweet image. Interesting talk about MLscript (written in #Scala and #standardML) and the unsoundness of #TypeScript: youtube.com/watch?v=HdppRE…
psb_underscore's tweet image. Interesting talk about MLscript (written in #Scala and #standardML) and the unsoundness of #TypeScript: youtube.com/watch?v=HdppRE…
psb_underscore's tweet image. Interesting talk about MLscript (written in #Scala and #standardML) and the unsoundness of #TypeScript: youtube.com/watch?v=HdppRE…

AFAIK in #standardml it'd look like this. I had to implement my own distinctBy, because sml doesn't have one. Record type doesn't have to be defined, it's inferred to be {name: name, age: int}

serpent7776's tweet image. AFAIK in #standardml it'd look like this. I had to implement my own distinctBy, because sml doesn't have one. Record type doesn't have to be defined, it's inferred to be {name: name, age: int}

#fsharp is adopting Scala's best features and this makes me happy!



One of the weirdest #OCaml syntax choices is the function keyword. I actually like #StandardML choice more here. It lets me embed pattern matching directly in the function declaration.


I asked Bard to write me a #StandardML functor and it answered "Sure, here is a standardml functor ..." which was followed by python code ._.


mlkit, the Standard ML compiler is now in #freebsd ports tree. #sml #standardml cgit.freebsd.org/ports/commit/?…


"Unlock the power of functional programming with the practical guide to Standard ML programming language. Download the PDF now and get started!" #Programming #StandardML #FunctionalProgramming #PDFGuide cs.cmu.edu/~rwh/isml/book…


This page highlighting the #ocaml grammar was really helpful to me. I mostly do #standardml -- in fact #rms has promised me to enter #gml into #gnu canon (if I finish it). askra.de/software/ocaml…


One of the weirdest #OCaml syntax choices is the function keyword. I actually like #StandardML choice more here. It lets me embed pattern matching directly in the function declaration.


Interesting talk about MLscript (written in #Scala and #standardML) and the unsoundness of #TypeScript: youtube.com/watch?v=HdppRE…

psb_underscore's tweet image. Interesting talk about MLscript (written in #Scala and #standardML) and the unsoundness of #TypeScript: youtube.com/watch?v=HdppRE…
psb_underscore's tweet image. Interesting talk about MLscript (written in #Scala and #standardML) and the unsoundness of #TypeScript: youtube.com/watch?v=HdppRE…
psb_underscore's tweet image. Interesting talk about MLscript (written in #Scala and #standardML) and the unsoundness of #TypeScript: youtube.com/watch?v=HdppRE…
psb_underscore's tweet image. Interesting talk about MLscript (written in #Scala and #standardML) and the unsoundness of #TypeScript: youtube.com/watch?v=HdppRE…

Computational Category Theory - freecomputerbooks.com/Computational-… An implementation of concepts and constructions from category theory in the functional programming language Standard ML. #CategoryTheory #FunctionalProgramming #StandardML #mathematics #programming #ComputerScience

ecomputerbooks's tweet image. Computational Category Theory - freecomputerbooks.com/Computational-…
An implementation of concepts and constructions from category theory in the functional programming language Standard ML.
#CategoryTheory #FunctionalProgramming #StandardML #mathematics #programming #ComputerScience

This page highlighting the #ocaml grammar was really helpful to me. I mostly do #standardml -- in fact #rms has promised me to enter #gml into #gnu canon (if I finish it). askra.de/software/ocaml…


AFAIK in #standardml it'd look like this. I had to implement my own distinctBy, because sml doesn't have one. Record type doesn't have to be defined, it's inferred to be {name: name, age: int}

serpent7776's tweet image. AFAIK in #standardml it'd look like this. I had to implement my own distinctBy, because sml doesn't have one. Record type doesn't have to be defined, it's inferred to be {name: name, age: int}

#fsharp is adopting Scala's best features and this makes me happy!



I asked Bard to write me a #StandardML functor and it answered "Sure, here is a standardml functor ..." which was followed by python code ._.


前触れ無くSML入門本の改訂版が届きました!?(背景が旧版)ところどころSML# への言及が追加され、最終章は実践ML~があるので削除とのこと。 #standardml

eldesh's tweet image. 前触れ無くSML入門本の改訂版が届きました!?(背景が旧版)ところどころSML# への言及が追加され、最終章は実践ML~があるので削除とのこと。 #standardml

I created an initial mlkit port for #FreeBSD #standardml

serpent7776's tweet image. I created an initial mlkit port for #FreeBSD
#standardml

Another wonderful day with Standard ML #programming #standardML

veganmeatboy's tweet image. Another wonderful day with Standard ML #programming #standardML

This Standard ML code compiles and I find it amusing. #sml #standardml

serpent7776's tweet image. This Standard ML code compiles and I find it amusing.
#sml #standardml

I find this StandardML function quite elegant #sml #standardml #screenshotsaturday

serpent7776's tweet image. I find this StandardML function quite elegant
#sml #standardml #screenshotsaturday

#MachineLearning is trendy modern bullshit. My heart belongs to the original ML, #StandardML

sproulM_'s tweet image. #MachineLearning is trendy modern bullshit. My heart belongs to the original ML, #StandardML

Computational Category Theory - freecomputerbooks.com/Computational-… An implementation of concepts and constructions from category theory in the functional programming language Standard ML. #CategoryTheory #FunctionalProgramming #StandardML #mathematics #programming #ComputerScience

ecomputerbooks's tweet image. Computational Category Theory - freecomputerbooks.com/Computational-…
An implementation of concepts and constructions from category theory in the functional programming language Standard ML.
#CategoryTheory #FunctionalProgramming #StandardML #mathematics #programming #ComputerScience

#MachineLearning is trendy modern bullshit. My heart belongs to the original ML, #StandardML

ml_city's tweet image. #MachineLearning is trendy modern bullshit. My heart belongs to the original ML, #StandardML

¿Alguna vez has usado #VSCode para profundizar en conceptos de programación con #StandardML? Tanto si es tu caso como si no, @franciscomesa te desvela algunos trucos sobre el uso que le ha dado. ¡Echa un vistazo! 📝➡️ bit.ly/3A8XrVe #technology #DeveloperStudentClubs

leanfulness_es's tweet image. ¿Alguna vez has usado #VSCode para profundizar en conceptos de programación con #StandardML? Tanto si es tu caso como si no, @franciscomesa te desvela algunos trucos sobre el uso que le ha dado. ¡Echa un vistazo!

📝➡️ bit.ly/3A8XrVe

#technology #DeveloperStudentClubs

Interesting talk about MLscript (written in #Scala and #standardML) and the unsoundness of #TypeScript: youtube.com/watch?v=HdppRE…

psb_underscore's tweet image. Interesting talk about MLscript (written in #Scala and #standardML) and the unsoundness of #TypeScript: youtube.com/watch?v=HdppRE…
psb_underscore's tweet image. Interesting talk about MLscript (written in #Scala and #standardML) and the unsoundness of #TypeScript: youtube.com/watch?v=HdppRE…
psb_underscore's tweet image. Interesting talk about MLscript (written in #Scala and #standardML) and the unsoundness of #TypeScript: youtube.com/watch?v=HdppRE…
psb_underscore's tweet image. Interesting talk about MLscript (written in #Scala and #standardML) and the unsoundness of #TypeScript: youtube.com/watch?v=HdppRE…

AFAIK in #standardml it'd look like this. I had to implement my own distinctBy, because sml doesn't have one. Record type doesn't have to be defined, it's inferred to be {name: name, age: int}

serpent7776's tweet image. AFAIK in #standardml it'd look like this. I had to implement my own distinctBy, because sml doesn't have one. Record type doesn't have to be defined, it's inferred to be {name: name, age: int}

#fsharp is adopting Scala's best features and this makes me happy!



Every few years I pull this old “friend” out for a reread. #ML #StandardML #SML #ML97 #SMLNJ #FunctionalProgramming

dougsparling's tweet image. Every few years I pull this old “friend” out for a reread. #ML #StandardML #SML #ML97 #SMLNJ #FunctionalProgramming

Loading...

Something went wrong.


Something went wrong.


United States Trends