programming languages - About learning semantics -

-

i have related semantics. , reading semantics engineering plt redex, find little hard understand, not way thought doing computer science. remembered how excited reading csapp book. not ver excited one, or field of semantics! while think reason not yet understanding it, what's point of it. maybe. think need suggestions lead me out of way: how precede learning of semantics?

what semantics: semantics contrasted syntax. syntax describes how pieces of language may arranged. semantics describes arrangements do. describes effects have.

from perspective of 1 writes language, syntax specification lexer, parser , abstract syntax tree. semantics specification eval / apply loop.

why semantics interesting: syntax solved problem. while pleasingly complex, once have written few parsers start same. process of giving language meaning , having meaning lead useful, concise, , clear tool deeper subject. opinion, common among academics in computer science field semantics make language.

some semantic concepts: object oriented programing semantic notation. smalltalk , java have different syntax each other, share semantics of "object" encapsulated data operated on defined set of methods. functional programing semantic idea.

i not academic, , have not kept recent pedagogy of semantics, cannot address being taught, coder , 1 interested in computer science, find topic both facinating , highly applicable.


Comments

Post a Comment

Popular posts from this blog

Javascript line number mapping -

-
magically formatted comments change reported line number of javascript errors in browsers; this: //@line n "f" n line number , f file name. unfortunately, //@line appears ungoogleable. know there documentation on feature, , browsers support it? (i found references here , here .) from can find available in mozilla based browsers. it using js_setoptions command can turn these options on or off depending on values passed. https://developer.mozilla.org/en/js_setoptions
Read more

c# - Is it possible to remove an existing registration from Autofac container builder? -

-
something along lines: builder.registertype<mytype>().as<itype>(); builder.registertype<mytype2>().as<itype>(); builder.deregistertype<mytype>().as<itype>() var container = builder.build(); var types = container.resolve<ienumerable<itype>>(); assert.istrue(types.count == 1); assert.istrue(types[0].gettype == typeof(mytype2)); scenario: go through bunch of assemblies , go register types want make sure have 1 implementation of given type. need before create container. track on own nice if autofac me bit. this cannot done directly using containerbuilder , unless start on new one. mind you, having first built container should able construct new container filtering away unwanted types , reusing registrations first container. this: ... var container = builder.build(); builder = new containerbuilder(); var components = container.componentregistry.registrations .where(cr => cr.activator.limittype != typ...
Read more

php - Mysql PK and FK char(36) vs int(10) -

-
i have read mysql can handle indexes , searches better if tables keys integers rather char(36) uuid's. is worth converting int(10)? note: use 1 server , have have plans use multiple databases concurrently therefore removing 1 of big reasons using uuid. our tables innodb if makes difference. thanks in advance. usually rdbms can handle integer keys pk more efficient, other datatypes. reason how build index column, yes: long dont require string (or other typed) keys, should use integers. however: char(36) , int(10) far away being equal, because int(10) much smaller, char(36). dont know, if require many different keys, should keep in mind. update, complete last paragraph: int(10) 32-bit, char(36) 36 - ^byte^ (= 288-bit). not mean, int consumes less space, means, char(36) has 4 times more different keys.
Read more